Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Funktsionaalne programmeerimine
Funktsionaalne programmeerimine
Üldinfo
Aine kood: MTAT.03.013
Lektor: Varmo Vene
Ainepunkte: 5
Loengute toimumise aeg/koht:
Esmaspäev, kell 14.15 - 16.00, L405
Neljapäev, kell 12.15 - 14.00, L405
Kursuse list: ati.pk@lists.ut.ee
Kirjandus:
Loengute materjalid
07. 02 - Sissejuhatus, lambda-arvutuse notatsioon ja põhimõisted (loeng1.pdf ).
10. 02 - Reduktsioon, normaalkuju, Church-Rosseri teoreem (loeng2.pdf ).
14. 02 - Peanormaalkujud, standardiseerimisteoreem,
konstantidega lambda-arvutus (loeng3.pdf ).
17. 02 - Kombinaatorloogika (loeng4.pdf ).
21. 02 - Andmete esitamine lambda-arvutuses (loeng5.pdf ).
07. 03 - Püsipunktid, rekursioon, Churchi tees.
10. 03 - Lihtsalt tüübitud lambda-arvutus (loeng6.pdf ).
14. 03 - Curry-Howard isomorfism, polümorfne lambda-arvutus (loeng7.pdf ).
17. 03 - Tüübi tuletamine, Hindley-Milneri tüübisüsteem (loeng8.pdf ).
21. 03 - Parserite kombinaatorid (loeng9.pdf , Parsers.hs ).
24. 03 - Ilutrüki kombinaatorid (loeng10.pdf , PrettyP.hs ).
28. 03 - Monaadid, monaadilised interpretaatorid (loeng11.pdf ).
31. 03 - Monaadid, monaadilised interpretaatorid (loeng12.pdf ).
04. 04 - Lambda-termide redutseerimine (loeng13.pdf ).
07. 04 - Tüübituletus (loeng14.pdf ).
11. 04 - Lihtne graafika, kujundid, regioonid, pildid (loeng15.pdf ).
14. 04 - Reaktiivsed pildid, animatsioonid (loeng16.pdf ).
18. 04 - Reaktiivsed animatsioonid (loeng17.pdf ).
21. 04 - Reaktiivsed animatsioonid.
25. 04 - Yampa installeerimine.
28. 04 - Reaktiivsed animatsioonid (loeng18.pdf ).
Kodutööd
Manualid, keelekirjeldused, etc.
Kompilaatorid, interpretaatorid, etc.
Kasulikke viiteid
Varmo Vene