1-AIN-470 Špecifikácia a verifikácia programov LS 2025/26

Prednášky: štvrtok 14.00 2h, M-IX
Cvičenia: štvrtok 15.40 2h, M-IX
Konzultácie: pondelok 14.30 - 15.00 v m. I-16 alebo po dohode
Učiteľ: Ján Komara

Novinky

O kurze

Tu nájdete základné informácie: 1-AIN-470 Špecifikácia a verifikácia programov

Prednášky

Tu nájdete záznamy prednášok (slajdy).* Sú priebežne dopĺňané.

Literatúra

• Ján Komara. Specification and Verification of Programs. Downloadable lecture notes available through the web page of the course.
• Ján Kľuka. Prednášky z Úvodu do deklaratívneho programovania LS 2014/2015. (Adobe Acrobat Document)
• Ján Komara. Recursive Functions. Lecture notes for the course 2-INF-264 Theory of Declarative Programming Winter 2015/16.

Cvičenia

• 1. cvičenie
• zobraz modul Ex01a - začíname s CL
• zobraz modul Ex01b - explicitné definície
• zobraz modul Ex01c - rekurzívne definície
• 2. cvičenie
• zobraz modul Ex02a - celočíselná odmocnina (názorný príklad)
• zobraz modul Ex02b - Cantorova párovacia funkcia a aritmetizácia karteziánskeho súčinu
• zobraz modul Ex02c - Catalanova párovacia funkcia

Hodnotenie

Spôsob hodnotenia:

• A = aspoň 90 bodov

• B = aspoň 80 bodov

• C = aspoň 70 bodov

• D = aspoň 60 bodov

• E = aspoň 50 bodov

Toto je len základný rámec, spresnenie na 1. prednáške.

Softvér

Tu nájdete pokyny ako si nainštalovať softvér, ktorý budeme používať pri výučbe.

Staršie správy