Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : Vyčíslitelnost

Matfiz: Vyčíslitelnost

Vyčíslitelnost I

Vyučující: Antonín Kučera (zřejmě nemá webové stránky?)

Přednáška bez cvičení povinná pro «teoretické» obory I1 a I4. (I2, I3 mohou místo této a Složitosti I absolvovat ZákladySložitostiAVyčíslitelnosti.)

Info z první přednášky

Povídání o historii a souvislostech, definice Turingova stroje (stejně jako na přednášce Automaty A Gramatiky), obecné povídání o Turingově stroji. První asi čtyři přednášky se budou věnovat Turingovu stroji a rekurzivním funkcím, než se přikročí k «hlavní» látce. Tento úvod se nezkouší, ale hlavně Turingovy stroje se používají v další látce v důkazech. Materiály viz zdroje níže.

Zdroje