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

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.