Study programme - Approved
Academic year:
 2021/2022
Study programme:
 Computer Science (mINF)
(Single degree study, master II. deg., full time form)
Teaching languages: English, Slovak
Study field:
 18. Computer Science
Guarantor:
 prof. RNDr. Rastislav Kráľovič, PhD.

Study section
Compulsory courses

Block: Obligatory Subjects
Subject code Subject title - Teacher Ac. year
/Semester		 Range
and form		 Credits Current
 2-INF-920/00  Diploma Thesis Seminar (1) - B. Rovan 1/W    2S   2    
 2-INF-923/20  Diploma Thesis Seminar (1) B - M. Škoviera 1/S    2S   2    
 2-INF-166/15  MSc Project - R. Kráľovič 1/S    2S   6    
 2-INF-921/00  Diploma Thesis Seminar (2) - M. Stanek, M. Škoviera 2/W    2S   2    
 2-INF-106/00  Informatics and Society - B. Rovan, Ľ. Illek 2/S    2L   4    
 2-INF-922/00  Diploma Thesis Seminar (3) - M. Stanek 2/S    2S   2    
Predmet 2-INF-923 Diplomový seminár (1) B je povinný iba pre študentov, ktorí začali magisterské štúdium v školskom roku 2020/21 alebo neskôr.
 
Compulsory elective courses

Block: Obligatory-Optional Subjects min. 70 credits
Subject code Subject title - Teacher Ac. year
/Semester		 Range
and form		 Credits Current
 2-INF-123/15  Formal Semantics and Theory of Correctness - I. Prívara 1/W    3L   5    
 2-INF-179/15  Concurrent and Distributed Programming and Systems (1) - T. Plachetka 1/W    4C   6    
 2-INF-178/15  Cryptology (1) - M. Stanek 1/W    4L   6    
 2-INF-177/15  Mathematical Analysis (3) - K. Boďová, K. Rostás 1/W    3L + 1P   6   !  
 1-MMN-210/15  Mathematical Analysis (3) - Z. Kubáček, F. Jaroš, K. Rostás 1/W    3L + 2P   6    
 1-BIN-301/15  Methods in Bioinformatics - B. Brejová, T. Vinař, A. Gafurov 1/W    2L + 2P   6    
 2-INF-175/18  Probability and Statistics - R. Harman, L. Filová 1/W    2L + 2P   5    
 2-INF-150/15  Machine Learning - V. Boža, M. Šuppa, T. Vinař 1/W    4L   6    
 2-INF-174/15  Graph Theory - E. Mačajová, M. Škoviera 1/W    3L + 1P   6    
 2-INF-176/15  Unix for System Administrators - J. Janáček, D. Bernát 1/W    2L + 2P   6    
 2-INF-237/00  Selected Topics in Data Structures - J. Kováč, B. Brejová 1/W    4L   6    
 2-AIN-137/15  Artificial Intelligence - M. Markošová 1/S    2L + 2P   6    
 2-INF-182/15  Algebra (3) - M. Sleziak, J. Guričan 1/S    2L + 1P   4    
 2-INF-500/11  Databases - T. Plachetka, J. Mazák 1/S    3L + 1LP   6    
 2-INF-231/00  Efficient Parallel Algorithms - R. Kráľovič 1/S    4L   6    
 2-INF-186/15  Formal Languages and Automata (2) - B. Rovan, Š. Sádovský, L. Kiss 1/S    3L + 2P   6    
 2-INF-114/00  Mathematical Logic - E. Toman 1/S    4L   6   !  
 1-MAT-240/00  Numerical Mathematics (1) - J. Babušíková, P. Mihala 1/S    2L + 2P   5    
 2-INF-133/00  Probabilistic Methods - E. Toman 1/S    4L   6   !  
 2-INF-184/15  Programming Languages - R. Ostertág, A. Goga 1/S    2L + 2P   5    
 2-INF-145/15  Creating Internet Applications - R. Ostertág, A. Gafurov 1/S    2L + 2P   6    
 2-INF-187/15  Introduction to Theory of Programming - I. Prívara 1/S    4C   4    
 2-INF-420/18  Combinatorial Analysis (1) - D. Olejár, M. Stanek, J. Mazák 1/S    4C   6   !  
 1-DAV-202/20  Data Management - B. Brejová, T. Vinař, V. Boža 1/S    1L + 2P   5    
 2-INF-185/15  Data Sources Integration - B. Brejová, T. Vinař, V. Boža 1/S    1L + 2P   4   !  
 2-INF-221/15  Approximation of Optimisation Problems - R. Kráľovič 2/W    4C   6    
 2-INF-155/00  Combinatorial Structures - M. Škoviera 2/W    4L   6   !  
 2-INF-144/15  Compilers - R. Ostertág, L. Kiss 2/W    3L + 1P   6    
 2-INF-222/00  Object Analysis and Modelling - R. Lukoťka 2/W    3L + 1P   6    
 1-EFM-340/13  Computer Statistics - J. Somorčík 2/W    2L   3    
 2-INF-183/15  Computer Networks (2) - J. Janáček 2/W    2L + 1P   4    
 2-INF-223/15  IT Security Management - D. Olejár 2/W    4L   6   !  
 2-INF-224/15  Theory of Information and Theory of Coding (1) - D. Olejár 2/W    2L   4    
 2-INF-122/00  Theory of Parallel Computations - B. Rovan 1, 2/W    4L   6    
 2-INF-267/15  Advanced Efficient Algorithms - M. Foríšek 1, 2/W    3L   4   !  
 2-INF-262/15  IT Infrastructure Security - M. Stanek, J. Janáček, R. Ostertág, M. Rjaško 2/S    2L   4    
 2-INF-127/00  Formal Specifications - I. Prívara 2/S    4L   6    
 2-INF-180/15  Concurrent and Distributed Programming and Systems (2) - T. Plachetka, R. Kráľovič 2/S    4C   6    
 2-INF-235/15  Cryptology (2) - M. Stanek 2/S    2C   4   !  
 2-INF-126/00  Models of Concurrent Systems - D. Gruska 2/S    3L + 1P   6    
 2-AIN-132/15  Neural Networks - I. Farkaš 2/S    2L + 2P   6    
 2-INF-225/15  Theory of Information and Theory of Coding (2) - D. Olejár 2/S    2L   4    
 2-INF-121/15  Computability Theory - D. Pardubská 2/S    4L   6    
 2-INF-113/00  Combinatorial Analysis (2) - D. Olejár 2/S    4L   6    
 2-INF-156/00  Selected Topics in Theory of Languages - B. Rovan 1, 2/S    4L   6    
 2-INF-269/15  Genomics - J. Nosek, T. Vinař, B. Brejová 2/S    2L + 1P   4    
 2-INF-135/15  Randomized Algorithms - D. Pardubská 2/S    4C   6    
 
Elective courses

Block: Physical Education Activities - Electives
Subject code Subject title - Teacher Ac. year
/Semester		 Range
and form		 Credits Current
 2-MXX-110/00  Physical Education and Sport (1) - D. Mašlejová, L. Mókus, J. Leginusová, T. Kuchár, M. Ortutay, M. Dovičák, J. Raábová, B. Nedbálek, T. Lovecký 1/W    2P   2    
 2-MXX-120/00  Physical Education and Sport (2) - M. Dovičák, T. Kuchár, J. Leginusová, D. Mašlejová, L. Mókus, B. Nedbálek, M. Ortutay, J. Raábová, T. Lovecký 1/S    2P   2    
 2-MXX-210/00  Physical Education and Sport (3) - D. Mašlejová, L. Mókus, J. Leginusová, T. Kuchár, M. Ortutay, M. Dovičák, J. Raábová, B. Nedbálek, T. Lovecký 2/W    2P   2    
 2-MXX-220/00  Physical Education and Sport (4) - D. Mašlejová, L. Mókus, J. Leginusová, T. Kuchár, M. Ortutay, M. Dovičák, B. Nedbálek, J. Raábová, T. Lovecký 2/S    2P   2    
 2-MXX-115/17  Sports in Natur (1) - M. Dovičák, T. Kuchár, J. Leginusová, D. Mašlejová, L. Mókus, M. Ortutay, J. Raábová 1/W      2    
 2-MXX-116/18  Sports in Natur (2) - M. Dovičák, T. Kuchár, J. Leginusová, D. Mašlejová, L. Mókus, M. Ortutay, J. Raábová, T. Lovecký 1/S      2    
V jednom semestri je možné udeliť za výberový predmet „Telesná výchova a šport“ jedno hodnotenie.

Block: Foreign Languages - Elective
Subject code Subject title - Teacher Ac. year
/Semester		 Range
and form		 Credits Current
 1-MXX-171/20  Slovak Language for Foreign Students (1) - A. Barnes 1/W    2P   2    
 1-MXX-161/00  Russian Language (1) - V. Mirsalova 1/W    2P   2    
 1-MXX-141/00  French Language (1) - Ľ. Kožehubová 1/W    2P   2    
 1-MXX-151/00  German Language (1) - A. Maďarová, S. Tomášková 1/W    2P   2    
 1-MXX-172/20  Slovak Language for Foreign Students (2) - A. Barnes 1/S    2P   2    
 1-MXX-152/00  German Language (2) - A. Maďarová, S. Tomášková 1/S    2P   2    
 1-MXX-142/00  French Language (2) - Ľ. Kožehubová 1/S    2P   2    
 1-MXX-162/00  Russian Language (2) - V. Mirsalova 1/S    2P   2    
 1-MXX-271/20  Slovak Language for Foreign Students (3) - A. Barnes 2/W    2P   2    
 1-MXX-251/00  German Language (3) - A. Maďarová, S. Tomášková 2/W    2P   2    
 1-MXX-261/00  Russian Language (3) - V. Mirsalova 2/W    2P   2    
 1-MXX-241/00  French Language (3) - Ľ. Kožehubová 2/W    2P   2    
 1-MXX-272/20  Slovak Language for Foreign Students (4) - A. Barnes 2/S    2P   2    
 1-MXX-242/00  French Language (4) - Ľ. Kožehubová 2/S    2P   2    
 1-MXX-252/00  German Language (4) - A. Maďarová, S. Tomášková 2/S    2P   2    
 1-MXX-262/00  Russian Language (4) - V. Mirsalova 2/S    2P   2    
 1-MXX-233/13  English Conversation Course (1) - A. Barnes 1, 2/W    2P   2    
 1-MXX-234/13  English Conversation Course (2) - A. Barnes 1, 2/S    2P   2    
Z výberových predmetov magisterského štúdia si študent môže vybrať tie, ktoré neabsolvoval počas bakalárskeho štúdia a zapisuje si ich iba so súhlasom vyučujúceho.
Predmety 1–MXX–133/18 Doplňujúci kurz anglického jazyka (1) a 1–MXX–134/18 Doplňujúci kurz anglického jazyka (2) si študenti zapisujú len so súhlasom učiteľa.
Aj na zápis predmetov Slovenský jazyk pre zahraničných študentov (1) - (4) potrebuje študent súhlas učiteľa.

Block: Humanities - Elective
Subject code Subject title - Teacher Ac. year
/Semester		 Range
and form		 Credits Current
 2-MXX-130/21  Elements of AI - M. Markošová 1/W    25IW   2    
 2-MXX-130/21  Elements of AI - M. Markošová 1/S    25IW   2    
Predmet Elements of AI si možno zapísať iba v termínoch opravného zápisu bez ohľadu na dátum získania certifikátu. Hodnotenie sa udeľuje na základe preukázania certifikátom.

Block: Electives
Subject code Subject title - Teacher Ac. year
/Semester		 Range
and form		 Credits Current
 2-MXX-131/21  International Team-based Research Project - Z. Kubincová, M. Homola 1, 2/W    3C + 30sIW   5    
 2-INF-130/00  Service Oriented Architectures - Principles and Technologies - J. Withalm, P. Mederly 1, 2/W    2L   4    
 2-AIN-254/15  Fuzzy Inference and Expert Systems - D. Guller 1, 2/W    4C   6    
 2-INF-173/13  Quantum Information Processing - M. Plesch 1, 2/W    2L   3    
 2-AIN-206/15  Physical-based Animations and Mathematical Modeling - R. Ďurikovič, A. Mihálik 1, 2/W    2L + 2P   6    
 2-INF-169/00  Seminar in Informatics (1) - R. Kráľovič, D. Pardubská 1, 2/W    2S   2    
 2-AIN-505/10  Seminar in Bioinformatics (1) - T. Vinař, B. Brejová 1, 2/W    2S   2    
 2-AIN-251/10  Seminar in Bioinformatics (3) - T. Vinař, B. Brejová 1, 2/W    2S   2    
 2-INF-132/15  Introduction to Distributed Algorithms - R. Kráľovič 1, 2/W    4L   4    
 1-MAT-551/10  Geometry for Graphics (1) - Ľ. Balko 1, 2/W    4C   5    
 2-MPG-101/00  Computer Graphics (1) - M. Bátorová, R. Bohdal 1, 2/W    2L + 2P   5    
 2-AIN-112/15  Advanced Image Processing - Z. Černeková, D. Škorvánková 1, 2/W    2L + 2P   6    
 2-MPG-203/00  Computational Geometry - P. Chalmovianský 1, 2/W    4C   5    
 2-INF-261/11  IT Based Supply Networks - J. Withalm 1, 2/W    3C   4   !  
 2-INF-270/15  Design and Evaluation of User Interfaces - S. Bhatia 1, 2/W    2C   4   !  
 1-AIN-168/15  Web Applications in Praxis - M. Krupa, R. Mráz, M. Tuna, E. Hamerlik 1, 2/W    2L + 2P   4    
 2-AIN-108/15  Computational Logic - M. Homola, J. Pukancová 1, 2/W    2L + 2P   6    
 2-INF-271/18  Selected Technologies for Data Analysis - A. Varga 1, 2/W    2C   3   !  
 2-INF-272/16  Practicum in Machine Learning - R. Gavuliak 1, 2/W    3C   3   !  
 2-INF-275/18  Unstructured Talks on Structures: Chapters in Mathematics for Computer Scientists (1) - P. Kostolányi 1, 2/W    4L   6   !  
 2-INF-277/18  Complex Analysis for Computer Scientists - P. Kostolányi 1, 2/W    3L + 2P   6    
 2-INF-263/15  Computer Game Development and Design - M. Ferko 1, 2/W    4C   4    
 1-MMN-255/00  Linear Programming - V. Toma, A. Badík 1, 2/W    2L + 2P   5    
 2-INF-163/00  Kolmogorov Complexity - D. Pardubská 1, 2/W    3L   4    
 2-INF-279/21  Hyperprogramming - R. Brečka 1, 2/W    2C   3    
 1-INF-315/14  Principles of Reverse Engineering - R. Lipovský 1, 2/W    2L + 2P   6    
 1-AIN-470/15  Specification and Verification of Programs - D. Gruska, J. Komara, J. Kľuka 1, 2/S    2L + 2P   6    
 2-AIN-253/15  Answer Set Programming - A. Šimko 1, 2/S    2L + 2P   6    
 2-AIN-266/17  Declarative Programming - J. Komara 1, 2/S    2L + 2P   6    
 2-INF-154/00  Enumeration of Discrete Structures - E. Toman 1, 2/S    4L   6   !  
 2-INF-164/00  IT Quality Management - J. Withalm 1, 2/S    2L   4    
 2-INF-165/00  Management Software Projects - P. Neurath 1, 2/S    2L   4    
 2-INF-266/15  Advanced Linux Administration - J. Janáček 1, 2/S    3C   4    
 2-INF-172/12  Computer Algebra Systems - R. Ostertág, M. Stanek 1, 2/S    2L   3   !  
 2-AIN-109/15  Programming of Parallel and Distributed Systems - D. Gruska 1, 2/S    3L + 1P   6    
 2-INF-170/00  Seminar in Informatics (2) - R. Kráľovič, D. Pardubská 1, 2/S    2S   2    
 2-AIN-506/10  Seminar in Bioinformatics (2) - B. Brejová, T. Vinař 1, 2/S    2S   2    
 2-AIN-252/10  Seminar in Bioinformatics (4) - B. Brejová, T. Vinař 1, 2/S    2S   2    
 2-MPG-102/00  Computer Graphics (2) - R. Bohdal, M. Makovník 1, 2/S    2L + 2P   5    
 2-AIN-116/14  Functional Programming - P. Borovanský 1, 2/S    2L + 2P   6    
 2-AIN-286/15  Ontologies and Knowledge Engineering - M. Homola, J. Pukancová 1, 2/S    2L + 2P   6   !  
 2-INF-273/16  Selected Topics in Information Security - L. Hlavička, J. Janáček 1, 2/S    27sC   2   !  
 2-AIN-285/17  Symbolic Programming and LISP - J. Komara 1, 2/S    3C   4   !  
 2-IKV-189/16  Natural Language Processing - M. Šuppa 1, 2/S    2L + 2P   6    
 2-INF-188/17  Current Approaches in Machine Learning - V. Boža 1, 2/S    4C   4    
 2-INF-274/18  Advanced Complexity Theory - J. Kováč 1, 2/S    4L   4    
 2-INF-276/18  Unstructured Talks on Structures: Chapters in Mathematics for Computer Scientists (2) - P. Kostolányi 1, 2/S    4L   6   !  
 2-INF-278/18  Analytic and Enumerative Combinatorics - P. Kostolányi 1, 2/S    4L   6    
 1-MMN-261/10  Ordinary Differential Equations - F. Jaroš, M. Medveď 1, 2/S    2L + 2P   5    
 

State exams
Unless determined otherwise by the programe guarantor, a student is permitted to take the state examination only if all previous study requirements have been met.
Compulsory courses

Block: State Examination Subjects
Subject code Subject title Credits Current
 2-INF-991/15  Thesis Defence 10    
 
Compulsory elective courses

Block: SB2
absolvovanie jedného variantu kolokviálnej skúšky
Subject code Subject title Credits Current
 2-INF-952/15  Computer Security 4    
 2-INF-953/15  Bioinformatics and Machine Learning 4    
 2-INF-954/15  Programming and Information Systems 4    
 2-INF-955/15  Theoretical Computer Science 4    
 

Such a symbol can occur after the teaching range: d - days in a semester, h - hours in a week, s - hours in a semester, t - weeks in a semester
When none of these symbols are given, expected range of teaching is "hours in a week".
Form: L - lecture, P - practicals, S - seminar, C - course, LP - laboratory practicals, X - practice, IW - independent work, E - excursion, O - other, p - practical, TS - training session, FW - fieldwork, I - internship
Current: ! - course will not be implemented in the given academic year; + - course will not be implemented, perhaps the next academic year; - - course is implemented for the last time