Syntax highlighting of Archiv/TIN064 Skripta Ladislava Strojila

Skripta Ladislava Strojila toho obsahují daleko víc, než bylo na přednáškách [[Vyčíslitelnost I|Vyčíslitelnosti I]] probráno (obsahují i věci z [[Vyčíslitelnost II|Vyčíslitelnosti II]]). Na druhou stranu začínají až Kleenovou větou o normální formě bez jakéhokoliv vysvětlování terminologie. Má-li však člověk základy pochopeny odjinud, je to ideální studijní materiál doporučený také přednášejícím.

* [http://ladislav.strojil.cz/school.php?sub=6 Domovská stránka]
* Stažení: [http://ladislav.strojil.cz/do_download.php?path=documents&file=vycislitelnost&type=tex TeX], [http://ladislav.strojil.cz/do_download.php?path=documents&file=vycislitelnost&type=ps PostScript], [http://ladislav.strojil.cz/do_download.php?path=documents&file=vycislitelnost&type=pdf PDF], [http://ladislav.strojil.cz/do_download.php?path=documents&file=vycislitelnost&type=dvi DVI]

== Errata ==

* str. 12, věta 24: Věta používa nekonzistentně dvě různá označení pro jednu funkci. Funkce ''f'' je to samé co funkce ''h''. Myslím, že na prednášce sa používalo označení ''h''. (''uživatel "Ivokabel"'')