Sémantika programovacích jazyků
Kód | Zakončení | Kredity | Rozsah | Jazyk výuky |
---|---|---|---|---|
XP01SPJ | ZK | 4 | 2+1 | česky |
- Garant předmětu:
- Přednášející:
- Cvičící:
- Předmět zajišťuje:
- katedra matematiky
- Anotace:
-
Syntaxe a sémantika formálního jazyka. Jednoduchý imperativní jazyk, příkaz přiřazení. Cykly. Denotační a operační sémantika, věta o koherenci. Matematická teorie domainů. Pevné body funkcionálů, rekursivní definice. Lambda-notace. Jednoduchý funkcionální jazyk, denotační sémantika. Definice nových funkcí, rekursivní konstrukce. Operační sémantika. Jiné přístupy k sémantice, sémantika pokračování. Axiomatická (Hoarova) sémantika. Vyjadřovací schopnost programovacího jazyka.
Výsledek studentské ankety předmětu je zde: http://www.fel.cvut.cz/anketa/aktualni/courses/XP01SPJ
- Požadavky:
- Osnova přednášek:
- Osnova cvičení:
- Cíle studia:
- Studijní materiály:
-
1. Karel Richta, Jiří Velebil: Sémantika programovacích jazyků. Karolinum, Praha 1996
- Poznámka:
-
převést do stavu „U“končen
- Další informace:
- Pro tento předmět se rozvrh nepřipravuje
- Předmět je součástí následujících studijních plánů:
-
- Doktorské studium, prezenční forma (povinně volitelný předmět)
- Doktorské studium, kombinovaná forma (povinně volitelný předmět)
- Doktorské studium, strukturované prezenční (povinně volitelný předmět)
- Doktorské studium, strukturované kombinované (povinně volitelný předmět)