Detail oboru

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

FITZkratka: MMMAk. rok: 2012/2013

Program: Informační technologie

Délka studia:

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í

  • 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
2. ročník, zimní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
SEPSemestrální projektcs, en5PovinnýklPR - 65ano
2. ročník, letní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
DIPDiplomový projektcs, en13PovinnýPR - 169ano