Ajakava Ainele on võimalik veel registreeruda, vaata Infot! # Kuupäev Teema Kodutöö 1 13.02. Sissejuhatus, töövahendite paigaldus Töövahendite paigaldus 2 20.02. OCaml-i kiirkursus (viited) OCaml 3 27.02. OCaml-i moodulid (viited), püsipunktid (slaidid) 4 06.03. Püsipunktid (slaidid, õpik), mudelkontroll, juhtvoograafid 5 13.03. Programmide mudelkontroll Programmide mudelkontroll 6 20.03. Aluskeeled OCaml-is, interpretaator (AST) Interpretaator 7 27.03. Abstraktne interpretatsioon (viited), abstraktsed domeenid 8 03.04. Ei toimu (suur reede) — automaatsed teoreemitõestajad (iseseisev töö, viited) Automaatsed teoreemitõestajad 9 10.04. Abstraktne interpretaator 10 17.04. Ei toimu? (ETAPS) — automaatsed teoreemitõestajad (iseseiseva töö jätk) 11 24.04. Abstraktne interpretaator, abstraktsed domeenid Abstraktne interpretaator 12 01.05. Ei toimu (1. mai) Loe õpiku peatükk 2.7 13 08.05. Võrrandisüsteemid (Nullable-FIRST, abstraktne interpretatsioon, viited), projektist Võrrandisüsteemid 14 15.05. Hoare'i loogika (viited), sümboolne väärtustamine, nõrgim eeltingimus Projekti teema 15 22.05. Mitmelõimelised programmid (vead ja analüüs), Deadlock Empire Projekt 16 29.05. Regulaaravaldised (Brzozowski tuletis, puu lihtsustamine) 17 05.06. Eksamisessioon 18 12.06. 19 19.06. Ajakava võib veel muutuda!
