Loengud
# | Kuupäev | Teema | Materjalid |
---|---|---|---|
1 | 6.09 | sissejuhatus; paradigmad | |
2 | 13.09 | {$\lambda$}-arvutus; baasväärtused ja -tüübid | |
3 | 20.09 | substitutsioon; kõrgemat järku funktsioonid | |
4 | 27.09 | uute tüüpide loomine; kirjed | |
5 | 04.10 | reduktsioon | |
6 | 11.10 | liidesed, andmed {$\lambda$}-arvutuses | |
7 | 18.10 | sisend-väljund, andmed {$\lambda$}-arvutuses | |
8 | 25.10 | andmed {$\lambda$}-arvutuses, laiskus | |
9 | 01.11 | laiskus (jätk), andmed {$\lambda$}-arvutuses (jätk) | |
10 | 08.11 | Lihtsalt tüübitud {$\lambda$}-arvutus | |
11 | 15.11 | Lihtsalt tüübitud {$\lambda$}-arvutus, Curry-Howard'i vastavus | |
12 | 22.11 | tõestamine Idrises, Tüübituletus | |
13 | 29.11 | Tüübituletus, Sõltuvad tüübid | |
14 | 6.12 | Sõltuvad tüübid; kvantitatiivne tüübiteooria | |
15 | 13.12 | ??? | |
16 | 20.12 |