Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
XP01SPJ Sémantika programovacích jazyků Rozsah výuky:2+1
Přednášející (garant):Velebil J. Typ předmětu:S Zakončení:ZK
Zodpovědná katedra:301 Kreditů:3 Semestr:Z

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.

Literatura Č:

Literatura A:

Plán Obor Role Dop. semestr
XDOKP Elektrotechnika a informatika S Není
XDOKK Elektrotechnika a informatika S Není


Stránka vytvořena 14. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)