1-AIN-470 Špecifikácia a verifikácia programov LS 2013/14

Prednášky: streda 14:00-15:30, m. M-IX
Cvičenia: streda 17:20-18:50, m. F1-248
Konzultácie: streda 13:00-13: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
• zobraz modul Ex01c - výrokovo-logické vyplývanie
• 2. cvičenie
• zobraz modul Ex02a - logická platnosť
• zobraz modul Ex02b - logické vyplývanie
• zobraz modul Ex02c - len pre húževnatých
• 3. cvičenie
• zobraz modul Ex03a - explicitné definície
• 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 - Cantorova párovacia funkcia a aritmetizácia karteziánskeho súčinu
• zobraz modul Ex06b - Catalanova párovacia funkcia
• 7. cvičenie
• zobraz modul Ex07 - 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 Ex10a - symbolické výrazy a numerické termy
• zobraz modul Ex10b - výroková logika a rozpoznávanie tautológií
• 11. cvičenie
• zobraz modul Ex11a - triedenie zoznamov
• zobraz modul Ex11b - binárne vyhľadávacie stromy
• 12. cvičenie
• zobraz modul Ex12a - Braunove stromy a flexibilné polia
• zobraz modul Ex12b - haldy a prioritné fronty

Testy

• 1. test (zadanie) (riešenia) (výsledky)
• 2. test (zadanie) (riešenia) (výsledky)
• opravný semestrálny test (zadanie) (riešenia) (výsledky)

Prémiové úlohy

• 1. prémiová úloha (zadanie) (výsledky)
• zobraz modul Ul01
• 2. prémiová úloha (zadanie) (výsledky)
• zobraz modul Ul02
• 3. prémiová úloha (zadanie) (výsledky)
• zobraz modul Ul03
• 4. prémiová úloha (zadanie) (výsledky)
• zobraz modul Ul04

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