Záznamy prednášok (slajdy) pre kurz 1-AIN-470 Špecifikácia a verifikácia programov LS 2019/20

Prednášky

• 7. prednáška - primitívne rekurzívne funkcie, univerzálna funkcia pre primitívne rekurzívne funkcie.
• 8. prednáška - aritmetizácia výpočtového modelu pre čiastočne rekurzívne funkcie.