I011 Sémantiky programovacích jazyků

Fakulta informatiky
podzim 1998
Rozsah
2/0. 2 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
Prof. Jiří Srba, Ph.D. (přednášející)
Garance
Kontaktní osoba: Prof. Jiří Srba, Ph.D.
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
Další komentáře
Předmět je vyučován každoročně.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích zima 1995, zima 1996, zima 1997, jaro 2000, podzim 2000, podzim 2001.