Informatika - Katedra informatiky na UPOL

doc. RNDr. Michal Krupka, Ph.D. Výuka Lambda kalkul a funkcionální programování


Lambda kalkul a funkcionální programování

Zimní semestr 2017/18

Informace k předmětu ve Stagu.

Přednášky

  • 19. září. Úvod do λ-kalkulu.
  • 26. září. Základní pojmy. Poznámky.
  • 2. října. Kontexty, extenzionalita, konzistence a úplnost. Poznámky.
  • 9. října. Redukce. Poznámky.
  • 23. října. β-redukce a η-redukce. Poznámky.
  • 30. října. Kombinátory pevného bodu, numerály. Poznámky.
  • 6. listopadu. 1. Opakování numerálů, 2. Rekurzivní funkce. Poznámky.
  • 13. listopadu. Ekvivalence rekurzivních a λ-definovatelných funkcí. Poznámky. Dodatek.
  • 20. listopadu. Vyčíslitelnost. Poznámky.
  • 4. listopadu I. Typovaný λ-kalkul a úvod do domén. Poznámky nebudou.
  • 4. listopadu II. Domény. Poznámky nebudou.

Správce stránky: Michal Krupka