FI:I021 Lambda-kalkul II - Informace o předmětu
I021 Lambda-kalkul II
Fakulta informatikyléto 1997
- Rozsah
- 2/0. 2 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, 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
- Modifikace teorie: kombinatorická logika, extenzionalita, éta-redukce.
- Typovaný lambda-kalkul: typy a termy, normální formy, množinové modely, silná normalizovatelnost, typy jako formule.
- Doménové modely: úplná částečná uspořádání, domény, nejmenší pevné body, parcialita.
- Konstrukce domén: složené domény, rekurzívní konstrukce domén, limitní domény.
- Statistika zápisu (nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/leto1997/I021