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