Browsing Bakalářské práce - 18101 by Subject "Halting problem"
Now showing items 1-1 of 1
-
Cantor, Gödel, Turing a paradox lháře
; Supervisor: Trlifajová Kateřina; Opponent: Šolcová Alena
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-25)Tato bakalářská práce se zabývá vysvětlením jednotlivých problémů, zasazením do souvislostí a rozborem důkazů. Cantorova věta, Gödelova věta a problémem zastavení Turingova stroje jsou tři důležitá negativní tvrzení z ...