5. prednáška - párovacia funkcia,
aritmetizácia karteziánskeho súčinu,
rekurzia so substitúciou v parametri.
6. prednáška - vnorená jednoduchá rekurzia,
rekurzia s mierou.
7. prednáška - poza primitívnu rekurziu: Ackermannova funkcia a univerzálna funkcia pre primitívne rekurzívne funkcie,
obecne rekurzívne funkcie,
μ-rekurzívne funkcie.
8. prednáška - deklaratívne programovanie,
efektívne operácie na primitívne rekurzívnych indexoch.
9. 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.
10. prednáška - čiastočne rekurzívne funkcie,
výpočtový model pre čiastočne rekurzívne funkcie,
aritmetizácia výpočtového modelu.
11. 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.
12. prednáška - rekurzívne rozhodnuteľné, polorozhodnuteľné a nerozhodnuteľné problémy,
Turingova úplnosť a totálne funkcionálne programovanie.