Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : Vyčíslitelnost
Přihlášení:  Heslo:  
Matfiz: Vyčíslitelnost ...
Hlavní Stránka | Seznam Stránek | Poslední Změny | Poslední Komentované | Uživatelé | Registrace |

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


 
Soubory [Skrýt soubory (formulář)]
Na stránce nejsou žádné komentáře. [Zobrazit komentáře (formulář)]