Study section

Compulsory courses

Blok - Obligatory Subjects
predmety platné pre všetkých študentov
Skratka	Názov	Akt.	Kredit	Rozsah	Ukonč.	Roč.	Sem.	Podmieňujúce	Vyučujúci
FMFI.KI/2-INF-920/00	Diploma Thesis Seminar (1)		2	2S	H	1	W
FMFI.KI/2-INF-166/15	MSc Project		6	2S	H	1	S		Kráľovič
FMFI.KI/2-INF-106/00	Informatics and Society		4	2L	H	1	S		Rovan, Illek
FMFI.KI/2-INF-921/00	Diploma Thesis Seminar (2)		2	2S	H	2	W	FMFI.KI/2-INF-920/00
FMFI.KI/2-INF-922/00	Diploma Thesis Seminar (3)		2	2S	H	2	S	FMFI.KI/2-INF-921/00

Blok - Obligatory Subjects
predmety pre študentov začínajúcich štúdium v akademickom roku 2014/15 alebo skôr
Skratka	Názov	Akt.	Kredit	Rozsah	Ukonč.	Roč.	Sem.	Podmieňujúce	Vyučujúci
FMFI.KI/1-INF-167/15	Computational Complexity and Computability		6	3L + 1P	H	1	W		Ďuriš
FMFI.KI/2-INF-500/11	Databases		6	3L + 1LP	H	1	S		Plachetka, Šturc, Mazák
FMFI.KI/2-INF-222/00	Object Analysis and Modelling		6	3L + 1P	H	2	W		Lukoťka
FMFI.KI/2-INF-910/00	Diploma Thesis		9		H	2	S		Kráľovič, Ďuriš

Compulsory elective courses

Blok - Obligatory-Optional Subjects									Min. 72 Kreditov
predmety pre študentov začínajúcich štúdium v akademickom roku 2015/16 alebo neskôr
Skratka	Názov	Akt.	Kredit	Rozsah	Ukonč.	Roč.	Sem.	Podmieňujúce	Vyučujúci
FMFI.KI/2-INF-123/15	Formal Semantics and Theory of Correctness		5	3L	H	1	W		Prívara
FMFI.KI/2-INF-179/15	Concurrent and Distributed Programming and Systems (1)		6	4C	H	1	W		Plachetka, Kráľovič
FMFI.KI/2-INF-178/15	Cryptology (1)		6	4L	H	1	W		Stanek
FMFI.KI+KMANM/2-INF-177/15	Mathematical Analysis (3)		6	3L + 1P	H	1	W		Rostás
FMFI.KAI+KI/1-BIN-301/15	Methods in Bioinformatics		6	2L + 2P	H	1	W		Brejová, Vinař
FMFI.KAMŠ/2-INF-175/15	Probability and Statistics		5	3L + 1P	H	1	W		Filová
FMFI.KAI/2-INF-150/15	Machine Learning		6	4L	H	1	W		Petrovič, Boža
FMFI.KI/2-INF-174/15	Graph Theory		6	3L + 1P	H	1	W		Škoviera, Mačajová
FMFI.KI/2-INF-176/15	Unix for System Administrators		6	2L + 2P	H	1	W		Janáček
FMFI.KAGDM/2-INF-182/15	Algebra (3)		4	2L + 1P	H	1	S		Guričan
FMFI.KI/2-INF-500/11	Databases		6	3L + 1LP	H	1	S		Plachetka, Šturc, Mazák
FMFI.KI/2-INF-231/00	Efficient Parallel Algorithms		6	4L	H	1	S		Kráľovič
FMFI.KI/2-INF-186/15	Formal Languages and Automata (2)		6	3L + 2P	H	1	S		Rovan, Kostolányi
FMFI.KI+KAI/2-INF-185/15	Data Sources Integration		4	1L + 2P	H	1	S		Brejová, Vinař, Boža
FMFI.KI/2-INF-114/00	Mathematical Logic		6	4L	H	1	S		Toman
FMFI.KMANM/2-INF-181/15	Numerical Mathematics		4	3C	H	1	S		Chocholatý
FMFI.KI/2-INF-133/00	Probabilistic Methods		6	4L	H		S		Toman
FMFI.KI/2-INF-184/15	Programming Languages	!	5	2L + 2P	H	1	S		Ostertág
FMFI.KI/2-INF-145/15	Creating Internet Applications		6	2L + 2P	H	1	S		Ostertág, Hozza
FMFI.KAI/2-AIN-137/15	Artificial Intelligence		6	2L + 2P	H	1	S		Markošová
FMFI.KI/2-INF-187/15	Introduction to Theory of Programming	!	4	4C	H	1	S		Prívara
FMFI.KI/2-INF-237/00	Selected Topics in Data Structures		6	4L	H	1	S		Brejová
FMFI.KI/2-INF-221/15	Approximation of Optimisation Problems		6	4C	H	2	W		Kráľovič
FMFI.KI/2-INF-113/00	Combinatorial Analysis (2)		6	4L	H	2	W		Olejár
FMFI.KI/2-INF-155/00	Combinatorial Structures	!	6	4L	H	2	W		Škoviera
FMFI.KI/2-INF-144/15	Compilers		6	3L + 1P	H	2	W		Ostertág
FMFI.KI/2-INF-222/00	Object Analysis and Modelling		6	3L + 1P	H	2	W		Lukoťka
FMFI.KAMŠ/1-EFM-340/13	Computer Statistics		3	2L	H	2	W	FMFI.KAMŠ/1-MAT-282/00 *(2)	Somorčík
FMFI.KI/2-INF-183/15	Computer Networks (2)	!	4	2L + 1P	H		W		Janáček
FMFI.KI/2-INF-223/15	IT Security Management	!	6	4L	H	2	W		Olejár
FMFI.KI/2-INF-224/15	Theory of Information and Theory of Coding (1)		4	2L	H	2	W		Olejár
FMFI.KI/2-INF-122/00	Theory of Parallel Computations		6	4L	H	2	W		Rovan
FMFI.KI/2-INF-262/15	IT Infrastructure Security		4	2L	H	2	S		Stanek, Janáček, Ostertág
FMFI.KI/2-INF-127/00	Formal Specifications		6	4L	H	2	S		Prívara
FMFI.KI/2-INF-180/15	Concurrent and Distributed Programming and Systems (2)		6	4C	H	2	S		Plachetka, Kráľovič
FMFI.KI/2-INF-235/15	Cryptology (2)	!	4	2C	H	2	S		Stanek
FMFI.KAI/2-INF-126/00	Models of Concurrent Systems		6	3L + 1P	H	2	S		Gruska
FMFI.KAI/2-AIN-132/15	Neural Networks		6	2L + 2P	H	2	S		Farkaš
FMFI.KI/2-INF-135/15	Randomized Algorithms		6	4C	H	2	S		Pardubská
FMFI.KI/2-INF-225/15	Theory of Information and Theory of Coding (2)		4	2L	H	2	S	FMFI.KI/2-INF-224/15	Olejár
FMFI.KI/2-INF-121/15	Computability Theory		6	4L	H	2	S		Forišek
FMFI.KI/2-INF-156/00	Selected Topics in Theory of Languages		6	4L	H	2	S		Rovan

Blok - Obligatory-Optional Subjects									Min. 42 Kreditov
predmety pre študentov začínajúcich štúdium v akademickom roku 2014/15 alebo skôr
Skratka	Názov	Akt.	Kredit	Rozsah	Ukonč.	Roč.	Sem.	Podmieňujúce	Vyučujúci
FMFI.KI/2-INF-113/00	Combinatorial Analysis (2)		6	4L	H	1	W		Olejár
FMFI.KI/2-INF-122/00	Theory of Parallel Computations		6	4L	H	1	W		Rovan
FMFI.KI/2-INF-123/15	Formal Semantics and Theory of Correctness		5	3L	H	1	W		Prívara
FMFI.KI/2-INF-132/15	Introduction to Distributed Algorithms		4	4L	H	1	W		Kráľovič
FMFI.KI/2-INF-155/00	Combinatorial Structures	!	6	4L	H	1	W		Škoviera
FMFI.KI/2-INF-179/15	Concurrent and Distributed Programming and Systems (1)		6	4C	H	1	W		Plachetka, Kráľovič
FMFI.KI/2-INF-114/00	Mathematical Logic		6	4L	H	1	S		Toman
FMFI.KI/2-INF-127/00	Formal Specifications		6	4L	H	1	S		Prívara
FMFI.KI/2-INF-135/15	Randomized Algorithms		6	4C	H	1	S		Pardubská
FMFI.KI/2-INF-231/00	Efficient Parallel Algorithms		6	4L	H	1	S		Kráľovič
FMFI.KI/2-INF-145/15	Creating Internet Applications		6	2L + 2P	H	1	S		Ostertág, Hozza
FMFI.KI/2-INF-144/15	Compilers		6	3L + 1P	H	2	W		Ostertág
FMFI.KI/2-INF-221/15	Approximation of Optimisation Problems		6	4C	H	2	W		Kráľovič
FMFI.KI/2-INF-224/15	Theory of Information and Theory of Coding (1)		4	2L	H	2	W		Olejár
FMFI.KI/2-INF-225/15	Theory of Information and Theory of Coding (2)		4	2L	H	2	S	FMFI.KI/2-INF-224/15	Olejár
FMFI.KI/2-INF-180/15	Concurrent and Distributed Programming and Systems (2)		6	4C	H	2	S		Plachetka, Kráľovič
FMFI.KI/2-INF-235/15	Cryptology (2)	!	4	2C	H	2	S		Stanek
FMFI.KI/2-INF-236/00	Object Oriented Software Engineering	!	6	3L	H	2	S	FMFI.KI/2-INF-222/00	Červenka

Elective courses

Blok - Physical Education Activities - Electives
Skratka	Názov	Akt.	Kredit	Rozsah	Ukonč.	Roč.	Sem.	Podmieňujúce	Vyučujúci
FMFI.KTV/2-MXX-110/00	Physical Education and Sport (1)		2	2P	H	1	W		Mašlejová, Mókus, Podkonický, Potočný, Leginusová, Kuchár, Ortutay, Sládok, Dovičák
FMFI.KTV/2-MXX-120/00	Physical Education and Sport (2)		2	2P	H	1	S		Mašlejová, Mókus, Podkonický, Potočný, Leginusová, Kuchár, Ortutay, Sládok, Dovičák
FMFI.KTV/2-MXX-210/00	Physical Education and Sport (3)		2	2P	H	2	W		Mašlejová, Mókus, Podkonický, Potočný, Leginusová, Kuchár, Ortutay, Sládok, Dovičák
FMFI.KTV/2-MXX-220/00	Physical Education and Sport (4)		2	2P	H	2	S		Mašlejová, Mókus, Podkonický, Potočný, Leginusová, Kuchár, Ortutay, Sládok, Dovičák
FMFI.KTV/1-MXX-115/15	Sports in Nature (1)		2		H	1	W		Dovičák, Kuchár, Leginusová, Mašlejová, Mókus, Podkonický
FMFI.KTV/1-MXX-115/15	Sports in Nature (1)		2		H	1	S		Dovičák, Kuchár, Leginusová, Mašlejová, Mókus, Podkonický
FMFI.KTV/1-MXX-215/15	Sports in Nature (2)		2		H	2	S		Dovičák, Kuchár, Leginusová, Mašlejová, Mókus, Podkonický
FMFI.KTV/1-MXX-215/15	Sports in Nature (2)		2		H	2	W		Dovičák, Kuchár, Leginusová, Mašlejová, Mókus, Podkonický
V jednom semestri je možné udeliť za výberový predmet „Telesná výchova a šport“ jedno hodnotenie.

Blok - Foreign Languages - Elective
Skratka	Názov	Akt.	Kredit	Rozsah	Ukonč.	Roč.	Sem.	Podmieňujúce	Vyučujúci
FMFI.KJP/1-MXX-161/00	Russian Language (1)		2	2P	H	1	W		Klátiková
FMFI.KJP/1-MXX-141/00	French Language (1)		2	2P	H	1	W		Vilášek
FMFI.KJP/1-MXX-151/00	German Language (1)		2	2P	H	1	W		Vilášek
FMFI.KJP/1-MXX-152/00	German Language (2)		2	2P	H	1	S		Vilášek
FMFI.KJP/1-MXX-142/00	French Language (2)		2	2P	H	1	S		Vilášek
FMFI.KJP/1-MXX-162/00	Russian Language (2)		2	2P	H	1	S		Klátiková
FMFI.KJP/1-MXX-251/00	German Language (3)		2	2P	H	2	W		Vilášek
FMFI.KJP/1-MXX-261/00	Russian Language (3)		2	2P	H	2	W		Klátiková
FMFI.KJP/1-MXX-241/00	French Language (3)		2	2P	H	2	W		Vilášek
FMFI.KJP/1-MXX-242/00	French Language (4)		2	2P	H	2	S		Vilášek
FMFI.KJP/1-MXX-252/00	German Language (4)		2	2P	H	2	S		Vilášek
FMFI.KJP/1-MXX-262/00	Russian Language (4)		2	2P	H	2	S		Klátiková
FMFI.KJP/1-MXX-233/13	English Conversation Course (1)		2	2P	H	1, 2	W		Klátiková
FMFI.KJP/1-MXX-234/13	English Conversation Course (2)		2	2P	H	1, 2	S		Klátiková
Z výberových predmetov magisterského štúdia si študent môže vybrať tie, ktoré neabsolvoval počas bakalárskeho štúdia.

Blok - Electives
Skratka	Názov	Akt.	Kredit	Rozsah	Ukonč.	Roč.	Sem.	Podmieňujúce	Vyučujúci
FMFI.KI/2-INF-130/00	Service Oriented Architectures - Principles and Technologies		4	2L	H	1, 2	W		Withalm, Mederly
FMFI.KI/2-INF-268/15	Database Paradigms	!	3	2C	H	1, 2	W		Kulich
FMFI.KAI/2-AIN-254/15	Fuzzy Inference and Expert Systems		6	4C	H	1, 2	W		Guller
FMFI.KI/2-INF-163/00	Kolmogorov Complexity		4	3L	H	1, 2	W		Pardubská
FMFI.KI/2-INF-173/13	Quantum Information Theory		3	2L	H	1, 2	W		Plesch
FMFI.KAI/2-AIN-206/15	Physical-based Animations and Mathematical Modeling		6	2L + 2IW	H	1, 2	W		Ďurikovič
FMFI.KI/2-INF-267/15	Advanced Efficient Algorithms		4	3L	H	1, 2	W		Forišek
FMFI.KI/2-INF-169/00	Seminar in Informatics (1)		2	2S	H	1, 2	W		Kráľovič, Pardubská
FMFI.KI+KAI/2-AIN-505/10	Seminar in Bioinformatics (1)		2	2S	H	1, 2	W		Vinař
FMFI.KAI+KI/2-AIN-251/10	Seminar in Bioinformatics (3)		2	2S	H	1, 2	W		Vinař
FMFI.KI/2-INF-264/15	Theory of Declarative Programming		6	2L + 2P	H	1, 2	W		Komara
FMFI.KI/2-INF-132/15	Introduction to Distributed Algorithms		4	4L	H	1, 2	W		Kráľovič
FMFI.KAGDM/1-MAT-551/10	Geometry for Graphics (1)		5	4C	H	1, 2	W		Božek
FMFI.KAGDM/2-MPG-101/00	Computer Graphics (1)		5	2L + 2P	H	1, 2	W		Zaťko, Bátorová, Kudličková
FMFI.KAI/1-AIN-470/15	Specification and Verification of Programs	!	6	2L + 2P	H	1, 2	W	FMFI.KAGDM/1-AIN-121/15	Gruska, Komara, Kľuka
FMFI.KAI/2-AIN-112/15	Advanced Image Processing		6	2L + 2P	H	1, 2	W		Černeková, Kučerová
FMFI.KAGDM/2-MPG-203/00	Computational Geometry		5	4C	H	1, 2	W		Chalmovianský
FMFI.KI/2-INF-261/11	IT Based Supply Networks		4	3C	H	1, 2	W		Mederly, Withalm
FMFI.KI/2-INF-151/00	Biologically Motivated Theory of Languages		6	4L	H	1, 2	W		Pardubská
FMFI.KI/2-INF-270/15	Design and Evaluation of User Interfaces		4	2C	H	1, 2	W		Bhatia
FMFI.KAI/2-AIN-253/15	Answer Set Programming		6	2L + 2P	H	1, 2	S	FMFI.KAI/2-AIN-108/15	Šiška, Baláž
FMFI.KAI/2-INF-265/15	Declarative Programming	!	6	2L + 2P	H	1, 2	S		Komara
FMFI.KI/2-INF-154/00	Enumeration of Discrete Structures	!	6	4L	H	1, 2	S		Toman
FMFI.KAI/2-INF-269/15	Genomics	!	4	2L + 1P	H	1, 2	S		Nosek, Vinař
FMFI.KI/2-INF-164/00	IT Quality Management		4	2L	H	1, 2	S		Withalm
FMFI.KI/2-INF-165/00	Management Software Projects		4	2L	H	1, 2	S		Neurath
FMFI.KI/2-INF-236/00	Object Oriented Software Engineering	!	6	3L	H	1, 2	S	FMFI.KI/2-INF-222/00	Červenka
FMFI.KI/2-INF-266/15	Advanced Linux Administration	!	4	3C	H	1, 2	S	FMFI.KI/2-INF-176/15	Janáček
FMFI.KI/2-INF-172/12	Computer Algebra Systems	!	3	2L	H	1, 2	S		Ostertág, Stanek
FMFI.KAI/2-AIN-109/15	Programming of Parallel and Distributed Systems		6	3L + 1P	H	1, 2	S		Gruska
FMFI.KI/2-INF-170/00	Seminar in Informatics (2)		2	2S	H	1, 2	S		Kráľovič, Pardubská
FMFI.KAI+KI/2-AIN-506/10	Seminar in Bioinformatics (2)		2	2S	H	1, 2	S		Brejová, Vinař
FMFI.KI+KAI/2-AIN-252/10	Seminar in Bioinformatics (4)		2	2S	H	1, 2	S		Brejová, Vinař
FMFI.KI/2-INF-263/13	Computer Game Development and Design		4	2C	H	1, 2	S		Ferko
FMFI.KAI/2-AIN-238/15	Graphic Models in Machine Learning	!	4	4L	H	1, 2	S		Vinař
FMFI.KAGDM/2-MPG-102/00	Computer Graphics (2)		5	2L + 2P	H	1, 2	S	FMFI.KAGDM/2-MPG-101/00	Bohdal
FMFI.KZVI/2-INF-117/00	Functional Programming		6	4C	H	1, 2	S		Winczer
FMFI.KZVI/1-AIN-168/15	Web Applications in Praxis		4	2L + 2P	H	1, 2	W		Krupa, Mráz
FMFI.KMANM/1-MMN-255/00	Linear Programming		5	2L + 2P	H	1, 2	S	FMFI.KAGDM/1-MMN-160/00 *(2)	Toma
FMFI.KI/1-INF-315/14	Principles of Reverse Engineering		6	2L + 2P	H	1, 2	S		Lipovský

Študijný plán - Schválený

Akademický rok:	2015/2016
Študijný program:	mINF - Computer Science - (Single degree study, master II. deg., full time form)
Študijný odbor:	9.2.1. - Computer Science, Informatics
Guarantee :	prof. RNDr. Rastislav Kráľovič, PhD. - podprogram Computer Science