Detail specializace
Matematické metody
Zkratka: NMAT
Délka studia: 2 roky
Počet kreditů: 120
Program: Informační technologie a umělá inteligence
Jazyk výuky: česky
Forma studia: prezenční
Akreditace od: 2019 Akreditace do: 2029
Státní zkouška programu Informační technologie a umělá inteligence, specializace Matematické metody se skládá z částí:
- prezentace a obhajoba zpracované diplomové práce,
- ústní zkoušky, která sdružuje základní tematické okruhy obsažené v předmětech profilujícího základu z oblasti Informačních technologií a umělé inteligence (Teoretická informatika, Statistika a pravděpodobnost, Architektury výpočetních systémů, Umělá inteligence a strojové učení , Ukládání a příprava dat, Funkcionální a logické programování, Paralelní a distribuované algoritmy, Moderní trendy informatiky),
- ústní zkoušky, která sdružuje základní tematické okruhy obsažené v předmětech profilujícího základu z oblasti matematických metod (Statická analýza a verifikace, Složitost, Výstavba překladačů, Teorie her, Algebra, Grafové algoritmy).
Všechny části státní zkoušky se konají ve stejném termínu před komisí pro státní zkoušky. Ke státní zkoušce může přistoupit student, který získal potřebný počet kreditů v předepsané skladbě nutný pro úspěšné ukončení magisterského studia a odevzdal diplomovou práci v řádném termínu. Organizace a průběh státní zkoušky jsou dány odpovídající vnitřní normou fakulty a příslušnými pokyny garanta programu ke státním zkouškám.
- Lidské rozhraní k automatovým knihovnám nástroje MONA
- Výukový nástroj pro barvené Petriho sítě
- Využití přibližné ekvivalence při návrhu přibližných obvodů
- Porovnávání jazyků a redukce automatů používaných při filtraci síťového provozu
- Cestami řízené gramatiky
- A Decision Procedure for the WSkS Logic
- Statická analýza možných hodnot proměnných v programech v C
- Předpověď nových chyb pomocí dolování dat v historii výsledků testů
- Analýza práce s dynamickými datovými strukturami v C programech
- Heuristiky v optimalizačních úlohách třídy RCPSP
Diplomové práce jsou uloženy v Knihovně FIT, Božetěchova 2, Brno. Seznam diplomových prací včetně detailů je dostupný na Webu FIT:
https://www.fit.vut.cz/study/theses/.cs
Výběr akademického roku a studijního plánu
Přejít na doporučené průchody specializací
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
MSP | Statistika a pravděpodobnost | 6 | P | ZaZk | FIT |
TIN | Teoretická informatika | 7 | P | ZaZk | FIT |
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
FLP | Funkcionální a logické programování | 5 | P | ZaZk | FIT |
PRL | Paralelní a distribuované algoritmy | 5 | P | ZaZk | FIT |
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
SEP | Semestrální projekt | 5 | P | Klz | FIT |
PP2 | Projektová praxe 2 | 5 | V | Klz | FIT |
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
DIP | Diplomová práce | 13 | P | Za | FIT |
Pov: P - povinný, PV - povinně volitelný, D - doporučený, V - volitelný
Doporučené průchody specializací
NMAT ++
Pro studenty se zájmem o matematiku doporučujeme zařadit do studijního plánu následující svobodné předměty vyučované Ústavem matematiky FSI:
* FSI-SOP: Optimalizace I (letní semestr, 3kr) https://www.vut.cz/studenti/predmety/detail?apid=261005
* FSI-SN1: Numerické metody I (letní semestr, 4kr) https://www.vut.cz/studenti/predmety/detail?apid=261000
* FSI-SN2: Numerické metody II (zimní semestr, 4kr) https://www.vut.cz/studenti/predmety/detail?apid=261001
* FSI-SPP: Stochastické procesy (zimní semestr, 4kr) https://www.vut.cz/studenti/predmety/detail?apid=261020
Možný průchod: 1. zima: FSI-SPP, 1. léto: FSI-SN1, 2. zima: FSI-SN2, 2.léto: FSI-SOP
1. ročník, zimní semestr
- Architektury výpočetních systémů
- Statistika a pravděpodobnost
- Teoretická informatika
- Ukládání a příprava dat
- Umělá inteligence a strojové učení
1. ročník, letní semestr
- Funkcionální a logické programování
- Moderní trendy informatiky (v angličtině)
- Obecná algebra
- Paralelní a distribuované algoritmy
- Složitost (v angličtině)
2. ročník, zimní semestr
- Grafové algoritmy
- Semestrální projekt
- Statická analýza a verifikace
- Teorie her
- Výstavba překladačů (v angličtině)
- Pokročilé číslicové systémy
2. ročník, letní semestr
Základní průchod
1. ročník, zimní semestr
- Architektury výpočetních systémů
- Statistika a pravděpodobnost
- Teoretická informatika
- Ukládání a příprava dat
- Umělá inteligence a strojové učení
- Angličtina pro Evropu
1. ročník, letní semestr
- Funkcionální a logické programování
- Moderní trendy informatiky (v angličtině)
- Obecná algebra
- Paralelní a distribuované algoritmy
- Složitost (v angličtině)
- Právní minimum
- Systémy odolné proti poruchám
2. ročník, zimní semestr
- Grafové algoritmy
- Semestrální projekt
- Statická analýza a verifikace
- Teorie her
- Výstavba překladačů (v angličtině)
- Pokročilé číslicové systémy