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: Akreditace do: 2015 Ukončení přijímání: 2019
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.
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í, Hardware/Software Codesign, 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.
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 |
---|---|---|---|---|---|
FAV | Formální analýza a verifikace | 5 | P | ZaZk | FIT |
HSC | Hardware/Software Codesign | 5 | P | Zk | FIT |
MAT | Matematické struktury v informatice | 5 | P | Zk | FIT |
TIN | Teoretická informatika | 5 | P | ZaZk | FIT |
STI | Seminář teoretické informatiky | 2 | V | Za | FIT |
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
FLP | Funkcionální a logické programování | 5 | P | ZaZk | FIT |
PRL | Paralelní a distribuované algoritmy | 5 | P | ZaZk | FIT |
VNV | Vysoce náročné výpočty | 5 | P | Zk | FIT |
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
GAL | Grafové algoritmy | 5 | P | Zk | FIT |
SEP | Semestrální projekt | 3 | P | Klz | FIT |
THE | Teorie her | 4 | P | ZaZk | FIT |
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
DIP | Diplomový projekt | 10 | P | Za | FIT |
LOG | Logika | 5 | P | ZaZk | FIT |
MSZ | Státní závěrečná zkouška *) | 0 | P | Zk | FIT |
PES | Petriho sítě | 5 | P | Zk | FIT |
Pov: P - povinný, PV - povinně volitelný, D - doporučený, V - volitelný