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

Texty k přednáškám

• 10. února. Teorie lambda.
• 17. února. Konzistence a úplnost. Úvod, starý text.
• 24. února. Výpočty (starý text).
• 3. března. Lambda-vyčíslitelnost.
• 10. března. Rozhodnutelnost (starý text).
• 17. března, 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).