Functional Programming 2025/26 fall

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, ℙ12)	slaidid, idr, video	suur kodutöö 1
9	27.10	lihtsalt tüübitud λ-arvutus (test, ℙ13)	slaidid, video	kodutöö 8
10	03.11	sõltuvad tüübid (test)	slaidid, idr,video	kodutöö 9
11	10.11	Curry-Howard vastavus (test, ℙ15)	slaidid, video	kodutöö 10
12	17.11	tõestamine (test)		kodutöö 11
13	24.11	kvant. tüübiteooria		kodutöö 12
14	01.12			suur kodutöö 2
15	08.12
16	15.12