Praktikumid
| # | kuupäev | sisu | kodutöö tähtaeg |
|---|---|---|---|
| 0 | - | Kodus: Idris2 ja VS Code installimine | |
| 1 | 05.09 | Rekursiivsed funktsioonid täisarvudel | Kodutöö 1: 12.09 |
| 2 | 12.09 | Listifunktsioonid | Kodutöö 2: 19.09 |
| 3 | 19.09 | Kõrgemat järku funktsioonid | Kodutöö 3: 26.09 |
| 4 | 26.09 | Andmestruktuurid ja kirjed | Kodutöö 4: 03.10 |
| 5 | 03.10 | {$\lambda$}-termid Idrises | Kodutöö 5: 10.10 |
| 6 | 10.10 | Liidesed | Kodutöö 6: 17.10 |
| 7 | 17.10 | Do-notatsioon ja sisend-väljund | Kodutöö 7: 24.10 |
| 8 | 24.10 | Vahekontrolltöö! | |
| 9 | 31.10 | Reduktsioon ja väärtustamine | |
| 10 | 7.11 | Reduktsioon ja väärtustamine, Konsultatsioon | Kodutöö 8: 14.11 |
| 11 | 14.11 | Tüüpimispuud | Kodutöö 9: 21.11 |
| 12 | 21.11 | Tõestamine | Kodutöö 10: 28.11 |
| 12 | 28.11 | Sõltuvate tüüpidega programmeerimine | Kodutöö 11: 5.12 |
| 13 | 5.12 | Lineaarsed tüübid ja tüübituletus | Kodutöö 12: 12.12 |
| 14 | 12.12 | Kontrolltöö! | |
| 15 | Zulip | Projektid, konsultatsioon |