Detail oboru

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

FITZkratka: MMMAk. rok: 2023/2024

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 - 13ne
TINTeoretická informatikacs7Povinnýzá,zkP - 39 / S - 10 / COZ - 16 / PR - 13ano
1. ročník, letní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
PP1Projektová praxe 1cs, en5VolitelnýklPR - 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.
GALGrafové algoritmycs, en5PovinnýzkP - 39 / PR - 13ano
SAVStatická analýza a verifikacecs5Povinnýzá,zkP - 39 / PR - 13ano
THETeorie hercs5Povinnýzá,zkP - 26 / PR - 26ano
VYPaVýstavba překladačů (v angličtině)en5PovinnýzkP - 39 / PR - 13ano
BISBezpečnost informačních systémůcs5Povinně volitelnýzá,zkP - 39 / PR - 13Kryptografie, kódování a bezpečnostano
JA3Anglická konverzace na aktuální tématacs, en3Povinně volitelnýzá,zkCj - 26Humanitní předmětano
FCEAngličtina: praktický kurz obchodní konverzace a prezentacecs, en3Povinně volitelnýCOZ - 26Humanitní předmětano
AEUAngličtina pro Evropucs, en3Povinně volitelnýzá,zkCj - 26Humanitní předmětano
FITDějiny a filozofie technikycs2Povinně volitelnýP - 26Humanitní předmětano
FIKFilozofie a kulturacs2Povinně volitelnýCOZ - 26Humanitní předmětano
HKOManažerská komunikace a prezentacecs, en3Povinně volitelnýCOZ - 26Humanitní předmětano
HVRManažerské vedení lidí a řízení časucs, en3Povinně volitelnýCOZ - 26Humanitní předmětano
PRMPrávní minimumcs2Povinně volitelnýP - 26Humanitní předmětano
RETRétorikacs2Povinně volitelnýP - 26Humanitní předmětano
AGSAgentní a multiagentní systémycs5Povinně volitelnýzkP - 26 / Cp - 13 / PR - 13Nekonvenční výpočetní modelyano
SFCSoft Computingcs5Povinně volitelnýzá,zkP - 26 / PR - 26Nekonvenční výpočetní modelyano
AISAnalýza a návrh informačních systémůcs5Volitelnýzá,zkP - 39 / PR - 13ano
AVSArchitektury výpočetních systémůcs5Volitelnýzá,zkP - 26 / Cp - 12 / PR - 14ano
BMSBezdrátové a mobilní sítěcs5Volitelnýzá,zkP - 39 / PR - 13ano
BIOBiometrické systémycs, en5Volitelnýzá,zkP - 39 / L - 6 / PR - 7ano
EIPEkonomie informačních produktůcs5VolitelnýzkP - 26 / COZ - 6 / Cp - 12 / PR - 8ne
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 - 18ne
HSCHardware/Software Codesigncs, en5Volitelnýzá,zkP - 39 / PR - 13ano
SINInteligentní systémycs5VolitelnýzkP - 26 / PR - 26ano
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 / S - 6 / Cp - 6 / PR - 14ano
PKSaPokročilé komunikační systémy (v angličtině)en5Volitelnýzá,zkP - 39 / L - 6 / PR - 7ne
PDIProstředí distribuovaných aplikacícs, en5VolitelnýzkP - 26 / Cp - 6 / PR - 20ano
ROBaRobotika (v angličtině)en5VolitelnýzkP - 26 / L - 12 / PR - 14ano
SEMSenzory a měřenícs5Volitelnýzá,zkP - 26 / COZ - 6 / L - 6 / PR - 14ano
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 - 26ano
Libovolný ročník, letní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
MBAAnalýza systémů založená na modelechcs5PovinnýzkP - 26 / Cp - 10 / PR - 16ano
FLPFunkcionální a logické programovánícs5Povinnýzá,zkP - 26 / S - 26 / Cp - 12 / PR - 14ano
LOGLogikacs5Povinnýzá,zkP - 26 / COZ - 26ano
PRLParalelní a distribuované algoritmycs5Povinnýzá,zkP - 39 / PR - 13ano
VNVVysoce náročné výpočtycs, en5PovinnýzkP - 26 / Cp - 26ano
KKOKódování a komprese datcs5Povinně volitelnýzá,zkP - 26 / PR - 26Kryptografie, kódování a bezpečnostano
KRYKryptografiecs5Povinně volitelnýzá,zkP - 39 / PR - 13Kryptografie, kódování a bezpečnostano
JA3Anglická konverzace na aktuální tématacs, en3Povinně volitelnýzá,zkCj - 26Humanitní předmětano
AEUAngličtina pro Evropucs, en3Povinně volitelnýzá,zkCj - 26Humanitní předmětano
FITDějiny a filozofie technikycs2Povinně volitelnýP - 26Humanitní předmětano
FIKFilozofie a kulturacs2Povinně volitelnýCOZ - 26Humanitní předmětano
HKOManažerská komunikace a prezentacecs, en3Povinně volitelnýCOZ - 26Humanitní předmětano
HVRManažerské vedení lidí a řízení časucs, en3Povinně volitelnýCOZ - 26Humanitní předmětano
PRMPrávní minimumcs2Povinně volitelnýP - 26Humanitní předmětano
RETRétorikacs2Povinně volitelnýP - 26Humanitní předmětano
DJADynamické jazykycs5Povinně volitelnýzkP - 26 / PR - 26Programovací jazyky a výpočetní složitostne
SLOaSložitost (v angličtině)en5Povinně volitelnýzkP - 26 / PR - 26Programovací jazyky a výpočetní složitostano
OPMOptimalizacecs4Povinně volitelnýzá,zkP - 26 / Cp - 13Modelování, simulace a optimalizaceano
SNTSimulační nástroje a technikycs5Povinně volitelnýzá,zkP - 39 / PR - 13Modelování, simulace a optimalizaceano
BINBiologií inspirované počítačecs5Povinně volitelnýzkP - 26 / Cp - 8 / PR - 18Nekonvenční výpočetní modelyano
EVOAplikované evoluční algoritmycs5VolitelnýzkP - 26 / Cp - 12 / PR - 14ano
BZABezpečná zařízenícs5VolitelnýzkP - 39 / PR - 13ano
BIFBioinformatikacs5VolitelnýzkP - 26 / Cp - 12 / PR - 14ano
CSOaCCNA Kybernetická bezpečnost (v angličtině)en5VolitelnýklP - 26 / L - 26ano
DFAaDigitální forenzní analýza (v angličtině)en5VolitelnýzkP - 26 / L - 13 / PR - 13ano
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 - 16ne
WAPInternetové aplikacecs5Volitelnýzá,zkP - 39 / PR - 13ano
MPRManagement projektůcs5Volitelnýzá,zkP - 26 / S - 4 / Cp - 2 / PR - 20ano
MPC-MATMaticový a tenzorový početcs5Volitelnýzá,zkP - 26 / CPP - 18 / PR - 8ano
MULMultimédiacs, en5VolitelnýzkP - 26 / Cp - 13 / PR - 13ano
NSBNávrh, správa a bezpečnostcs5Volitelnýzá,zkP - 26 / L - 12 / PR - 6ano
NAVNávrh vestavěných systémůcs5VolitelnýzkP - 26 / L - 16 / PR - 10ano
PISPokročilé informační systémycs5Volitelnýzá,zkP - 39 / PR - 13ano
POSPokročilé operační systémycs5VolitelnýzkP - 39 / PR - 13ano
PPPPraktické paralelní programovánícs5Volitelnýzá,zkP - 26 / Cp - 16 / PR - 10ano
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 - 26ano
SPPSystémy odolné proti poruchámcs5Volitelnýzá,zkP - 26 / PR - 26ano
RTSaSystémy pracující v reálném čase (v angličtině)en5VolitelnýzkP - 26 / Cp - 10 / PR - 16ano
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
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. 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., FCE, AEU zimní/letní sem., FIT zimní/letní sem., FIK zimní/letní sem., HKO zimní/letní sem., HVR zimní/letní sem., PRM zimní/letní sem., RET zimní/letní sem.
Programovací jazyky a výpočetní složitost 1 - 9 DJA, SLOa
Modelování, simulace a optimalizace 1 - 9 OPM, SNT
Nekonvenční výpočetní modely 1 - 9 AGS, SFC, BIN