Detail předmětu
Programovací jazyky
PRJ Ak. rok 2003/2004 letní semestr 6 kreditů
Způsoby definice sémantiky programovacích jazyků: denotační, operační a axiomatická. Lambda kalkul a jeho použití pro denotační sématiku. Formální definice základních typů, struktur a konstrukcí denotační sématikou. Axiomatická sémantika a její použití pro dokazování programů. Příklad axiomatické definice jazyka. Sémantika jazyků pro funkcionální a logické programování. Základy objektového programování.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
Zajišťuje ústav
Získané dovednosti, znalosti a kompetence z předmětu
Schopnost formálně definovat sématiku programovacích jazyků a používat formální definice v praxi. Schopnost a praktické použití dokazování programů.
Cíle předmětu
Osvojit si teoretické základy pro definici sémantiky (významu) konstrukcí užívaných v programovacích jazycích. Získat schopnosti formálně tuto sémantiku definovat a formální definici používat. Seznámit se se základními modely programovacích jazyků.
Průběžná kontrola studia
Test v polovině semestru. Průběžná kontrola řešení projektu vedoucím.
Zařazení předmětu ve studijních plánech
- Program EI-BC-3, obor VTB, 1. ročník, volitelný
- Program EI-BC-3 (anglicky), obor VTB, 1. ročník, volitelný
- Program EI-MGR-3, obor VTN, 1. ročník, povinný
- Program EI-MGR-5, obor VTI, 1. ročník, povinný
- Program EI-MGR-5 (anglicky), obor VTI, 1. ročník, povinný