Skripta Ladislava Strojila toho obsahují daleko víc, než bylo na přednáškách <Vyčíslitelnost%20I> probráno (obsahují i věci z <Vyčíslitelnost%20II>). 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.

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

## Errata ##

* str. 8, věta 14: Věta je důsledkem Věty 13, tedy ne následující – nekonečná úseková ČRF je ORF. (opravil Blaf)
* str. 9, věta 16: Na posledním řádku důkazu má být x místo w. (opravil Blaf)
* str. 11, lemma 6: Hyperimunní množina je imunní - spor plyne z Věty 17 uvedené až pod Lemmatem.
* str. 11-12, vety o rekurzi: v21. fce f musi byt ORF, v22. fce f musi byt ORF
* 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 se používalo označení *h*. (*uživatel "Ivokabel"*)
* str. 15, lemma 7, (57): V definici funkce $\beta(x,y,w)$ má být $x \in K$ místo $y \in K$ . (opravil Blaf)