1-AIN-470 Špecifikácia a verifikácia programov LS 2008/09

Prednášky: štvrtok 16:30-18:00, m. M-I
Cvičenia: štvrtok 18:10-19:40, m. I-H3
Konzultácie: pondelok o 18:10-19:40, m. I-H3
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 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 - logika s kvantifikátormi
• 3. cvičenie
• zobraz modul Ex03 - Peanova aritmetika
• 4. cvičenie
• zobraz modul Ex04a - explicitné definície
• zobraz modul Ex04b - primitívna 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)
• opravný 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)
• 5. test (druhý opravný termín) (README) (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
• 5. prémiová úloha (zadanie) (výsledky)
• zobraz modul Ul05
• 6. prémiová úloha (zadanie) (výsledky)
• zobraz modul Ul06

Hodnotenie

Tu sa nachádza súhrn vašich výsledkov (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