Deprecated: Assigning the return value of new by reference is deprecated in /DISK2/WWW/lokiware.info/mff/formatters/post_wacko.php on line 5

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

na KTIML jsou poznámky zpracované Ladislavem Strojilem, pokrývají látku po prvních čtyřech přednáškách (tj. bez «úvodu»).
Matfyz Wiki poskytuje poměrně bohaté info o předmětu.