Detail oboru

Matematické metody v informačních technologiích

FITZkratka: MMMAk. rok: 2017/2018Zaměření: -

Program: Informační technologie

Délka studia: 2 roky

Akreditace od: 30.6.2014Akreditace do: 31.12.2022

Profil oboru

Cílem studijního oboru Matematické metody v informačních technologiích je seznámit studenty s hlubšími matematickými základy informačních technologií a naučit je chápat, prakticky aplikovat i dále rozvíjet pokročilé technologie z těchto základů vycházející. V oborově povinných předmětech si studenti zejména prohloubí své znalosti matematiky a teoretických základů informatiky a seznámí se s jejich pokročilými aplikacemi ve vybraných oblastech informačních technologií. Konkrétně se přitom jedná o oblast překladačů, metod automatizované analýzy, verifikace a testování korektnosti počítačových systémů, oblast vysoce náročných vědeckotechnických výpočtů, oblast modelování, simulace a optimalizace či oblast aplikací teorie her pro podporu racionálního strategického rozhodování v konfliktních situacích (mj. např. v ekonomii, bezpečnosti apod.). Nabídka volitelných předmětů spolu s technickým projektem a diplomovou prací pak umožní studentům individuální výběr užšího zaměření na různé teoretické i aplikační oblasti. Získání hlubších teoretických znalostí a seznámení se s různými způsoby jejich uplatnění umožní absolventům aplikovat v praxi různé vysoce pokročilé moderní technologie, včetně technologií nově vyvíjených a nekonvenčních, umožní jim uplatnit se ve společnostech (či divizích společností) zaměřených na výzkum, vývoj a aplikace nových informačních technologií s výraznými matematickými základy, případně jim poskytne důkladnou průpravu pro následné doktorské studium.

Klíčové výsledky učení

Student oboru získá hlubší teoretické znalosti z matematiky a teorie informatiky, které dokáže aplikovat na praktické problémy a dále rozvíjet pokročilé technologie z těchto základů vycházející. Prohloubí si znalosti získané v bakalářském studiu v oblasti překladačů, metod automatizované analýzy, verifikace a testování korektnosti počítačových systémů, oblasti vysoce náročných vědeckotechnických výpočtů, oblasti modelování, simulace a optimalizace či oblasti aplikací teorie her pro podporu racionálního strategického rozhodování v konfliktních situacích.

Profesní profil absolventů s příklady


  • Absolvent má hluboké znalosti matematických základů informačních technologií a různých jejich pokročilých aplikací, zejména pak z oblasti překladačů, metod automatické analýzy a verifikace korektnosti počítačových systémů, počítačem podporovaného modelování, simulace a optimalizace, zajištění odolnosti počítačových systémů proti poruchám, teorie her, technologií pro náročné vědeckotechnické výpočty, kryptografie a kódování či nekonvenčních a nově vyvíjených výpočetních platforem.
  • Absolvent je kvalifikačně připraven na výzkum, vývoj a aplikace nejrůznějších pokročilých technologií vyžadujících hlubší pochopení matematických základů informatiky, včetně technologií vysoce nekonvenčních. Získané znalosti teoretických základů informačních technologií umožňují absolventovi vysokou flexibilitu a snazší osvojení nových poznatků a technologií.
  • Absolventi oboru najdou uplatnění především ve vývojových a výzkumných odděleních ale i provozních pracovištích nejrůznějších firem a institucí zabývajících se vývojem a aplikacemi pokročilých technologií z oblasti automatické analýzy, verifikace a testování počítačových systémů, překladačů, technologiemi pro syntézu hardware či software z vysokoúrovňových specifikací, modelováním, simulací či optimalizací systémů (a to např. i na pracovištích zabývajících se simulací, predikcí či optimalizací v energetice, ekonomii, bezpečnosti apod.), technologiemi pro vědeckotechnické výpočty či vývojem kritických systémů se zvláštním důrazem na spolehlivost a bezpečnost. S ohledem na své hluboké znalosti algoritmizace se ale mohou uplatnit v komerční sféře i v jiných odvětvích informačních technologií zaměřených na vývoj a provoz komplexních a výpočetně náročných softwarových systémů (např. při provozu a optimalizaci rozsáhlých databází, informačních systémů, sítí apod.). Významná je také možnost uplatnění absolventů ve školství a vědě.

Garant oboru


Struktura předmětů s uvedením ECTS kreditů (studijní plán)

1. ročník, zimní semestr
ZkratkaNázevJ.Kr.Sem.Pov.Uk.Sk.Ot.
MATMatematické struktury v informaticecs5zimníPovinnýzkano
TINTeoretická informatikacs5zimníPovinnýzá,zkano
STISeminář teoretické informatikycs2zimníVolitelnýano
2. ročník, zimní semestr
ZkratkaNázevJ.Kr.Sem.Pov.Uk.Sk.Ot.
SEPSemestrální projektcs5zimníPovinnýklano
2. ročník, letní semestr
ZkratkaNázevJ.Kr.Sem.Pov.Uk.Sk.Ot.
DIPDiplomová prácecs13letníPovinnýano
0. ročník, zimní semestr
ZkratkaNázevJ.Kr.Sem.Pov.Uk.Sk.Ot.
FAVFormální analýza a verifikacecs5zimníPovinnýzá,zkano
GALGrafové algoritmycs5zimníPovinnýzkano
THETeorie hercs4zimníPovinnýzá,zkano
VYPaVýstavba překladačů (v angličtině)en5zimníPovinnýzkano
AEUAngličtina pro Evropucs3zimníPovinně volitelnýzá,zkano
FCEAngličtina: příprava na zkoušku FCEcs3zimníPovinně volitelnýano
BISBezpečnost informačních systémůcs5zimníPovinně volitelnýzá,zkano
FITDějiny a filozofie technikycs3zimníPovinně volitelnýano
HKOKomunikační dovednostics3zimníPovinně volitelnýano
HKAKonflikty a asertivitacs3zimníPovinně volitelnýano
PRMPrávní minimumcs3zimníPovinně volitelnýano
HPRPrezentační dovednostics3zimníPovinně volitelnýano
HPOPsychologie osobnostics3zimníPovinně volitelnýano
RETRétorikacs3zimníPovinně volitelnýano
SFCSoft Computingcs5zimníPovinně volitelnýzá,zkano
HVRVedení a řízení lidícs3zimníPovinně volitelnýano
AISAnalýza a návrh informačních systémůcs5zimníVolitelnýzá,zkano
ACHArchitektura procesorůcs5zimníVolitelnýzá,zkano
BMSBezdrátové a mobilní sítěcs5zimníVolitelnýzá,zkano
BIOBiometrické systémycs5zimníVolitelnýzá,zkano
EIPEkonomie informačních produktůcs5zimníVolitelnýzkano
GZNGrafická a zvuková rozhraní a normycs5zimníVolitelnýzkano
GJAGrafická uživatelská rozhraní v Javěcs5zimníVolitelnýzá,zkano
GUXGrafická uživatelská rozhraní v X Windowcs5zimníVolitelnýzkano
GMUGrafické a multimediální procesorycs5zimníVolitelnýzá,zkano
HSCHardware/Software Codesigncs5zimníVolitelnýzá,zkano
SENInteligentní senzorycs5zimníVolitelnýzá,zkano
SINInteligentní systémycs5zimníVolitelnýzkano
MOBModelování biologických systémůcs4zimníVolitelnýzá,zkano
PGRPočítačová grafikacs5zimníVolitelnýzkano
POVaPočítačové vidění (v angličtině)en5zimníVolitelnýzkano
PGPaPokročilá počítačová grafika (v angličtině)en5zimníVolitelnýzkano
PCSPokročilé číslicové systémycs5zimníVolitelnýzkano
PDBPokročilé databázové systémycs5zimníVolitelnýzá,zkano
PKSPokročilé komunikační systémycs5zimníVolitelnýzá,zkano
PDIProstředí distribuovaných aplikacícs5zimníVolitelnýzkano
ROBaRobotika (v angličtině)en5zimníVolitelnýzkano
SMTSeminář matematických strukturcs2zimníVolitelnýano
SRIStrategické řízení informačních systémůcs5zimníVolitelnýzkano
TAMaTvorba aplikací pro mobilní zařízení (v angličtině)en5zimníVolitelnýklano
VINVýtvarná informatikacs5zimníVolitelnýklano
ZPXZahraniční odborná praxeen5zimníVolitelnýano
ZZNZískávání znalostí z databázícs5zimníVolitelnýzá,zkano
ZPJaZpracování přirozeného jazyka (v angličtině)en5zimníVolitelnýzkano
0. ročník, letní semestr
ZkratkaNázevJ.Kr.Sem.Pov.Uk.Sk.Ot.
FLPFunkcionální a logické programovánícs5letníPovinnýzá,zkano
LOGLogikacs5letníPovinnýzá,zkano
PRLParalelní a distribuované algoritmycs5letníPovinnýzá,zkano
PESPetriho sítěcs5letníPovinnýzkano
VNVVysoce náročné výpočtycs5letníPovinnýzkano
AGSAgentní a multiagentní systémycs5letníPovinně volitelnýzkano
BINBiologií inspirované počítačecs5letníPovinně volitelnýzkano
DJADynamické jazykycs5letníPovinně volitelnýzkano
FIKFilozofie a kulturacs3letníPovinně volitelnýano
KKOKódování a komprese datcs5letníPovinně volitelnýzá,zkano
HKOKomunikační dovednostics3letníPovinně volitelnýano
HKAKonflikty a asertivitacs3letníPovinně volitelnýano
KRYKryptografiecs5letníPovinně volitelnýzá,zkano
OPMOptimalizacecs4letníPovinně volitelnýzá,zkano
PRMPrávní minimumcs3letníPovinně volitelnýano
HPRPrezentační dovednostics3letníPovinně volitelnýano
HPOPsychologie osobnostics3letníPovinně volitelnýano
RETRétorikacs3letníPovinně volitelnýano
SNTSimulační nástroje a technikycs5letníPovinně volitelnýzá,zkano
SLOaSložitost (v angličtině)en5letníPovinně volitelnýzkano
SSPStochastické procesycs4letníPovinně volitelnýzá,zkano
HVRVedení a řízení lidícs3letníPovinně volitelnýano
EVOAplikované evoluční algoritmycs5letníVolitelnýzkano
ARCArchitektura a programování paralelních systémůcs5letníVolitelnýzá,zkano
BIFBioinformatikacs5letníVolitelnýzkano
FVSFunkční verifikace číslicových systémůcs5letníVolitelnýzkano
FYOFyzikální optikacs5letníVolitelnýzkano
WAPInternetové aplikacecs5letníVolitelnýzá,zkano
MPRManagement projektůcs5letníVolitelnýzá,zkano
MEKManažerská ekonomikacs5letníVolitelnýzá,zkano
MARMarketingcs5letníVolitelnýzá,zkano
MMATMaticový a tenzorový početcs5letníVolitelnýzá,zkano
MULMultimédiacs5letníVolitelnýzkano
NAVNávrh externích adaptérů a vestavěných systémůcs5letníVolitelnýzkano
NSBNávrh, správa a bezpečnostcs5letníVolitelnýzá,zkano
PISPokročilé informační systémycs5letníVolitelnýzá,zkano
POSPokročilé operační systémycs5letníVolitelnýzkano
PMAProjektový manažercs5letníVolitelnýklano
PDSPřenos dat, počítačové sítě a protokolycs5letníVolitelnýzkano
ROSaReal-time operační systémy (v angličtině)en5letníVolitelnýzkano
STMStrategický managementcs5letníVolitelnýzá,zkano
SPPSystémy odolné proti poruchámcs5letníVolitelnýzá,zkano
VIZaVizualizace a CAD (v angličtině)en5letníVolitelnýklano
VYFVýpočetní fotografiecs5letníVolitelnýklano
VGEVýpočetní geometriecs5letníVolitelnýzkano
MZSVyšší metody zpracování signálůcs6letníVolitelnýzá,zkano
ZPXZahraniční odborná praxeen5letníVolitelnýano
ZPOZpracování obrazucs5letníVolitelnýzkano
ZREZpracování řečových signálůcs5letníVolitelnýzkano