10. prednáška - univerzálna funkcia pre primitívne rekurzívne funkcie.
11. prednáška - aritmetizácia výpočtového modelu pre čiastočne rekurzívne funkcie.
12. prednáška - Kleeneho veta o normálnej forme pre čiastočne rekurzívne funkcie,
enumerácia čiastočne rekurzívnych funkcií,
rekurzívne nerozhodnuteľné problémy.