FI:I011 Sémantiky progr. jazyků - Informace o předmětu
I011 Sémantiky programovacích jazyků
Fakulta informatikyjaro 2000
- Rozsah
- 2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.
- Vyučující
- prof. RNDr. Antonín Kučera, Ph.D. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Antonín Kučera, 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
- 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.
- Literatura
- SCHMIDT, David A. The structure of typed programming languages. Cambridge: MIT Press, 1994, viii, 367. ISBN 0262193493. info
- ZLATUŠKA, Jiří. Lambda-kalkul. 1. vyd. Brno: Masarykova univerzita, 1993, 264 s. ISBN 8021008261. info
- WINSKEL, Glynn. The formal semantics of programming languages : an introduction. Cambridge: MIT Press, 1993, xi, 361 s. ISBN 0-262-23169-7. info
- Informace učitele
- http://www.fi.muni.cz/~tony/I011.html
- Další komentáře
- Předmět je vyučován každoročně.
Výuka probíhá každý týden.
v r.1999/2000 výjimečně v jarním semestru, jinak v podzimním.
- Statistika zápisu (jaro 2000, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2000/I011