4. prednáška - spätná rekurzia,
rekurzia so substitúciou v parametri,
vnorená jednoduchá rekurzia.
5. prednáška - rekurzia s mierou,
deklaratívne programovanie.
6. prednáška - poza primitívnu rekurziu:
Ackermannova funkcia,
univerzálna funkcia pre primitívne rekurzívne funkcie.
7. prednáška - obecne rekurzívne funkcie,
μ-rekurzívne funkcie,
efektívne operácie na primitívne rekurzívnych indexoch.
8. prednáška - Kleeneho prvá veta o rekurzii (veta o pevnom bode),
rekurzívne definície,
výpočtový model,
ekvivalentnosť výpočtovej a definičnej sémantiky.
9. prednáška - čiastočne rekurzívne funkcie,
výpočtový model pre čiastočne rekurzívne funkcie,
aritmetizácia výpočtového modelu.
10. prednáška - neohraničená minimalizácia,
Kleeneho veta o normálnej forme pre čiastočne rekurzívne funkcie,
enumerácia čiastočne rekurzívnych funkcií,
čiastočne μ-rekurzívne funkcie,
Church-Turingova téza.
11. prednáška - rekurzívne rozhodnuteľné, polorozhodnuteľné a nerozhodnuteľné problémy,
Turingova úplnosť a totálne funkcionálne programovanie.