Kursus
Märkus: Kodutöid pole soovitatav ette ära teha. Kodutööde ülesanded, mis pole veel lahendamiseks välja andtud, võivad muutuda -- need on lihtsalt kopeeritud siia eelmise aasta materjalidest.
| # | Nädal | Teema/video(d) (test, uus konspekti osa) | Loeng | Praks |
|---|---|---|---|---|
| 0 | - | installimise video | - | installimine |
| 1 | 01.09 | süntaks (test,ℙ3) | slaidid, idr, audio | kodutöö 1 |
| 2 | 08.09 | λ-arvutus, rekursioon (test, ℙ4, ℙ6) | slaidid, idr, video | kodutöö 2 |
| 3 | 15.09 | substitutsioon, listikomprehensioon (test, ℙ5.1, ℙ6) | slaidid, idr, video | kodutöö 3 |
| 4 | 22.09 | reduktsioon, kõrgemat-järku fun. (test, ℙ5.1, ℙ7) | slaidid, idr, video | kodutöö 4 |
| 5 | 29.09 | andmestruktuurid Idrises ja {$\lambda$}-arvutuses (test, ℙ8, ℙ9) | slaidid, idr, video | kodutöö 5 |
| 6 | 06.10 | rekursiivsed andmestruktuurid {$\lambda$}-arvutuses (test, ℙ9) | slaidid, idr, video | kodutöö 6 |
| 7 | 13.10 | liidesed ja sisend-väljund (test, ℙ10, ℙ11) | slaidid, idr, video | kodutöö 7 |
| 8 | 20.10 | laiskus (test) | suur kodutöö 1 | |
| 9 | 27.10 | |||
| 10 | 03.11 | |||
| 11 | 10.11 | |||
| 12 | 17.11 | |||
| 13 | 24.11 | |||
| 14 | 01.12 | |||
| 15 | 08.12 | |||
| 16 | 15.12 |