Detail oboru

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

Zkratka: MMM

Délka studia: 2 roky

Počet kreditů: 120

Program: Informační technologie

Jazyk výuky: česky

Forma studia: prezenční

Akreditace od: 2005 Akreditace do: 2024 Ukončení přijímání: 2019

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 magisterského studijního programu získá hlubší teoretické znalosti a dovednosti ve zvoleném oboru, a získá tak potřebný znalostní a dovednostní základ pro analýzu, návrh a ověřování řešených problémů jak v badatelské a vědecké, tak i v inženýrské praxi.

Garant
Profil absolventa oboru

Absolvent magisterského studijního programu je připraven samostatně řešit problémy informačních technologií v inženýrské praxi s využitím soudobých poznatků vědy. V praxi se uplatní jako samostatný tvůrčí pracovník daného oboru informačních technologií, tedy v oborech zaměřených na informační systémy a jejich bezpečnost, inteligentní systémy, počítačové systémy, sítě a komunikace, počítačovou grafiku a multimédia nebo vedoucí týmu pracovníků složených z různých oborů informačních technologií.

Rozsah státních závěrečných zkoušek

Státní závěrečná zkouška (SZZ) má dvě části, a to obhajobu diplomové práce a ústní část v podobě odborné rozpravy o zadaných tématických okruzích. Tématické okruhy přitom pokrývají povinné předměty oboru Matematické metody v informačních technologiích. Oborově povinnými předměty jsou Matematické struktury v informatice, Teoretická informatika, Logika, Grafové algoritmy, Paralelní a distribuované algoritmy, Funkcionální a logické programování, Formální analýza a verifikace, Petriho sítě, Vysoce náročné výpočty, Výstavba překladačů a Teorie her. Rada studijního oboru schválí výběr konkrétních tématických okruhů a studenti jsou o těchto tématických okruzích informováni nejméně 2 měsíce před SZZ v daném akademickém roce.

Příklady témat závěrečných prací
  • Formální verifikace korektnosti ovladačů v operačních systémech
  • Automatizované metody hledání chyb v překladačích
  • Automatizovaná podpora pro programování aplikačně specifických procesorů
  • Gramatické systémy s rozptýleným kontextem a zpracování přirozeného jazyka
  • Simulace vybraných jevů v jádru Linuxu s ohledem na výkon operačního systému
  • Aplikace matematické teorie her a simulace při analýze situace na trhu s elektřinou
  • Modelem řízený návrh kritických aplikací založený na teorii systémů
  • Vysoce přesné výpočty v reálném čase
  • Paralelní řešení obyčejných diferenciálních rovnic vyšších řádů
  • Izomorfismus jak v obecných, tak i speciálních grafech.

Diplomové práce jsou uloženy v Knihovně FIT, Božetěchova 2, Brno. Seznam diplomových prací včetně detailů je dostupný na Webu FIT:
https://www.fit.vut.cz/study/theses/.cs

Výběr akademického roku a studijního plánu

1. ročník, zimní semestr

ZkrNázevKrPovZakFa
MATMatematické struktury v informatice *)5PZkFIT
TINTeoretická informatika7PZaZkFIT

1. ročník, letní semestr

ZkrNázevKrPovZakFa
PP1Projektová praxe 15VKlzFIT

2. ročník, zimní semestr

ZkrNázevKrPovZakFa
SEPSemestrální projekt5PKlzFIT
PP2Projektová praxe 25VKlzFIT

2. ročník, letní semestr

ZkrNázevKrPovZakFa
DIPDiplomová práce13PZaFIT

libovolný ročník, zimní semestr

ZkrNázevKrPovZakFa
GALGrafové algoritmy5PZkFIT
SAVStatická analýza a verifikace5PZaZkFIT
THETeorie her5PZaZkFIT
VYPaVýstavba překladačů (v angličtině)5PZkFIT
BISBezpečnost informačních systémů5PVBZaZkFIT
AEUAngličtina pro Evropu3PVHZaZkFIT
FCEAngličtina: praktický kurz obchodní konverzace a prezentace3PVHZaFIT
FIKFilozofie a kultura *)3PVHZaFIT
FITDějiny a filozofie techniky3PVHZaFIT
HKOManažerská komunikace a prezentace3PVHZaFIT
HVRManažerské vedení lidí a řízení času3PVHZaFIT
JA3Anglická konverzace na aktuální témata3PVHZaZkFIT
PRMPrávní minimum3PVHZaFIT
RETRétorika3PVHZaFIT
AGSAgentní a multiagentní systémy5PVNZkFIT
SFCSoft Computing5PVNZaZkFIT
AISAnalýza a návrh informačních systémů5VZaZkFIT
AVSArchitektury výpočetních systémů5VZaZkFIT
BIOBiometrické systémy5VZaZkFIT
BMSBezdrátové a mobilní sítě5VZaZkFIT
EIPEkonomie informačních produktů5VZkFIT
GJAGrafická uživatelská rozhraní v Javě5VZaZkFIT
GMUGrafické a multimediální procesory5VZaZkFIT
GUXGrafická uživatelská rozhraní v X Window5VZkFIT
GZNGrafická a zvuková rozhraní a normy5VZkFIT
HSCHardware/Software Codesign5VZaZkFIT
PCSPokročilé číslicové systémy5VZkFIT
PDBPokročilé databázové systémy5VZaZkFIT
PDIProstředí distribuovaných aplikací5VZkFIT
PGPaPokročilá počítačová grafika (v angličtině)5VZkFIT
PGRPočítačová grafika5VZkFIT
PKSaPokročilé komunikační systémy (v angličtině)5VZaZkFIT
POVaPočítačové vidění (v angličtině)5VZkFIT
ROBaRobotika (v angličtině)5VZkFIT
SEMSenzory a měření5VZaZkFIT
SINInteligentní systémy5VZkFIT
SRIStrategické řízení informačních systémů5VZkFIT
TAMaTvorba aplikací pro mobilní zařízení (v angličtině)5VKlzFIT
VINVýtvarná informatika5VKlzFIT
ZPJaZpracování přirozeného jazyka (v angličtině)5VZkFIT
ZPXZahraniční odborná praxe5VZaFIT
ZZNZískávání znalostí z databází5VZaZkFIT

libovolný ročník, letní semestr

ZkrNázevKrPovZakFa
FLPFunkcionální a logické programování5PZaZkFIT
LOGLogika5PZaZkFIT
MBAAnalýza systémů založená na modelech5PZkFIT
PRLParalelní a distribuované algoritmy5PZaZkFIT
VNVVysoce náročné výpočty5PZkFIT
KKOKódování a komprese dat5PVBZaZkFIT
KRYKryptografie5PVBZaZkFIT
AEUAngličtina pro Evropu3PVHZaZkFIT
FIKFilozofie a kultura3PVHZaFIT
FITDějiny a filozofie techniky *)3PVHZaFIT
HKOManažerská komunikace a prezentace3PVHZaFIT
HVRManažerské vedení lidí a řízení času3PVHZaFIT
JA3Anglická konverzace na aktuální témata3PVHZaZkFIT
PRMPrávní minimum3PVHZaFIT
RETRétorika3PVHZaFIT
DJADynamické jazyky *)5PVLZkFIT
SLOaSložitost (v angličtině)5PVLZkFIT
OPMOptimalizace4PVMZaZkFIT
SNTSimulační nástroje a techniky5PVMZaZkFIT
SSPStochastické procesy4PVMZaZkFSI
BINBiologií inspirované počítače5PVNZkFIT
BIFBioinformatika5VZkFIT
BZABezpečná zařízení5VZkFIT
CSOaCCNA Kybernetická bezpečnost (v angličtině)5VKlzFIT
DFAaDigitální forenzní analýza (v angličtině)5VZkFIT
EVOAplikované evoluční algoritmy5VZkFIT
FVSFunkční verifikace číslicových systémů5VZkFIT
FYOFyzikální optika5VZkFIT
GISGeografické informační systémy *)5VZaZkFIT
MPC-MATMaticový a tenzorový počet5VZaZkFEKT
MPRManagement projektů5VZaZkFIT
MULMultimédia5VZkFIT
NAVNávrh vestavěných systémů5VZkFIT
NSBNávrh, správa a bezpečnost5VZaZkFIT
PDSPřenos dat, počítačové sítě a protokoly5VZkFIT
PISPokročilé informační systémy5VZaZkFIT
PMAProjektový manažer5VKlzFIT
POSPokročilé operační systémy5VZkFIT
PPPPraktické paralelní programování5VZaZkFIT
RTSaSystémy pracující v reálném čase (v angličtině)5VZkFIT
SPPSystémy odolné proti poruchám5VZaZkFIT
UXIaUživatelská zkušenost a návrh rozhraní a služeb (v angličtině)5VKlzFIT
VGEVýpočetní geometrie5VZkFIT
VIZaVizualizace a CAD (v angličtině)5VKlzFIT
VYFVýpočetní fotografie *)5VKlzFIT
WAPInternetové aplikace5VZaZkFIT
ZPOZpracování obrazu5VZkFIT
ZPXZahraniční odborná praxe5VZaFIT
ZREZpracování řečových signálů5VZkFIT
Předmět není v tomto akademickém roce otevřen
Zak: Způsob zakončení předmětu: Zk - zkouška, Za - zápočet, Klz - klas. zápočet, Kol - Kolokvium
Pov: P - povinný, PV - povinně volitelný, D - doporučený, V - volitelný

Skupiny povinně volitelných předmětů

ZkrMin. předmětůMax. předmětůMin.kredPřes jakoPředmětyNázev
B190VBIS, KKO, KRYKryptografie, kódování a bezpečnost
H110VAEU, FCE, FIK, FIT, HKO, HVR, JA3, PRM, RETHumanitní předmět
L190VDJA, SLOaProgramovací jazyky a výpočetní složitost
M190VOPM, SNT, SSPModelování, simulace a optimalizace
N190VAGS, BIN, SFCNekonvenční výpočetní modely
Pokud je povoleno zapsat si více předmětů skupiny PV než je požadované minimum, pak úspěšně absolvované předměty, které překročí Min. předmětů (resp. Min.kred, pokud není 0) skupiny PV, budou studentovi zařazeny jako předměty povinnosti Přes jako.
Nahoru