INFORMAČNÝ LIST PREDMETU | ||||||||||||||
Vysoká škola: Technická univerzita v Košiciach | ||||||||||||||
Fakulta: Fakulta elektrotechniky a informatiky | ||||||||||||||
Pracovisko: Katedra počítačov a informatiky |
||||||||||||||
Kód predmetu: 2611531 | Názov predmetu: Sémantika programovacích jazykov | |||||||||||||
Druh, rozsah a metóda vzdelávacích činností: Forma výučby: Prednáška, Cvičenie numerické Odporúčaný rozsah výučby (v hodinách): Denná forma štúdia (hodiny za týždeň): 3,2 Externá forma štúdia (hodiny za semester): 39,26 Metóda štúdia: |
||||||||||||||
Počet kreditov: 6 | ||||||||||||||
Odporúčaný semester štúdia: ZS | ||||||||||||||
Odporúčaný semester | Študijný program | Stupeň štúdia | Metóda štúdia | |||||||||||
1.rok ZS | Kyberbezpečnosť (KB_Ing_D_sk) Informatika (INF_Ing_D_sk) Počítačové modelovanie (PM_Ing_D_sk) Informatika (INF_Ing_D_en) |
2. 2. 2. 2. |
Prezenčná Prezenčná Prezenčná Prezenčná |
|||||||||||
Stupeň štúdia: | ||||||||||||||
Podmieňujúce predmety: | ||||||||||||||
Podmienky na absolvovanie predmetu: Spôsob hodnotenia a skončenia štúdia predmetu: Zápočet a skúška Priebežné hodnotenie (PH): Študent prospeje v PH a získa zápočet, keď splní podmienku získať min. 16% z 30%. priebežný test Záverečné hodnotenie (ZH): Študent prospeje v ZH a úspešne vykoná skúšku, keď splní podmienku získať min. 36% z 70%. skúška Celkové hodnotenie: CH je suma hodnotení získaných študentom za hodnotené obdobie. Celkový výsledok sa stanoví v súlade s vnútornými predpismi TUKE. (študijný poriadok, vnútorný predpis zásady doktorandského štúdia) |
||||||||||||||
Výsledky vzdelávania: Študent sa v tomto predmete oboznámi s rôznymi prístupmi k definovaniu sémantiky programovacích jazykov. Osvojí si najdôležitejšie metódy sémantického popisu, akými sú operačná, naturálna, denotačná, algebraická, axiomatická a akčná sémantika. Získa 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ádne definovanie sémantiky jazykových konštrukcií. |
||||||||||||||
Stručná osnova predmetu: 1. Definícia pojmu sémantika, klasifikácia sémantických metód, komponenty definície syntaxe a sémantiky programovacieho jazyka. 2. Jednoduchý programovací jazyk, sémantika aritmetických a boolovských výrazov. 3. Naturálna operačná sémantika ako operačná sémantika veľkých krokov. 4. Štrukturálna operačná sémantika ako operačná sémantika malých krokov. 5. Rozšírenia jednoduchého procedurálneho jazyka a ich operačná sémantika. 6. Operačná sémantika blokov, deklarácií a procedúr. 7. Abstraktná implementácia programovacích jazykov. 8. Algebraická sémantika. Axiomatická sémantika. 9. Denotačná sémantika. 10. Denotačná sémantika príkazu cyklu. 11. Nepriama denotačná sémantika. 12. Akčná sémantika |
||||||||||||||
Odporúčaná literatúra: 1. V. Novitzká: Sémantika programov, ELFA Košice, 2001 2. H.R.Nielson, F.Nielson: Semantics with applications. A formal introduction. Wiley and Sons, 1992 3. D.A Schmidt: Denotational semantics. Methodology for language development. Allyn and Bacon, 1986 4. P.D.Mosses: A tutorial on action semantics. Formal Methods Oxford, 1996 5. W. Steingartner, V. Novitzká: Sémantika programovacích jazykov, TU Košice, 2015 |
||||||||||||||
Odporúčané voliteľné súčasti programu: |
||||||||||||||
Jazyk, ktorého znalosť je potrebná na absolvovanie predmetu: | ||||||||||||||
Poznámky: | ||||||||||||||
Hodnotenie predmetov: Celkový počet hodnotených študentov: 2178 |
||||||||||||||
A | B | C | D | E | FX | |||||||||
18% | 19% | 25% | 21% | 9% | 7% | |||||||||
Zabezpečuje: doc. Ing. William Steingartner, PhD. |
||||||||||||||
Dátum poslednej zmeny: 01.09.2022 | ||||||||||||||
Schválil: osoba/osoby zodpovedné za študijný program | ||||||||||||||