Umiestnenie: ŠVP | Výučba | CL Homepage | KAI | FMFI UK v Bratislave

Súvisiace: Download | ŠVP leto 2003/04

English version

M-INAA-046 Špecifikácia a verifikácia programov LS 2004/05

Aktualne informacie

2. opravny termin (5.test) bude na konci augusta. Presny termin vam vcas oznamim. Viz. tiez (README)

Literatura

J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001. (PostScript) (Adobe Acrobat Document)

Cvicenia

1. cvicenie (numericke programy)
2. cvicenie (numericke programy)
3. cvicenie (numericke programy)
4. cvicenie (zoznamy)
5. cvicenie (operacie na zoznamoch)
6. cvicenie (kombinatoricke funkcie na zoznamoch)
7. cvicenie (triedenie zoznamov, aplikacie zoznamov)
8. cvicenie (binarne stromy)
9. cvicenie (binarne vyhladavacie stromy)
10. cvicenie (termy)
11. cvicenie (Braunove stromy)
12. cvicenie (vyrokova logika)
13. cvicenie

Testy

1. test (zadania) (riesenia) (vysledky)
2. test (zadania) (riesenia) (vysledky)
opravny test (README) (vysledky)
3. test (README) (zadania) (riesenia) (vysledky)
4. test (1. opravny termin) (README) (zadania) (riesenia) (vysledky)
5. test (2. opravny termin) (README)

Premiove ulohy

Celkove hodnotenie

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

Posledná zmena: 2008-02-01T12:39+0100