Ajakava Vaata Infot! # Kuupäev Teema Kodutöö 1 14.02. Sissejuhatus, töövahendite paigaldus Töövahendite paigaldus 2 21.02. OCaml-i kiirkursus (viited) OCaml 3 28.02. OCaml-i moodulid, püsipunktid (slaidid) 4 07.03. Püsipunktid (slaidid, õpik), mudelkontroll, juhtvoograafid 5 14.03. Programmide mudelkontroll Programmide mudelkontroll 6 21.03. Aluskeeled OCaml-is, interpretaator (AST) Interpretaator 7 28.03. Abstraktne interpretatsioon (viited), abstraktsed domeenid 8 04.04. Ei toimu (VeWit) — automaatsed teoreemitõestajad (iseseisev töö, viited) Automaatsed teoreemitõestajad 9 11.04. Abstraktne interpretaator Abstraktne interpretaator 10 18.04. Ei toimu (suur reede) — automaatsed teoreemitõestajad (iseseiseva töö jätk) 11 25.04. Abstraktne interpretaator, abstraktsed domeenid 12 02.05. Võrrandisüsteemid (Nullable-FIRST, abstraktne interpretatsioon, viited) Võrrandisüsteemid 13 09.05. Ei toimu (Digit) 14 16.05. Hoare'i loogika (viited), nõrgim eeltingimus, InvGenGame, projektist Projekti teema 15 23.05. Mitmelõimelised programmid (vead ja analüüs), Deadlock Empire Projekt 16 30.05. Regulaaravaldised (Brzozowski tuletis, puu lihtsustamine) 17 06.06. Eksamisessioon 18 13.06. 19 20.06. Ajakava võib veel muutuda!
