Fakulta informačních technologií VUT v Brně

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

Profil
Garant
Profil absolventa specializace
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 Informační systémy a databáze (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

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

1. ročník, zimní semestr

ZkrNázevKrPovZakFa
MSPStatistika a pravděpodobnost6PZkFSI
TINTeoretická informatika7PZaZkFIT

1. ročník, letní semestr

ZkrNázevKrPovZakFa
FLPFunkcionální a logické programování5PZaZkFIT
PRLParalelní a distribuované algoritmy5PZaZkFIT

2. ročník, zimní semestr

ZkrNázevKrPovZakFa
SEPSemestrální projekt5PKlzFIT

2. ročník, letní semestr

ZkrNázevKrPovZakFa
DIPDiplomová práce13PZaFIT

libovolný ročník, zimní semestr

ZkrNázevKrPovZakFa
AVSArchitektury výpočetních systémů5PZaZkFIT
SAVStatická analýza a verifikace5PZaZkFIT
GALGrafové algoritmy5PZkFIT
SUIUmělá inteligence a strojové učení5PZkFIT
THETeorie her5PZaZkFIT
UPAUkládání a příprava dat5PZkFIT
VYPaVýstavba překladačů (v angličtině)5PZkFIT
AEUAngličtina pro Evropu3VZaZkFEKT
AGSAgentní a multiagentní systémy5VZkFIT
AISAnalýza a návrh informačních systémů5VZaZkFIT
BAYaBayesovské modely pro strojové učení (v angličtině)5VZkFIT
BIOBiometrické systémy5VZaZkFIT
BISBezpečnost informačních systémů5VZaZkFIT
BMSBezdrátové a mobilní sítě5VZaZkFIT
CCSPokročilý návrh a zabezpečení podnikových sítí5VKlzFIT
CZSaČíslicové zpracování signálů (v angličtině)5VZkFIT
C3PDiagnostika Cisco sítí (TSHOOT) *)5VKlzFIT
EIPEkonomie informačních produktů *)5VZkFIT
FCEAngličtina: praktický kurz obchodní konverzace a prezentace3VZaFIT
FIKFilozofie a kultura *)3VZaICV
FITDějiny a filozofie techniky3VZaICV
GJAGrafická uživatelská rozhraní v Javě5VZaZkFIT
GMUGrafické a multimediální procesory5VZaZkFIT
GUXGrafická uživatelská rozhraní v X Window5VZkFIT
GZNGrafická a zvuková rozhraní a normy5VZkFIT
HKOManažerská komunikace a prezentace3VZaFIT
HSCHardware/Software Codesign5VZaZkFIT
HVRManažerské vedení lidí a řízení času3VZaFIT
JA3Anglická konverzace na aktuální témata3VZaZkFEKT
MATMatematické struktury v informatice5VZkFSI
MOGMolekulární genetika3VZkFCH
PBIPokročilá bioinformatika4VZkFIT
PCGParalelní výpočty na GPU5VZkFIT
PCSPokročilé číslicové systémy5VZkFIT
PDBPokročilé databázové systémy5VZaZkFIT
PDIProstředí distribuovaných aplikací5VZkFIT
PGPaPokročilá počítačová grafika (v angličtině)5VZkFIT
PGRPočítačová grafika5VZkFIT
PKSPokročilé komunikační systémy5VZaZkFIT
POVaPočítačové vidění (v angličtině)5VZkFIT
PP2Projektová praxe 25VKlzFIT
PRMPrávní minimum3VZaICV
RETRétorika3VZaICV
ROBaRobotika (v angličtině)5VZkFIT
RTSaSystémy pracující v reálném čase (v angličtině)5VZkFIT
SEMSenzory a měření5VZaZkFIT
SFCSoft Computing5VZaZkFIT
SINInteligentní systémy5VZkFIT
SLALineární algebra6VZaZkFSI
SRIStrategické řízení informačních systémů5VZkFIT
TAMaTvorba aplikací pro mobilní zařízení (v angličtině)5VKlzFIT
VINVýtvarná informatika5VKlzFIT
ZPJaZpracování přirozeného jazyka (v angličtině)5VZkFIT
ZPXZahraniční odborná praxe5VZaFIT
ZZNZískávání znalostí z databází5VZaZkFIT

libovolný ročník, letní semestr

ZkrNázevKrPovZakFa
ALGAlgebra5PZaZkFSI
MTIaModerní trendy informatiky (v angličtině)4PKlzFIT
SLOaSložitost (v angličtině)5PZkFIT
PPPPraktické paralelní programování5VZaZkFIT
ATAAutomatizované testování a dynamická analýza5VZkFIT
BIFBioinformatika5VZkFIT
BINBiologií inspirované počítače5VZkFIT
BZABezpečná zařízení5VZkFIT
CPSaNávrh kyberfyzikálních systémů (v angličtině)5VZkFIT
CSOaCCNA Kybernetická bezpečnost (v angličtině)5VKlzFIT
C1PSměrování v rozsáhlých sítích (ROUTE) *)5VKlzFIT
C2PSítě s vícevrstevným přepínáním (SWITCH) *)5VKlzFIT
DFAaDigitální forenzní analýza (v angličtině)5VZkFIT
DJADynamické jazyky5VZkFIT
EVOAplikované evoluční algoritmy5VZkFIT
FIKFilozofie a kultura3VZaICV
FITDějiny a filozofie techniky *)3VZaICV
FVSFunkční verifikace číslicových systémů5VZkFIT
FYOFyzikální optika5VZkFEKT
GISGeografické informační systémy *)5VZaZkFIT
HKOManažerská komunikace a prezentace3VZaFIT
HVRManažerské vedení lidí a řízení času3VZaFIT
SURStrojové učení a rozpoznávání5VZkFIT
JA3Anglická konverzace na aktuální témata3VZaZkFEKT
KKOKódování a komprese dat5VZaZkFIT
KNNKonvoluční neuronové sítě5VKlzFIT
KRYKryptografie5VZaZkFIT
LOGLogika5VZaZkFSI
MMATMaticový a tenzorový počet5VZaZkFEKT
MPRManagement projektů5VZaZkFIT
MULMultimédia5VZkFIT
NAVNávrh vestavěných systémů5VZkFIT
NSBNávrh, správa a bezpečnost5VZaZkFIT
PDSPřenos dat, počítačové sítě a protokoly5VZkFIT
MBAAnalýza systémů založená na modelech5VZkFIT
PISPokročilé informační systémy5VZaZkFIT
PMAProjektový manažer5VKlzFIT
POSPokročilé operační systémy5VZkFIT
PP1Projektová praxe 15VZaFIT
PRMPrávní minimum3VZaICV
RETRétorika3VZaICV
SNTSimulační nástroje a techniky5VZaZkFIT
SPPSystémy odolné proti poruchám5VZaZkFIT
TOIPrincipy a návrh IoT systémů5VZaZkFIT
UXIaUživatelská zkušenost a návrh rozhraní a služeb (v angličtině)5VKlzFIT
VGEVýpočetní geometrie5VZkFIT
VIZaVizualizace a CAD (v angličtině)5VKlzFIT
VNVVysoce náročné výpočty5VZkFIT
VYFVýpočetní fotografie5VKlzFIT
WAPInternetové aplikace5VZaZkFIT
ZPOZpracování obrazu5VZkFIT
ZREZpracování řečových signálů5VZkFIT
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ý
Nahoru