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

Prednášky

• 1. prednáška - začíname s CL, explicitné definície, rekurzívne definície.
• 12. prednáška - aritmetizácia výpočtového modelu pre čiastočne rekurzívne funkcie.