Detail oboru

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

Zkratka: MMM

Ak. rok: 2015/2016

Délka studia: 2 roky

Počet kreditů: 120

Program: Informační technologie

Jazyk výuky: česky

Forma studia: prezenční

Akreditace od: 2014 Akreditace do: 2022 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

Vojnar Tomáš, prof. Ing., Ph.D.

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í, 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.

Příklady témat závěrečných prací

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
Zkr	Název	Kr	Pov	Zak	Fa
MAT	Matematické struktury v informatice	5	P	Zk	FIT
TIN	Teoretická informatika	5	P	ZaZk	FIT
STI	Seminář teoretické informatiky	2	V	Za	FIT

2. ročník, zimní semestr
Zkr	Název	Kr	Pov	Zak	Fa
SEP	Semestrální projekt	5	P	Klz	FIT

2. ročník, letní semestr
Zkr	Název	Kr	Pov	Zak	Fa
DIP	Diplomová práce	13	P	Za	FIT

libovolný ročník, zimní semestr
Zkr	Název	Kr	Pov	Zak	Fa
FAV	Formální analýza a verifikace	5	P	ZaZk	FIT
GAL	Grafové algoritmy	5	P	Zk	FIT
THE	Teorie her	4	P	ZaZk	FIT
VYPe	Výstavba překladačů (v angličtině)	5	P	Zk	FIT
AEU	Angličtina pro Evropu	3	PV	ZaZk	FIT
BIS	Bezpečnost informačních systémů	5	PV	Zk	FIT
FCE	Angličtina: příprava na zkoušku FCE	3	PV	Za	FIT
FIT	Dějiny a filozofie techniky	3	PV	Za	FIT
HKA	Konflikty a asertivita	3	PV	Za	FIT
HKO	Komunikační dovednosti	3	PV	Za	FIT
HPO	Psychologie osobnosti	3	PV	Za	FIT
HPR	Prezentační dovednosti	3	PV	Za	FIT
HVR	Vedení a řízení lidí	3	PV	Za	FIT
OPM	Optimalizace	4	PV	ZaZk	FIT
PRM	Právní minimum	3	PV	Za	FIT
RET	Rétorika	3	PV	Za	FIT
SFC	Soft Computing	5	PV	ZaZk	FIT
SSP	Stochastické procesy	4	PV	ZaZk	FIT
ACH	Architektura procesorů	5	V	ZaZk	FIT
AIS	Analýza a návrh informačních systémů	5	V	ZaZk	FIT
BIO	Biometrické systémy	5	V	ZaZk	FIT
BMS	Bezdrátové a mobilní sítě	5	V	Zk	FIT
C3P	Diagnostika Cisco sítí (TSHOOT)	5	V	Klz	FIT
EIP	Ekonomie informačních produktů	5	V	Zk	FIT
GMU	Grafické a multimediální procesory	5	V	ZaZk	FIT
GUX	Grafická uživatelská rozhraní v X Window	5	V	Zk	FIT
GZN	Grafická a zvuková rozhraní a normy	5	V	Zk	FIT
HSC	Hardware/Software Codesign	5	V	ZaZk	FIT
KRG	Kreativní grafika	4	V	Klz	FIT
MOB	Modelování biologických systémů	4	V	ZaZk	FIT
PCS	Pokročilé číslicové systémy	5	V	Zk	FIT
PDB	Pokročilé databázové systémy	5	V	ZaZk	FIT
PDI	Prostředí distribuovaných aplikací	5	V	Zk	FIT
PGP	Pokročilá počítačová grafika	5	V	Zk	FIT
PGR	Počítačová grafika	5	V	Zk	FIT
PKS	Pokročilé komunikační systémy	5	V	ZaZk	FIT
POV	Počítačové vidění	5	V	Zk	FIT
ROB	Robotika	5	V	Zk	FIT
ROS	Real-time operační systémy	5	V	Zk	FIT
SEN	Inteligentní senzory	5	V	ZaZk	FIT
SIN	Inteligentní systémy	5	V	Zk	FIT
SRI	Strategické řízení informačních systémů	5	V	Zk	FIT
TAM	Tvorba aplikací pro mobilní zařízení	5	V	Zk	FIT
ZPX	Zahraniční odborná praxe	5	V	Za	FIT
ZZN	Získávání znalostí z databází	5	V	ZaZk	FIT

libovolný ročník, letní semestr
Zkr	Název	Kr	Pov	Zak	Fa
FLP	Funkcionální a logické programování	5	P	ZaZk	FIT
LOG	Logika	5	P	ZaZk	FIT
PES	Petriho sítě	5	P	Zk	FIT
PRL	Paralelní a distribuované algoritmy	5	P	ZaZk	FIT
VNV	Vysoce náročné výpočty	5	P	Zk	FIT
AEU	Angličtina pro Evropu	3	PV	ZaZk	FIT
AGS	Agentní a multiagentní systémy	5	PV	Zk	FIT
BIN	Biologií inspirované počítače	5	PV	Zk	FIT
DJA	Dynamické jazyky	5	PV	Zk	FIT
FIK	Filozofie a kultura	3	PV	Za	FIT
HKA	Konflikty a asertivita	3	PV	Za	FIT
HKO	Komunikační dovednosti	3	PV	Za	FIT
HPO	Psychologie osobnosti	3	PV	Za	FIT
HPR	Prezentační dovednosti	3	PV	Za	FIT
HVR	Vedení a řízení lidí	3	PV	Za	FIT
KKO	Kódování a komprese dat	5	PV	ZaZk	FIT
KRY	Kryptografie	5	PV	ZaZk	FIT
RET	Rétorika	3	PV	Za	FIT
SLO	Složitost	5	PV	Zk	FIT
SNT	Simulační nástroje a techniky	5	PV	ZaZk	FIT
ARC	Architektura a programování paralelních systémů	5	V	ZaZk	FIT
BIF	Bioinformatika	5	V	Zk	FIT
C1P	Směrování v rozsáhlých sítích (ROUTE)	5	V	Klz	FIT
EVO	Aplikované evoluční algoritmy	5	V	Zk	FIT
FVS	Funkční verifikace číslicových systémů	5	V	Zk	FIT
FYO	Fyzikální optika	5	V	Zk	FIT
GIS	Geografické informační systémy	5	V	ZaZk	FIT
GJA	Grafická uživatelská rozhraní v Javě	5	V	Zk	FIT
MAR	Marketing	5	V	ZaZk	FIT
MEK	Manažerská ekonomika	5	V	ZaZk	FIT
MPR	Management projektů	5	V	ZaZk	FIT
MUL	Multimédia	5	V	Zk	FIT
MZS	Vyšší metody zpracování signálů	6	V	ZaZk	FIT
NAV	Návrh externích adaptérů a vestavěných systémů	5	V	Zk	FIT
NSB	Návrh, správa a bezpečnost	5	V	ZaZk	FIT
PDS	Přenos dat, počítačové sítě a protokoly	5	V	Zk	FIT
PIS	Pokročilé informační systémy	5	V	ZaZk	FIT
PMA	Projektový manažer	5	V	Klz	FIT
POS	Pokročilé operační systémy	5	V	Zk	FIT
SPP	Systémy odolné proti poruchám	5	V	ZaZk	FIT
STM	Strategický management	5	V	ZaZk	FIT
SVSe	Specifikace vestavěných systémů (v angličtině)	5	V	Zk	FIT
VGE	Výpočetní geometrie	5	V	Zk	FIT
VIN	Výtvarná informatika	5	V	Zk	FIT
VIZ	Vizualizace a CAD	5	V	Klz	FIT
WAP	Internetové aplikace	5	V	ZaZk	FIT
ZPO	Zpracování obrazu	5	V	Zk	FIT
ZPX	Zahraniční odborná praxe	5	V	Za	FIT
ZRE	Zpracování řečových signálů	5	V	Zk	FIT

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ý

Studijní program

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

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

1. ročník, zimní semestr

2. ročník, zimní semestr

2. ročník, letní semestr

libovolný ročník, zimní semestr

libovolný ročník, letní semestr