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

Prednášky

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