FI:I020 Lambda-kalkul I - Informace o předmětu

I020 Lambda-kalkul I

Rozsah

2/0. 2 kr. Doporučované ukončení: k. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Jiří Zlatuška, CSc. (přednášející)

Garance

Kontaktní osoba: prof. RNDr. Jiří Zlatuška, CSc.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

• Informatika (program FI, B-IN)
• Informatika (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Výpočetní technika (program FI, B-IN)

Osnova

• Čistý lambda-kalkul: lambda-termy, struktura termů, rovnostní teorie.
• Redukce: jednosměrné transformace, obecné redukce, beta-redukce.
• Lambda-kalkul a výpočty: kódování, rekurzívní definice, lambda-vyčíslitelnost, kombinátory pevného bodu, nerozhodnutelné vlastnosti.

• Statistika zápisu (nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/zima1996/I020