FI:IA011 Sémantiky progr. jazyků - Informace o předmětu
IA011 Sémantiky programovacích jazyků
Fakulta informatikyjaro 2012
- Rozsah
- 2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Antonín Kučera, Ph.D. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Antonín Kučera, Ph.D.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- Út 10:00–12:50 G101
- Předpoklady
- Předpokladem je znalost základních pojmů teorie množin a formální logiky (pravdivá a dokazatelná tvrzení, odvozovací systémy, korektnost a úplnost odvozovacích systémů, apod.)
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- Aplikovaná informatika (program FI, N-AP)
- Bezpečnost informačních technologií (program FI, N-IN)
- Bioinformatika (program FI, N-AP)
- Informační systémy (program FI, N-IN)
- Informatika (program FI, M-IN)
- Informatika (program FI, N-IN)
- Paralelní a distribuované systémy (program FI, N-IN)
- Počítačová grafika (program FI, N-IN)
- Počítačové sítě a komunikace (program FI, N-IN)
- Počítačové systémy (program FI, N-IN)
- Programovatelné technické struktury (angl.) (program FI, N-IN)
- Programovatelné technické struktury (program FI, N-IN)
- Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
- Služby - výzkum, řízení a inovace (program FI, N-AP)
- Sociální informatika (program FI, B-AP)
- Teoretická informatika (program FI, N-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
- Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
- Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
- Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
- Zpracování obrazu (program FI, N-AP)
- Cíle předmětu
- Úvodní kurs do teorie formálních sémantik programovacích jazyků,
pokrývající základní paradigmata (operační, denotační, axiomatická)
a vztahy mezi nimi. Okrajově jsou zmíněny další přístupy (temporalní
logiky).
Hlavním cílem kurzu je: osvojit si definice formálních sémantik programovacích jazyků; porozumět rozdílům mezi sémantikami; umět formálně zapsat vlastnosti programů; osvojit si základní znalosti z oblasti temporálních logik. - Osnova
- Sémantiky programovacích jazyků, základní paradigmata (operační, denotanční a axiomatická sémantika).
- Strukturální operační sémantika a její varianty. Ekvivalence sémantik.
- Denotační sémantika. Pojem CPO, spojité funkce mezi CPO. Věta o pevném bodě a její aplikace, sémantika rekurze. Ekvivalence operační a denotanční sémantiky.
- Axiomatická sémantika. Hoareův odvozovací systém, jeho korektnost a úplnost.
- Temporální logiky, sémantika neukončených a paralelních programů.
- Literatura
- Výukové metody
- Přednášky, cvičení.
- Metody hodnocení
- Přednáška: 2 hodiny týdně. Cvičení: 1 hodina týdně.
Zkouška je písemná. - Informace učitele
- http://www.fi.muni.cz/usr/kucera/teaching.html
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
- Statistika zápisu (jaro 2012, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2012/IA011