Syntax highlighting of Archiv/TIN064 Skripta Ladislava Strojila

[http://ktiml.mff.cuni.cz/downloads/vycislitelnost.pdf 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.

== Errata ==

=== 2. Rekurzivně spočetné množiny ===

...

=== 3. Věty o rekurzi ===

Veta 24: Veta pouziva nekonzistentne dve rozne oznacenia pre jednu funkciu. Funkcia <math>{f}</math> je to iste co funkcia <math>{h}</math>. Myslim, ze na prednaske sa pouzivalo oznacenie <math>{h}</math>.

=== 4. Produktivní a kreativní množiny ===

...

=== ... ===