Detail oboru
Matematické metody v informačních technologiích
Zkratka: MMM
Ak. rok: 2023/2024
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
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.
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.
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í.
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.
- 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
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
MAT | Matematické struktury v informatice *) | 5 | P | Zk | FIT |
TIN | Teoretická informatika | 7 | P | ZaZk | FIT |
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
PP1 | Projektová praxe 1 | 5 | V | Klz | FIT |
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
SEP | Semestrální projekt | 5 | P | Klz | FIT |
PP2 | Projektová praxe 2 | 5 | V | Klz | FIT |
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
DIP | Diplomová práce | 13 | P | Za | FIT |
Pov: P - povinný, PV - povinně volitelný, D - doporučený, V - volitelný
Zkr | Min. předmětů | Max. předmětů | Min.kred | Přes jako | Předměty | Název |
---|---|---|---|---|---|---|
B | 1 | 9 | 0 | V | BIS, KKO, KRY | Kryptografie, kódování a bezpečnost |
H | 1 | 1 | 0 | V | AEU, FCE, FIK, FIT, HKO, HVR, JA3, PRM, RET | Humanitní předmět |
L | 1 | 9 | 0 | V | DJA, SLOa | Programovací jazyky a výpočetní složitost |
M | 1 | 9 | 0 | V | OPM, SNT | Modelování, simulace a optimalizace |
N | 1 | 9 | 0 | V | AGS, BIN, SFC | Nekonvenční výpočetní modely |