Informácie o predmete
Študenti sa v tomto predmete oboznámia s rôznymi prístupmi k definovaniu sémantiky programovacích jazykov. Osvoja si najdôležitejšie metódy sémantického popisu, akými sú operačná, naturálna, denotačná, algebraická, axiomatická a kategorická sémantika. Získajú poznatky o aplikáciách jednotlivých metód v návrhu, definícii a implementácii programovacích jazykov. Na príklade jednoduchého procedurálneho jazyka zvládnu definovanie sémantiky jazykových konštrukcií.
Zápočet
- 10 bodov — 1. zápočtový test (štvrtý týždeň semestra)
- 20 bodov — 2. zápočtový test (jedenásty týždeň semestra)