Detail oboru

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

FITZkratka: MMMAk. rok: 2018/2019

Program: Informační technologie

Délka studia: 2 roky

Akreditace od: 1.1.2005Akreditace do: 31.12.2024

Profil

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


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

1. ročník, zimní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
MATMatematické struktury v informaticecs, en5Povinnýano
TINTeoretická informatikacs5Povinnýano
STISeminář teoretické informatikycs2Volitelnýano
1. ročník, letní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
PP1Projektová praxe 1cs, en5Volitelnýano
2. ročník, zimní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
SEPSemestrální projektcs, en5Povinnýano
PP2Projektová praxe 2cs5Volitelnýano
2. ročník, letní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
DIPDiplomová prácecs, en13Povinnýano
Libovolný ročník, zimní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
FAVFormální analýza a verifikacecs5Povinnýano
GALGrafové algoritmycs, en5Povinnýano
THETeorie hercs4Povinnýano
VYPaVýstavba překladačů (v angličtině)en5Povinnýano
BISBezpečnost informačních systémůcs5Povinně volitelnýKryptografie, kódování a bezpečnostano
JA3Anglická konverzace na aktuální tématacs, en3Povinně volitelnýHumanitní předmětano
AEUAngličtina pro Evropucs, en3Povinně volitelnýHumanitní předmětano
FCEAngličtina: příprava na zkoušku FCEcs, en3Povinně volitelnýHumanitní předmětano
FITDějiny a filozofie technikycs, en3Povinně volitelnýHumanitní předmětano
HKOKomunikační dovednostics, en3Povinně volitelnýHumanitní předmětano
HKAKonflikty a asertivitacs3Povinně volitelnýHumanitní předmětano
PRMPrávní minimumcs, en3Povinně volitelnýHumanitní předmětano
HPRPrezentační dovednostics3Povinně volitelnýHumanitní předmětano
RETRétorikacs, en3Povinně volitelnýHumanitní předmětano
HVRVedení a řízení lidícs, en3Povinně volitelnýHumanitní předmětano
SFCSoft Computingcs5Povinně volitelnýNekonvenční výpočetní modelyano
AISAnalýza a návrh informačních systémůcs5Volitelnýano
ACHArchitektura procesorůcs5Volitelnýano
BMSBezdrátové a mobilní sítěcs5Volitelnýano
BIOBiometrické systémycs, en5Volitelnýano
C3PDiagnostika Cisco sítí (TSHOOT)cs5Volitelnýano
EIPEkonomie informačních produktůcs5Volitelnýano
GZNGrafická a zvuková rozhraní a normycs5Volitelnýano
GJAGrafická uživatelská rozhraní v Javěcs, en5Volitelnýano
GUXGrafická uživatelská rozhraní v X Windowcs5Volitelnýano
GMUGrafické a multimediální procesorycs5Volitelnýano
HSCHardware/Software Codesigncs, en5Volitelnýano
SENInteligentní senzorycs5Volitelnýano
SINInteligentní systémycs5Volitelnýano
MMOBModelování biologických systémůcs4Volitelnýne
PGRPočítačová grafikacs, en5Volitelnýano
POVaPočítačové vidění (v angličtině)en5Volitelnýano
PGPaPokročilá počítačová grafika (v angličtině)en5Volitelnýano
PCSPokročilé číslicové systémycs5Volitelnýano
PDBPokročilé databázové systémycs, en5Volitelnýano
PKSPokročilé komunikační systémycs5Volitelnýano
PDIProstředí distribuovaných aplikacícs, en5Volitelnýano
ROSaReal-time operační systémy (v angličtině)en5Volitelnýano
ROBaRobotika (v angličtině)en5Volitelnýano
SMTSeminář matematických strukturcs2Volitelnýano
SRIStrategické řízení informačních systémůcs5Volitelnýano
TAMaTvorba aplikací pro mobilní zařízení (v angličtině)en5Volitelnýano
VINVýtvarná informatikacs5Volitelnýano
ZPXZahraniční odborná praxeen5Volitelnýano
ZZNZískávání znalostí z databázícs5Volitelnýano
ZPJaZpracování přirozeného jazyka (v angličtině)en5Volitelnýne
Libovolný ročník, letní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
FLPFunkcionální a logické programovánícs5Povinnýano
LOGLogikacs5Povinnýano
PRLParalelní a distribuované algoritmycs5Povinnýano
PESPetriho sítěcs5Povinnýano
VNVVysoce náročné výpočtycs, en5Povinnýano
KKOKódování a komprese datcs5Povinně volitelnýKryptografie, kódování a bezpečnostano
KRYKryptografiecs5Povinně volitelnýKryptografie, kódování a bezpečnostano
JA3Anglická konverzace na aktuální tématacs, en3Povinně volitelnýHumanitní předmětano
AEUAngličtina pro Evropucs, en3Povinně volitelnýHumanitní předmětano
FITDějiny a filozofie technikycs, en3Povinně volitelnýHumanitní předmětne
FIKFilozofie a kulturacs, en3Povinně volitelnýHumanitní předmětano
HKOKomunikační dovednostics, en3Povinně volitelnýHumanitní předmětano
HKAKonflikty a asertivitacs3Povinně volitelnýHumanitní předmětano
PRMPrávní minimumcs, en3Povinně volitelnýHumanitní předmětano
HPRPrezentační dovednostics3Povinně volitelnýHumanitní předmětano
RETRétorikacs, en3Povinně volitelnýHumanitní předmětano
HVRVedení a řízení lidícs, en3Povinně volitelnýHumanitní předmětano
DJADynamické jazykycs5Povinně volitelnýProgramovací jazyky a výpočetní složitostano
SLOaSložitost (v angličtině)en5Povinně volitelnýProgramovací jazyky a výpočetní složitostano
OPMOptimalizacecs4Povinně volitelnýModelování, simulace a optimalizaceano
SNTSimulační nástroje a technikycs5Povinně volitelnýModelování, simulace a optimalizaceano
SSPStochastické procesycs4Povinně volitelnýModelování, simulace a optimalizaceano
AGSAgentní a multiagentní systémycs5Povinně volitelnýNekonvenční výpočetní modelyano
BINBiologií inspirované počítačecs5Povinně volitelnýNekonvenční výpočetní modelyano
EVOAplikované evoluční algoritmycs5Volitelnýano
ARCArchitektura a programování paralelních systémůcs5Volitelnýano
BZABezpečná zařízenícs5Volitelnýano
BIFBioinformatikacs5Volitelnýano
DFAaDigitální forenzní analýza (v angličtině)en5Volitelnýano
FVSFunkční verifikace číslicových systémůcs5Volitelnýne
FYOFyzikální optikacs, en5Volitelnýano
GISGeografické informační systémycs5Volitelnýano
WAPInternetové aplikacecs5Volitelnýano
MPRManagement projektůcs5Volitelnýano
MEKManažerská ekonomikacs5Volitelnýano
HMRMarketingcs5Volitelnýano
MMATMaticový a tenzorový početcs5Volitelnýano
MULMultimédiacs, en5Volitelnýano
NAVNávrh externích adaptérů a vestavěných systémůcs5Volitelnýano
NSBNávrh, správa a bezpečnostcs5Volitelnýano
PISPokročilé informační systémycs5Volitelnýano
POSPokročilé operační systémycs5Volitelnýano
PMAProjektový manažercs5Volitelnýano
PDSPřenos dat, počítačové sítě a protokolycs, en5Volitelnýano
C2PSítě s vícevrstevným přepínáním (SWITCH)cs5Volitelnýne
C1PSměrování v rozsáhlých sítích (ROUTE)cs5Volitelnýano
SPPSystémy odolné proti poruchámcs5Volitelnýano
UXIaUživatelská zkušenost a návrh rozhraní a služeb (v angličtině)en5Volitelnýano
VIZaVizualizace a CAD (v angličtině)en5Volitelnýano
VYFVýpočetní fotografiecs5Volitelnýano
VGEVýpočetní geometriecs, en5Volitelnýano
MMZSVyšší metody zpracování signálůcs6Volitelnýano
ZPXZahraniční odborná praxeen5Volitelnýano
ZPOZpracování obrazucs, en5Volitelnýano
ZREZpracování řečových signálůcs, en5Volitelnýano
Všechny skupiny volitelných předmětů
Sk. Počet předm. Předměty
Kryptografie, kódování a bezpečnost 1 - 9 BIS, KKO, KRY
Humanitní předmět 1 JA3 zimní/letní sem., AEU zimní/letní sem., FCE, FIT zimní/letní sem., HKO zimní/letní sem., HKA zimní/letní sem., PRM zimní/letní sem., HPR zimní/letní sem., RET zimní/letní sem., HVR zimní/letní sem., FIK
Programovací jazyky a výpočetní složitost 1 - 9 DJA, SLOa
Modelování, simulace a optimalizace 1 - 9 OPM, SNT, SSP
Nekonvenční výpočetní modely 1 - 9 SFC, AGS, BIN