I021 Lambda-kalkul II

Fakulta informatiky
lé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
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