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

Texty k přednáškámakademický rok 2024/25, průběžně budou upravovány na rok 2025/26

• 11. února 2026. Teorie lambda.
• 17. února 2025. Konzistence a úplnost. Úvod, starý text.
• 24. února 2025. Výpočty (starý text).
• 3. března 2025. Lambda-vyčíslitelnost.
• 10. března 2025. Rozhodnutelnost (starý text).
• 17. března 2025, Sémantika. Článek D. Scotta. Učební text k topologii (k pochopení článku stačí první kapitola, k rozšíření obzorů druhá, zbylé dvě se týkají něčeho jiného).