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.6.2014Akreditace do: 31.12.2022
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)
Zkratka | Název | J. | Kr. | Sem. | Pov. | Uk. | Sk. | Ot. |
---|---|---|---|---|---|---|---|---|
MAT | Matematické struktury v informatice | cs | 5 | zimní | Povinný | zk | ano | |
TIN | Teoretická informatika | cs | 5 | zimní | Povinný | zá,zk | ano | |
STI | Seminář teoretické informatiky | cs | 2 | zimní | Volitelný | zá | ano |
Zkratka | Název | J. | Kr. | Sem. | Pov. | Uk. | Sk. | Ot. |
---|---|---|---|---|---|---|---|---|
PP1 | Projektová praxe 1 | cs | 5 | letní | Volitelný | zá | ano |
Zkratka | Název | J. | Kr. | Sem. | Pov. | Uk. | Sk. | Ot. |
---|---|---|---|---|---|---|---|---|
SEP | Semestrální projekt | cs | 5 | zimní | Povinný | kl | ano | |
PP2 | Projektová praxe 2 | cs | 5 | zimní | Volitelný | kl | ano |
Zkratka | Název | J. | Kr. | Sem. | Pov. | Uk. | Sk. | Ot. |
---|---|---|---|---|---|---|---|---|
DIP | Diplomová práce | cs | 13 | letní | Povinný | zá | ano |
Zkratka | Název | J. | Kr. | Sem. | Pov. | Uk. | Sk. | Ot. |
---|---|---|---|---|---|---|---|---|
FAV | Formální analýza a verifikace | cs | 5 | zimní | Povinný | zá,zk | ano | |
GAL | Grafové algoritmy | cs | 5 | zimní | Povinný | zk | ano | |
THE | Teorie her | cs | 4 | zimní | Povinný | zá,zk | ano | |
VYPa | Výstavba překladačů (v angličtině) | en | 5 | zimní | Povinný | zk | ano | |
JA3 | Anglická konverzace na aktuální témata | cs | 3 | zimní | Povinně volitelný | zá,zk | ano | |
AEU | Angličtina pro Evropu | cs | 3 | zimní | Povinně volitelný | zá,zk | ano | |
FCE | Angličtina: příprava na zkoušku FCE | cs | 3 | zimní | Povinně volitelný | zá | ano | |
BIS | Bezpečnost informačních systémů | cs | 5 | zimní | Povinně volitelný | zá,zk | ano | |
FIT | Dějiny a filozofie techniky | cs | 3 | zimní | Povinně volitelný | zá | ano | |
HKO | Komunikační dovednosti | cs | 3 | zimní | Povinně volitelný | zá | ano | |
HKA | Konflikty a asertivita | cs | 3 | zimní | Povinně volitelný | zá | ano | |
PRM | Právní minimum | cs | 3 | zimní | Povinně volitelný | zá | ano | |
HPR | Prezentační dovednosti | cs | 3 | zimní | Povinně volitelný | zá | ano | |
HPO | Psychologie osobnosti | cs | 3 | zimní | Povinně volitelný | zá | ano | |
RET | Rétorika | cs | 3 | zimní | Povinně volitelný | zá | ano | |
SFC | Soft Computing | cs | 5 | zimní | Povinně volitelný | zá,zk | ano | |
HVR | Vedení a řízení lidí | cs | 3 | zimní | Povinně volitelný | zá | ano | |
AIS | Analýza a návrh informačních systémů | cs | 5 | zimní | Volitelný | zá,zk | ano | |
ACH | Architektura procesorů | cs | 5 | zimní | Volitelný | zá,zk | ano | |
BMS | Bezdrátové a mobilní sítě | cs | 5 | zimní | Volitelný | zá,zk | ano | |
BIO | Biometrické systémy | cs | 5 | zimní | Volitelný | zá,zk | ano | |
C3P | Diagnostika Cisco sítí (TSHOOT) | cs | 5 | zimní | Volitelný | kl | ano | |
EIP | Ekonomie informačních produktů | cs | 5 | zimní | Volitelný | zk | ano | |
GZN | Grafická a zvuková rozhraní a normy | cs | 5 | zimní | Volitelný | zk | ano | |
GJA | Grafická uživatelská rozhraní v Javě | cs | 5 | zimní | Volitelný | zá,zk | ano | |
GUX | Grafická uživatelská rozhraní v X Window | cs | 5 | zimní | Volitelný | zk | ano | |
GMU | Grafické a multimediální procesory | cs | 5 | zimní | Volitelný | zá,zk | ano | |
HSC | Hardware/Software Codesign | cs | 5 | zimní | Volitelný | zá,zk | ano | |
SEN | Inteligentní senzory | cs | 5 | zimní | Volitelný | zá,zk | ano | |
SIN | Inteligentní systémy | cs | 5 | zimní | Volitelný | zk | ano | |
MMOB | Modelování biologických systémů | cs | 4 | zimní | Volitelný | zá,zk | ne | |
PGR | Počítačová grafika | cs | 5 | zimní | Volitelný | zk | ano | |
POVa | Počítačové vidění (v angličtině) | en | 5 | zimní | Volitelný | zk | ano | |
PGPa | Pokročilá počítačová grafika (v angličtině) | en | 5 | zimní | Volitelný | zk | ano | |
PCS | Pokročilé číslicové systémy | cs | 5 | zimní | Volitelný | zk | ano | |
PDB | Pokročilé databázové systémy | cs | 5 | zimní | Volitelný | zá,zk | ano | |
PKS | Pokročilé komunikační systémy | cs | 5 | zimní | Volitelný | zá,zk | ano | |
PDI | Prostředí distribuovaných aplikací | cs | 5 | zimní | Volitelný | zk | ano | |
ROSa | Real-time operační systémy (v angličtině) | en | 5 | zimní | Volitelný | zk | ano | |
ROBa | Robotika (v angličtině) | en | 5 | zimní | Volitelný | zk | ano | |
SMT | Seminář matematických struktur | cs | 2 | zimní | Volitelný | zá | ano | |
SRI | Strategické řízení informačních systémů | cs | 5 | zimní | Volitelný | zk | ano | |
TAMa | Tvorba aplikací pro mobilní zařízení (v angličtině) | en | 5 | zimní | Volitelný | kl | ano | |
VIN | Výtvarná informatika | cs | 5 | zimní | Volitelný | kl | ano | |
ZPX | Zahraniční odborná praxe | en | 5 | zimní | Volitelný | zá | ano | |
ZZN | Získávání znalostí z databází | cs | 5 | zimní | Volitelný | zá,zk | ano | |
ZPJa | Zpracování přirozeného jazyka (v angličtině) | en | 5 | zimní | Volitelný | zk | ne |
Zkratka | Název | J. | Kr. | Sem. | Pov. | Uk. | Sk. | Ot. |
---|---|---|---|---|---|---|---|---|
FLP | Funkcionální a logické programování | cs | 5 | letní | Povinný | zá,zk | ano | |
LOG | Logika | cs | 5 | letní | Povinný | zá,zk | ano | |
PRL | Paralelní a distribuované algoritmy | cs | 5 | letní | Povinný | zá,zk | ano | |
PES | Petriho sítě | cs | 5 | letní | Povinný | zk | ano | |
VNV | Vysoce náročné výpočty | cs | 5 | letní | Povinný | zk | ano | |
AGS | Agentní a multiagentní systémy | cs | 5 | letní | Povinně volitelný | zk | ano | |
JA3 | Anglická konverzace na aktuální témata | cs | 3 | letní | Povinně volitelný | zá,zk | ano | |
AEU | Angličtina pro Evropu | cs | 3 | letní | Povinně volitelný | zá,zk | ano | |
BIN | Biologií inspirované počítače | cs | 5 | letní | Povinně volitelný | zk | ano | |
FIT | Dějiny a filozofie techniky | cs | 3 | letní | Povinně volitelný | zá | ne | |
DJA | Dynamické jazyky | cs | 5 | letní | Povinně volitelný | zk | ano | |
FIK | Filozofie a kultura | cs | 3 | letní | Povinně volitelný | zá | ano | |
KKO | Kódování a komprese dat | cs | 5 | letní | Povinně volitelný | zá,zk | ano | |
HKO | Komunikační dovednosti | cs | 3 | letní | Povinně volitelný | zá | ano | |
HKA | Konflikty a asertivita | cs | 3 | letní | Povinně volitelný | zá | ano | |
KRY | Kryptografie | cs | 5 | letní | Povinně volitelný | zá,zk | ano | |
OPM | Optimalizace | cs | 4 | letní | Povinně volitelný | zá,zk | ano | |
PRM | Právní minimum | cs | 3 | letní | Povinně volitelný | zá | ano | |
HPR | Prezentační dovednosti | cs | 3 | letní | Povinně volitelný | zá | ano | |
HPO | Psychologie osobnosti | cs | 3 | letní | Povinně volitelný | zá | ano | |
RET | Rétorika | cs | 3 | letní | Povinně volitelný | zá | ano | |
SNT | Simulační nástroje a techniky | cs | 5 | letní | Povinně volitelný | zá,zk | ano | |
SLOa | Složitost (v angličtině) | en | 5 | letní | Povinně volitelný | zk | ano | |
SSP | Stochastické procesy | cs | 4 | letní | Povinně volitelný | zá,zk | ano | |
HVR | Vedení a řízení lidí | cs | 3 | letní | Povinně volitelný | zá | ano | |
EVO | Aplikované evoluční algoritmy | cs | 5 | letní | Volitelný | zk | ano | |
ARC | Architektura a programování paralelních systémů | cs | 5 | letní | Volitelný | zá,zk | ano | |
BZA | Bezpečná zařízení | cs | 5 | letní | Volitelný | zk | ano | |
BIF | Bioinformatika | cs | 5 | letní | Volitelný | zk | ano | |
DFAa | Digitální forenzní analýza (v angličtině) | en | 5 | letní | Volitelný | zk | ano | |
FVS | Funkční verifikace číslicových systémů | cs | 5 | letní | Volitelný | zk | ne | |
FYO | Fyzikální optika | cs | 5 | letní | Volitelný | zk | ano | |
GIS | Geografické informační systémy | cs | 5 | letní | Volitelný | zá,zk | ano | |
WAP | Internetové aplikace | cs | 5 | letní | Volitelný | zá,zk | ano | |
MPR | Management projektů | cs | 5 | letní | Volitelný | zá,zk | ano | |
MEK | Manažerská ekonomika | cs | 5 | letní | Volitelný | zá,zk | ano | |
HMR | Marketing | cs | 5 | letní | Volitelný | zá,zk | ano | |
MMAT | Maticový a tenzorový počet | cs | 5 | letní | Volitelný | zá,zk | ano | |
MUL | Multimédia | cs | 5 | letní | Volitelný | zk | ano | |
NAV | Návrh externích adaptérů a vestavěných systémů | cs | 5 | letní | Volitelný | zk | ano | |
NSB | Návrh, správa a bezpečnost | cs | 5 | letní | Volitelný | zá,zk | ano | |
PIS | Pokročilé informační systémy | cs | 5 | letní | Volitelný | zá,zk | ano | |
POS | Pokročilé operační systémy | cs | 5 | letní | Volitelný | zk | ano | |
PMA | Projektový manažer | cs | 5 | letní | Volitelný | kl | ano | |
PDS | Přenos dat, počítačové sítě a protokoly | cs | 5 | letní | Volitelný | zk | ano | |
C2P | Sítě s vícevrstevným přepínáním (SWITCH) | cs | 5 | letní | Volitelný | kl | ne | |
C1P | Směrování v rozsáhlých sítích (ROUTE) | cs | 5 | letní | Volitelný | kl | ano | |
STM | Strategický management | cs | 5 | letní | Volitelný | zá,zk | ano | |
SPP | Systémy odolné proti poruchám | cs | 5 | letní | Volitelný | zá,zk | ano | |
UXIa | Uživatelská zkušenost a návrh rozhraní a služeb (v angličtině) | en | 5 | letní | Volitelný | kl | ano | |
VIZa | Vizualizace a CAD (v angličtině) | en | 5 | letní | Volitelný | kl | ano | |
VYF | Výpočetní fotografie | cs | 5 | letní | Volitelný | kl | ano | |
VGE | Výpočetní geometrie | cs | 5 | letní | Volitelný | zk | ano | |
MMZS | Vyšší metody zpracování signálů | cs | 6 | letní | Volitelný | zá,zk | ano | |
ZPX | Zahraniční odborná praxe | en | 5 | letní | Volitelný | zá | ano | |
ZPO | Zpracování obrazu | cs | 5 | letní | Volitelný | zk | ano | |
ZRE | Zpracování řečových signálů | cs | 5 | letní | Volitelný | zk | ano |