Arvutiteaduse instituut
  1. Kursused
  2. 2022/23 kevad
  3. Automaatide, keelte ja translaatorite süvenduspraktikum (LTAT.03.023)
EN
Logi sisse

Automaatide, keelte ja translaatorite süvenduspraktikum 2022/23 kevad

  • Info
  • Ajakava
  • Repo
  • Moodle
  • Zulip
  • Viited

Ajakava

  • Praktikumide näidislahendused ilmuvad repo labs branch-ile.
  • Kodutöö arvestuseks peavad vähemalt pooled koduseks jäetud testidest läbi minema.
# Kuupäev Teema Kodutöö
1 10.02. Treiler, sissejuhatus Töövahendite paigaldus
2 17.02. OCaml-i kiirkursus (viited) OCaml
3 24.02. Ei toimu (vabariigi aastapäev)
4 03.03. Hindamisest, OCaml-i moodulid, püsipunktid (slaidid, õpik)
5 10.03. Mudelkontroll, juhtvoograafid, programmide mudelkontroll Programmide mudelkontroll
6 17.03. Aluskeeled OCaml-is, interpretaator (AST) Interpretaator
7 24.03. Abstraktne interpretatsioon (viited), abstraktsed domeenid
8 31.03. Abstraktne interpretaator
9 07.04. Ei toimu ­(suur reede) — automaatsed teoreemitõestajad (iseseisev töö, viited) Automaatsed teoreemitõestajad
10 14.04. Abstraktne interpretaator, abstraktsed domeenid Abstraktne interpretaator
11 21.04. Hoare'i loogika (viited), nõrgim eeltingimus, InvGenGame
12 28.04. Ei toimu (ETAPS) — Võrrandisüsteemid (Nullable-FIRST, iseseisev töö) Loe õpiku peatükk 2.7
13 05.05. Võrrandisüsteemid (Nullable-FIRST, abstraktne interpretatsioon, viited) Võrrandisüsteemid
14 12.05. Mitmelõimelised programmid (vead ja analüüs), Deadlock Empire, projektist Projekti teema
15 19.05. Regulaaravaldised (Brzozowski tuletis, puu lihtsustamine), Δ - 2045 Projekt
16 26.05. Ei toimu
17 02.06. Konsultatsioon, Δ - 1019
18 09.06. Eksamisessioon
19 16.06.
  • Arvutiteaduse instituut
  • Loodus- ja täppisteaduste valdkond
  • Tartu Ülikool
Tehniliste probleemide või küsimuste korral kirjuta:

Kursuse sisu ja korralduslike küsimustega pöörduge kursuse korraldajate poole.
Õppematerjalide varalised autoriõigused kuuluvad Tartu Ülikoolile. Õppematerjalide kasutamine on lubatud autoriõiguse seaduses ettenähtud teose vaba kasutamise eesmärkidel ja tingimustel. Õppematerjalide kasutamisel on kasutaja kohustatud viitama õppematerjalide autorile.
Õppematerjalide kasutamine muudel eesmärkidel on lubatud ainult Tartu Ülikooli eelneval kirjalikul nõusolekul.
Courses’i keskkonna kasutustingimused