1-AIN-470 Špecifikácia a verifikácia programov LS 2011/12

Prednášky: utorok 13:10-14:40, m. M-VII
Cvičenia: utorok 14:50-16:20, m. F1-248
Konzultácie: pondelok 14:00-14:30, m. I-16
Učiteľ: Ján Komara

Novinky

O kurze

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

Literatúra

• J. Komara. Specification and Verification of Programs. Downloadable lecture notes available through the web page of the course.
• J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001. (PostScript) (Adobe Acrobat Document)

Cvičenia

• 1. cvičenie
• zobraz modul Ex01a - začíname s CL
• zobraz modul Ex01b - výroková logika
• 2. cvičenie
• zobraz modul Ex02a - výrokovo-logické vyplývanie
• zobraz modul Ex02b - logická platnosť
• zobraz modul Ex02c - logické vyplývanie
• 3. cvičenie
• zobraz modul Ex03a - len pre húževnatých
• zobraz modul Ex03b - explicitné definície
• 4. cvičenie
• zobraz modul Ex04a - primitívna rekurzia
• zobraz modul Ex04b - 'course-of-values' rekurzia
• 5. cvičenie
• zobraz modul Ex05a - rekurzia s mierou
• zobraz modul Ex05b - chvostová rekurzia a iterácia
• 6. cvičenie
• zobraz modul Ex06a - celočíselná odmocnina (názorný príklad)
• zobraz modul Ex06b - dyadická aritmetika a slovné úlohy
• 7. cvičenie
• zobraz modul Ex07a - párovacia funkcia
• zobraz modul Ex07b - zoznamy
• 8. cvičenie
• zobraz modul Ex08 - operácie na zoznamoch
• 9. cvičenie
• zobraz modul Ex09 - binárne stromy
• 10. cvičenie
• zobraz modul Ex10 - symbolické výrazy a numerické termy
• 11. cvičenie
• zobraz modul Ex11a - triedenie zoznamov
• zobraz modul Ex11b - konečné množiny ako zoznamy
• 12. cvičenie
• zobraz modul Ex12 - binárne vyhľadávacie stromy

Testy

• 1. test (zadanie) (riešenia) (výsledky)
• 2. test (zadanie) (riešenia) (výsledky)
• 3. test (zadanie) (riešenia) (výsledky)
• 4. test (prvý opravný termín) (README) (zadanie) (riešenia) (výsledky)

Hodnotenie

Tu sa nachádza súbor obsahujúci celkové 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.

Staršie správy