Praktikumid
Märkus: Kodutööde ülesanded, mis pole veel lahendamiseks välja andtud, võivad muutuda -- need on lihtsalt kopeeritud siia eelmise aasta materjalidest! S.t. kodutöid pole soovitatav ette ära teha.
| # | kuupäev | sisu | kodutöö tähtaeg |
|---|---|---|---|
| 0 | - | Kodus: Idris2 ja VS Code installimine | |
| 1 | 11.09 | Rekursiivsed funktsioonid täisarvudel | Kodutöö 1: 18.09 |
| 2 | 18.09 | Listifunktsioonid | Kodutöö 2: 25.09 |
| 3 | 25.09 | Kõrgemat järku funktsioonid | Kodutöö 3: 2.10 |
| 4 | 2.10 | Andmestruktuurid ja kirjed | Kodutöö 4: 09.10 |
| 5 | 9.10 | {$\lambda$}-termid Idrises | Kodutöö 5: 16.10 |
| 6 | 16.10 | Liidesed | Kodutöö 6: 23.10 |
| 7 | 23.10 | Do-notatsioon ja sisend-väljund | Kodutöö 7: 30.10 |
| 8 | 30.10 | Vahekontrolltöö! | |
| 9 | 6.11 | (praktikumi ei toimu) | |
| 10 | 13.11 | Reduktsioon ja väärtustamine | Kodutöö 8: 20.11 |
| 11 | 20.11 | Tüüpimispuud | Kodutöö 9: 27.11 |
| 12 | 27.11 | Tõestamine | Kodutöö 10: 4.12 |
| 12 | 4.12 | Tüübituletus ja sõltuvate tüüpidega programmeerimine | Kodutöö 11: 11.12 |
| 13 | 11.12 | Sõltuvad ja lineaarsed tüübid
(Kalmer haige: v.t. sõnum Zulipis) | Kodutöö 12: 18.12 |
| 14 | 18.12 | Kontrolltöö! |