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

Lambda kalkul a funkcionální programování

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.