Institute of Computer Science
  1. Courses
  2. 2022/23 fall
  3. Functional Programming (LTAT.03.019)
ET
Log in

Functional Programming 2022/23 fall

  • Üldinfo
    • Õppekorraldus
  • Loeng
    • Baasväärtused ja tüübid
    • 𝜆-arvutus
    • Kõrgemat järku funktsioonid
    • Interaktiivne programmeerimine
    • Uute tüüpide loomine
    • Liidesed
    • Sisend-Väljund
    • Laiskus
    • Lihtsalt tüübitud 𝜆-arvutus
    • Sõltuvad tüübid
    • Tõestamine Idrises
    • Kvantitatiivne tüübiteooria
  • Praktikum
    • KKK
    • Installimine
    • Kodutöö 1
    • Kodutöö 2
    • Kodutöö 3
    • Kodutöö 4
    • Kodutöö 5
    • Kodutöö 6
    • Kodutöö 7
    • Kodutöö 8
    • Kodutöö 9
    • Kodutöö 10
    • Kodutöö 11
    • Kodutöö 12
    • Kordamine
    • Projektid
  • Moodle
  • Zulip (sisselogides näed linki)

Loengud

# Kuupäev Teema Materjalid
1 31.08 sissejuhatus; paradigmad video, pdf
2 07.09 {$\lambda$}-arvutus; baasväärtused ja -tüübid video, pdf, pdf, idr
3 14.09 substitutsioon; kõrgemat järku funktsioonid video, pdf, idr
4 21.09 uute tüüpide loomine; kirjed video, pdf, idr
5 28.09 reduktsioon video, pdf
6 05.10 liidesed, sisend-väljund video, pdf, idr
7 12.10 andmed {$\lambda$}-arvutuses video, pdf
8 19.10 laiskus video, pdf, hs
9 26.10 andmed {$\lambda$}-arvutuses (jätk) video, pdf
10 02.11 laiskus (jätk), Lihtsalt tüübitud {$\lambda$}-arvutus video, pdf, idr
11 19.10 Lihtsalt tüübitud {$\lambda$}-arvutus (jätk) video, pdf, idr
12 16.11 Curry-Howard'i vastavus, tõestamine Idrises video, pdf, idr
13 23.10 Sõltuvad tüübid, Tüübituletus video, pdf, idr
14 30.11 Tüübituletus; kvantitatiivne tüübiteooria video, pdf, hs, idr
15 7.12 kvantitatiivne tüübiteooria, konsultatsioon video, pdf, idr, idr
16 14.12 monaadid video, pdf, idr
  • Institute of Computer Science
  • Faculty of Science and Technology
  • University of Tartu
In case of technical problems or questions write to:

Contact the course organizers with the organizational and course content questions.
The proprietary copyrights of educational materials belong to the University of Tartu. The use of educational materials is permitted for the purposes and under the conditions provided for in the copyright law for the free use of a work. When using educational materials, the user is obligated to give credit to the author of the educational materials.
The use of educational materials for other purposes is allowed only with the prior written consent of the University of Tartu.
Terms of use for the Courses environment