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

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.

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
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

1. ročník, letní semestr
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

2. ročník, zimní semestr
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

2. ročník, letní semestr
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

libovolný ročník, zimní semestr
Zkr	Název	Kr	Pov	Zak	Fa
AEC	Efektivní čtení odborných anglických textů	3	PV	ZaZk	FIT
AEU	Angličtina pro Evropu	3	PV	ZaZk	FIT
AJE	Akademické jazykové dovednosti se zaměřením na elektroinženýrství a informatiku	3	PV	ZaZk	FIT
ASA	Angličtina pro Severní Ameriku	3	PV	ZaZk	FIT
BIS	Bezpečnost informačních systémů	5	PV	Zk	FIT
FIT	Dějiny a filozofie techniky	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	Zk	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
CP2	Zabezpečení sítí WAN (CCNP2)	4	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
KRG	Kreativní grafika	4	V	Klz	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
SRE	Systémy zpracování řeči	5	V	Zk	FIT
SRI	Strategické řízení informačních systémů	5	V	ZaZk	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
AEC	Efektivní čtení odborných anglických textů	3	PV	ZaZk	FIT
AEU	Angličtina pro Evropu	3	PV	ZaZk	FIT
AGS	Agentní a multiagentní systémy	5	PV	Zk	FIT
AJE	Akademické jazykové dovednosti se zaměřením na elektroinženýrství a informatiku	3	PV	ZaZk	FIT
ASA	Angličtina pro Severní Ameriku	3	PV	ZaZk	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
KKO	Kódování a komprese dat	5	PV	ZaZk	FIT
KRY	Kryptografie	5	PV	ZaZk	FIT
PRM	Právní minimum	3	PV	Za	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
SSP	Stochastické procesy	4	PV	ZaZk	FIT
ARC	Architektura a programování paralelních systémů	5	V	ZaZk	FIT
BIF	Bioinformatika	5	V	Zk	FIT
CP4	Optimalizované a konvergentní sítě (CCNP4)	4	V	Klz	FIT
EVO	Aplikované evoluční algoritmy	5	V	Zk	FIT
FSY	Fuzzy systémy pro řízení a modelování	5	V	ZaZk	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
MOB	Modelování biologických systémů	5	V	ZaZk	FIT
MPR	Management projektů	5	V	Zk	FIT
MUL	Multimédia	5	V	Zk	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
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
VIN	Výtvarná informatika	5	V	Zk	FIT
VIZ	Vizualizace a CAD	5	V	Zk	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

1. ročník, letní 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