Detail předmětu
Vybrané kapitoly z matematiky
MAD Ak. rok 2020/2021 letní semestr
Předmět navazuje na povinné matematické předměty bakalářského a magisterského studia. Práce s matematickým aparátem je demonstrována spolu s prohloubením znalostí oblastí matematiky úzce souvisejících s informatikou a s ukázkou jejich aplikací v informatice. Jedná se zejména o logiku, důkazové techniky, rozhodovací procedury, teorii formálních modelů, svazy, pravděpodobnost a statistiku.
Okruhy k SZZ:
- Pokročilé techniky pro konečné automaty.
- Automatové techniky v rozhodovacích procedurách a verifikaci.
- Techniky SAT/SMT dokazování.
- Důkazové metody pro výrokovou a predikátovou logiku.
- Logické rozhodovací procedury.
- Galoisovo spojení, abstraktní interpretace, aplikace ve verifikaci.
- Modální a temporální logiky.
- Pokročilá teorie pravděpodobnosti.
- Stochastické procesy a jejich analýza.
- Pravděpodobnostní programovaní a inference.
- Pokročilé grafové algoritmy.
- Randomizované algoritmy.
- Procesové algebry.
Garant předmětu
Koordinátor předmětu
Jazyk výuky
Zakončení
Rozsah
- 26 hod. přednášky
Bodové hodnocení
- 100 bodů závěrečná zkouška
Zajišťuje ústav
Přednášející
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Cvičící
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Získané dovednosti, znalosti a kompetence z předmětu
Schopnost matematické formulace, řešení problémů pomocí matematického aparátu, zejména dokazování, prohloubení a procvičení základních matematických pojmů, přehled o některých pro informatiku stěžejních oblastech matematiky a jejich aplikacích v informatice, zejména v oblastech souvisejících s disertací.
Rozvinutí schopnosti exaktně se vyjadřovat a používat matematický aparát.
Cíle předmětu
- Umožnit doktorským studentům zorientovat se v matematických metodách používaných v informatice, zejména ve formálních metodách, se zaměřením na konkrétní téma disertace.
- Prohloubit schopnosti aplikace matematického aparátu obecně.
Požadované prerekvizitní znalosti a dovednosti
Základní pojmy o relacích, množinách, základy výrokové a predikátové logiky, základy algebry, základy konečných automatů.
Osnova přednášek
- Pokročilé techniky pro konečné automaty.
- Automatové techniky v rozhodovacích precedurách a verifikaci.
- Techniky SAT/SMT dokazování.
- Důkazové metody pro výrokovou a predikátovou logiku.
- Logické rozhodovací procedury.
- Galoisovo spojení, abstraktní interpretace, aplikace ve verifikaci.
- Modální a temporální logiky.
- Pokročilá teorie pravděpodobnosti.
- Stochastické procesy a jejich analýza.
- Pravděpodobnostní programovaní a inference.
- Pokročilé grafové algoritmy.
- Randomizované algoritmy.
- Procesové algebry.
Průběžná kontrola studia
Předmět bude hodnocen zkouškou na konci semestru.
Zařazení předmětu ve studijních plánech
- Program VTI-DR-4, obor DVI4, libovolný ročník, volitelný
- Program VTI-DR-4, obor DVI4, libovolný ročník, volitelný
- Program VTI-DR-4 (anglicky), obor DVI4, libovolný ročník, volitelný
- Program VTI-DR-4 (anglicky), obor DVI4, libovolný ročník, volitelný