Detail specializace

Matematické metody

Zkratka: NMAT

Ak. rok: 2021/2022

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

Informace pro uchazeče o studium

Garant

Rogalewicz Adam, doc. Mgr., Ph.D.

Rozsah státních závěrečných zkoušek

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.

Příklady témat závěrečných prací

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

1. ročník, zimní semestr
Zkr	Název	Kr	Pov	Zak	Fa
MSP	Statistika a pravděpodobnost	5	P	ZaZk	FIT
SDL	Seminář diskrétní matematiky a logiky	1	P	Za	FIT
TIN	Teoretická informatika	7	P	ZaZk	FIT

1. ročník, letní semestr
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

2. ročník, zimní semestr
Zkr	Název	Kr	Pov	Zak	Fa
SEP	Semestrální projekt	5	P	Klz	FIT
PP2	Projektová praxe 2	5	V	Klz	FIT

2. ročník, letní semestr
Zkr	Název	Kr	Pov	Zak	Fa
DIP	Diplomová práce	13	P	Za	FIT

libovolný ročník, zimní semestr
Zkr	Název	Kr	Pov	Zak	Fa
AVS	Architektury výpočetních systémů	5	P	ZaZk	FIT
GAL	Grafové algoritmy	5	P	Zk	FIT
SAV	Statická analýza a verifikace	5	P	ZaZk	FIT
SUI	Umělá inteligence a strojové učení	5	P	Zk	FIT
THE	Teorie her	5	P	ZaZk	FIT
UPA	Ukládání a příprava dat	5	P	ZaZk	FIT
VYPa	Výstavba překladačů (v angličtině)	5	P	Zk	FIT
AEU	Angličtina pro Evropu	3	V	ZaZk	FIT
AGS	Agentní a multiagentní systémy	5	V	Zk	FIT
AIS	Analýza a návrh informačních systémů	5	V	ZaZk	FIT
BAYa	Bayesovské modely pro strojové učení (v angličtině)	5	V	Zk	FIT
BC_MOG1	Molekulární genetika I	3	V	Zk	FCH
BIO	Biometrické systémy	5	V	ZaZk	FIT
BIS	Bezpečnost informačních systémů	5	V	ZaZk	FIT
BMS	Bezdrátové a mobilní sítě	5	V	ZaZk	FIT
CCS	Pokročilý návrh a zabezpečení podnikových sítí	5	V	Klz	FIT
CE1	Směrování a přepínání v páteřních sítích (ENCOR)	5	V	Klz	FIT
CZSa	Číslicové zpracování signálů (v angličtině)	5	V	Zk	FIT
EIP	Ekonomie informačních produktů	5	V	Zk	FIT
FCE	Angličtina: praktický kurz obchodní konverzace a prezentace	3	V	Za	FIT
FIK	Filozofie a kultura ^*)	3	V	Za	FIT
FIT	Dějiny a filozofie techniky	3	V	Za	FIT
GJA	Grafická uživatelská rozhraní v Javě	5	V	ZaZk	FIT
GMU	Grafické a multimediální procesory	5	V	ZaZk	FIT
GUX	Grafická uživatelská rozhraní v X Window	5	V	Zk	FIT
GZN	Grafická a zvuková rozhraní a normy	5	V	Zk	FIT
HKO	Manažerská komunikace a prezentace	3	V	Za	FIT
HSC	Hardware/Software Codesign	5	V	ZaZk	FIT
HVR	Manažerské vedení lidí a řízení času	3	V	Za	FIT
JA3	Anglická konverzace na aktuální témata	3	V	ZaZk	FIT
MAT	Matematické struktury v informatice ^*)	5	V	Zk	FIT
PBI	Pokročilá bioinformatika	4	V	Zk	FIT
PCG	Paralelní výpočty na GPU	5	V	Zk	FIT
PCS	Pokročilé číslicové systémy	5	V	Zk	FIT
PDB	Pokročilé databázové systémy	5	V	ZaZk	FIT
PDI	Prostředí distribuovaných aplikací	5	V	Zk	FIT
PGPa	Pokročilá počítačová grafika (v angličtině)	5	V	Zk	FIT
PGR	Počítačová grafika	5	V	Zk	FIT
PKSa	Pokročilé komunikační systémy (v angličtině)	5	V	ZaZk	FIT
POVa	Počítačové vidění (v angličtině)	5	V	Zk	FIT
PRM	Právní minimum	3	V	Za	FIT
RET	Rétorika	3	V	Za	FIT
ROBa	Robotika (v angličtině)	5	V	Zk	FIT
SEM	Senzory a měření	5	V	ZaZk	FIT
SFC	Soft Computing	5	V	ZaZk	FIT
SIN	Inteligentní systémy	5	V	Zk	FIT
SLA	Lineární algebra	6	V	ZaZk	FSI
SRI	Strategické řízení informačních systémů	5	V	Zk	FIT
TAMa	Tvorba aplikací pro mobilní zařízení (v angličtině)	5	V	Klz	FIT
VIN	Výtvarná informatika	5	V	Klz	FIT
ZPJa	Zpracování přirozeného jazyka (v angličtině)	5	V	Zk	FIT
ZPX	Zahraniční odborná praxe	5	V	Za	FIT
ZZN	Získávání znalostí z databází	5	V	ZaZk	FIT

libovolný ročník, letní semestr
Zkr	Název	Kr	Pov	Zak	Fa
MTIa	Moderní trendy informatiky (v angličtině)	4	P	Klz	FIT
SLOa	Složitost (v angličtině)	5	P	Zk	FIT
SOA	Obecná algebra	5	P	ZaZk	FSI
AEU	Angličtina pro Evropu	3	V	ZaZk	FIT
ATA	Automatizované testování a dynamická analýza	5	V	Zk	FIT
BDA	Blockchainy a decentralizované aplikace	5	V	ZaZk	FIT
BIF	Bioinformatika	5	V	Zk	FIT
BIN	Biologií inspirované počítače	5	V	Zk	FIT
BZA	Bezpečná zařízení	5	V	Zk	FIT
CE2	Pokročilé směrování v páteřních sítích (ENARSI)	5	V	Klz	FIT
CPSa	Návrh kyberfyzikálních systémů (v angličtině)	5	V	Zk	FIT
CSOa	CCNA Kybernetická bezpečnost (v angličtině)	5	V	Klz	FIT
DFAa	Digitální forenzní analýza (v angličtině)	5	V	Zk	FIT
DJA	Dynamické jazyky ^*)	5	V	Zk	FIT
EVO	Aplikované evoluční algoritmy	5	V	Zk	FIT
FIK	Filozofie a kultura	3	V	Za	FIT
FIT	Dějiny a filozofie techniky ^*)	3	V	Za	FIT
FVS	Funkční verifikace číslicových systémů	5	V	Zk	FIT
FYO	Fyzikální optika	5	V	Zk	FIT
GIS	Geografické informační systémy ^*)	5	V	ZaZk	FIT
HKO	Manažerská komunikace a prezentace	3	V	Za	FIT
HVR	Manažerské vedení lidí a řízení času	3	V	Za	FIT
JA3	Anglická konverzace na aktuální témata	3	V	ZaZk	FIT
KKO	Kódování a komprese dat	5	V	ZaZk	FIT
KNN	Konvoluční neuronové sítě	5	V	Klz	FIT
KRY	Kryptografie	5	V	ZaZk	FIT
LOG	Logika	5	V	ZaZk	FIT
MBA	Analýza systémů založená na modelech	5	V	Zk	FIT
MPA-SYS	Systems Biology	5	V	ZaZk	FEKT
MPC-MAT	Maticový a tenzorový počet	5	V	ZaZk	FEKT
MPR	Management projektů	5	V	ZaZk	FIT
MUL	Multimédia	5	V	Zk	FIT
NAV	Návrh vestavěných systémů	5	V	Zk	FIT
NSB	Návrh, správa a bezpečnost	5	V	ZaZk	FIT
PDS	Přenos dat, počítačové sítě a protokoly	5	V	Zk	FIT
PIS	Pokročilé informační systémy	5	V	ZaZk	FIT
PMA	Projektový manažer	5	V	Klz	FIT
POS	Pokročilé operační systémy	5	V	Zk	FIT
PP1	Projektová praxe 1	5	V	Klz	FIT
PPP	Praktické paralelní programování	5	V	ZaZk	FIT
PRM	Právní minimum	3	V	Za	FIT
RET	Rétorika	3	V	Za	FIT
SNT	Simulační nástroje a techniky	5	V	ZaZk	FIT
SPP	Systémy odolné proti poruchám	5	V	ZaZk	FIT
SUR	Strojové učení a rozpoznávání	5	V	Zk	FIT
TOI	Principy a návrh IoT systémů	5	V	ZaZk	FIT
UXIa	Uživatelská zkušenost a návrh rozhraní a služeb (v angličtině)	5	V	Klz	FIT
VGE	Výpočetní geometrie	5	V	Zk	FIT
VIZa	Vizualizace a CAD (v angličtině)	5	V	Klz	FIT
VNV	Vysoce náročné výpočty	5	V	Zk	FIT
VYF	Výpočetní fotografie ^*)	5	V	Klz	FIT
WAP	Internetové aplikace	5	V	ZaZk	FIT
ZPO	Zpracování obrazu	5	V	Zk	FIT
ZPX	Zahraniční odborná praxe	5	V	Za	FIT
ZRE	Zpracování řečových signálů	5	V	Zk	FIT

Předmět není v tomto akademickém roce otevřen

Zak: Způsob zakončení předmětu: Zk - zkouška, Za - zápočet, Klz - klas. zápočet, Kol - Kolokvium
Pov: P - povinný, PV - povinně volitelný, D - doporučený, V - volitelný

Studijní program

Matematické metody

Výběr akademického roku a studijního plánu

1. ročník, zimní semestr

1. ročník, letní semestr

2. ročník, zimní semestr

2. ročník, letní semestr

libovolný ročník, zimní semestr

libovolný ročník, letní semestr