M-INAA-046 Špecifikácia a verifikácia programov LS 2003/04

• Literatura
• J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001. (PostScript) (Adobe Acrobat Document) (DVI Document)
• Cvicenia
• 1. cvicenie (numericke programy)
• 2. cvicenie (numericke programy)
• 3. cvicenie (zoznamy)
• 4. cvicenie (operacie na zoznamoch)
• 5. cvicenie (kombinatoricke funkcie na zoznamoch)
• 6. cvicenie (triedenie zoznamov, niektore aplikacie zoznamov)
• 7. cvicenie (binarne stromy)
• 8. cvicenie (binarne vyhladavacie stromy)
• 9. cvicenie (termy)
• 10. cvicenie (Braunove stromy)
• 11. cvicenie (vyrokova logika)
• Testy
• 1. test (zadania) (riesenia) (vysledky)
• 2. test (zadania) (riesenia) (vysledky)
• 3. test - riadny skusobny termin (readme) (zadania) (riesenia) (vysledky)
• 4. test - 1. opravny termin (readme) (zadania) (riesenia) (vysledky)
• 5. test - 2. opravny termin (readme)
• Premiove ulohy
• ul01 (zadanie) (vysledky)
• ul02 (zadanie) (vysledky)
• Celkove hodnotenie