I011 Sémantiky programovacích jazyků

Fakulta informatiky
zima 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
  • Operační sémantika (přirozená, strukturální).
  • Základy lambda-kalkulu, redukce, normální formy, kódování, operační sémantika.
  • Sémantika rekurze: pevné body, operátor Y a formalizace v lambda-kalkulu.
  • Typy a domény, pevné body, typovaný lambda-kalkul.
  • Denotační sémantika funkcionálních a imperativních jazyků, abstraktní syntax, data, paměť, řízení.
  • Ekvivalence.
Informace učitele
http://www.fi.muni.cz/~srba/I011.html
Předmět je zařazen také v obdobích zima 1995, zima 1996, podzim 1998, jaro 2000, podzim 2000, podzim 2001.