1-AIN-470 Špecifikácia a verifikácia programov LS 2010/11

Prednášky: štvrtok 09:50-11:20, m. M-I
Cvičenia: štvrtok 11:30-13:00, m. I-H3
Konzultácie:
Učiteľ: Ján Komara

Novinky

13.6.2011 Pokyny pre špeciálny test na 1. opravnom termíne (README).

11.5.2011 Na riadne termíny sa zapisujte cez AIS2. Požiadavka: semestrálne hodnotenie aspoň 30 bodov (podľa AIS2).

11.5.2011 priebežne aktualizované. Konzultácie počas skúšobného obdobia.

... tu nájdete ostatné správy.

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 - Peanova aritmetika

4. cvičenie

zobraz modul Ex04a - explicitné definície
zobraz modul Ex04b - primitívna rekurzia

5. cvičenie

zobraz modul Ex05a - 'course-of-values' rekurzia
zobraz modul Ex05b - rekurzia s mierou
zobraz modul Ex05c - 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)

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

18.5.2011 Test z 18.5.2011 je opravený. Výsledky nájdete v AIS2 a v súbore, ktorý obsahuje vaše celkové hodnotenie.

7.5.2011 Pridaný súbor obsahujúci vaše celkové hodnotenie.

5.5.2011 2. test z 5.5.2011 je opravený.

31.3.2011 1. test z 31.3.2011 je opravený.

* – aktualizované v priebehu posledných 7 dní

Posledná zmena: 2013-02-07T20:16+0100