FI:I011 Sémantiky progr. jazyků - Informace o předmětu

I011 Sémantiky programovacích jazyků

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

• 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

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