Study programme - Approved
Academic year:
 2024/2025
Study programme:
 Computer Science (Conversion Programme) (mINF/k)
(Single degree study, master II. deg., full time form)
Teaching languages: English, Slovak
Study field:
 18. Computer Science
Person responsible for the delivery, development and quality of the study programme:
 prof. RNDr. Rastislav Kráľovič, PhD.

Study section
Compulsory courses
During the the first year of three-year programme the student has to pass courses from the bachelor's programme that are needed for successful continuation on the standard two-year programme. The particular set of courses for the first year is selected for each particular student by the guarantor.

Block: Obligatory Subjects
Subject code Subject title - Teacher Ac. year
/Semester		 Range
and form		 Credits Core
course		 Current
 2-INF-920/00  Diploma Thesis Seminar (1) - B. Rovan, M. Škoviera, M. Stanek 1/W    2S   2   C      
 2-INF-166/15  MSc Project - R. Kráľovič, D. Bernát 1/S    2S   6   C      
 2-INF-923/22  Diploma Thesis Seminar (2) - M. Škoviera, M. Stanek 1/S    2S   2   C      
 2-INF-921/22  Diploma Thesis Seminar (3) - M. Škoviera, M. Stanek 2/W    2S   2   C      
 2-INF-922/22  Diploma Thesis Seminar (4) - M. Škoviera, M. Stanek 2/S    2S   2   C      
 2-INF-106/22  Informatics and Society - B. Rovan, Ľ. Illek 2/S    2L   2   C      
Predmet 2-INF-923 Diplomový seminár (2) 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 Core
course		 Current
 2-INF-123/15  Formal Semantics and Theory of Correctness - I. Prívara 1/W    3L   5   C      
 2-INF-179/15  Concurrent and Distributed Programming and Systems (1) - T. Plachetka 1/W    4C   6   C      
 2-INF-178/15  Cryptology (1) - M. Stanek 1/W    4L   6   C      
 1-MAT-210/22  Mathematical Analysis (3) - Z. Kubáček, F. Jaroš, K. Rostás 1/W    4L + 2P   8   C      
 1-BIN-301/15  Methods in Bioinformatics - B. Brejová, T. Vinař, A. Gafurov 1/W    2L + 2P   6   C      
 1-DAV-201/20  Fundamentals of Probability and Statistics - R. Harman, P. Somogyi, L. Filová, T. Kossaczká 1/W    3L + 2P   6   C      
 2-INF-150/15  Machine Learning - V. Boža, M. Šuppa, T. Vinař 1/W    4L   6   C      
 2-INF-174/15  Graph Theory - E. Mačajová 1/W    3L + 1P   6   C      
 2-INF-176/15  Unix for System Administrators - J. Janáček, D. Bernát, T. Plachetka 1/W    2L + 2P   6   C      
 2-INF-237/00  Selected Topics in Data Structures - J. Kováč, B. Brejová 1/W    4L   6   C      
 2-INF-189/22  Non-Linear Programming - M. Trnovská 1/W    2L   3   C      
 2-INF-191/22  Time Series Analysis - B. Stehlíková 1/W    2L   3   C      
 2-PMS-115/10  Multivariate Statistical Analysis - L. Filová 1/W    2L + 2P   5   C      
 2-INF-275/18  Unstructured Talks on Structures: Chapters in Mathematics for Computer Scientists (1) - P. Kostolányi, E. Mačajová 1, 2/W    4L   6   C      
 2-INF-122/00  Theory of Parallel Computations - B. Rovan, D. Pardubská, P. Kostolányi 1, 2/W    4L   6   C      
 2-INF-267/15  Advanced Efficient Algorithms - F. Kardoš, R. Kráľovič 1, 2/W    3L   4   C     !  
 2-AIN-137/24  Statistical Methods in Artificial Intelligence - M. Markošová 1/S    2L + 2P   6   C      
 2-INF-182/22  Algebra (3) - M. Sleziak, J. Guričan 1/S    2L + 2P   5   C      
 2-INF-500/11  Databases - T. Plachetka, J. Mazák 1/S    3L + 1LP   6   C      
 2-INF-231/00  Efficient Parallel Algorithms - R. Kráľovič 1/S    4L   6   C      
 2-INF-186/15  Formal Languages and Automata (2) - B. Rovan, P. Kostolányi 1/S    3L + 2P   6   C      
 2-INF-114/00  Mathematical Logic - E. Toman, R. Lukoťka, J. Mazák 1/S    4L   6   C     !  
 2-INF-133/00  Probabilistic Methods - R. Lukoťka, J. Mazák 1/S    4L   6   C      
 2-INF-184/15  Programming Languages - R. Ostertág, B. Brejová, M. Matok 1/S    2L + 2P   5   C      
 2-INF-145/15  Creating Internet Applications - R. Ostertág, M. Stanek, J. Kostičová 1/S    2L + 2P   6   C      
 2-INF-187/15  Introduction to Theory of Programming - I. Prívara, R. Kráľovič, P. Hozzová 1/S    4C   4   C      
 2-INF-420/18  Combinatorial Analysis (1) - D. Olejár, M. Stanek, J. Mazák 1/S    4C   6   C      
 1-DAV-202/20  Data Management - B. Brejová, T. Vinař, V. Boža 1/S    1L + 2P   5   C      
 2-PMS-116/19  Cluster analysis and data classification - R. Harman, S. Rosa 1/S    2L + 2P   5   C      
 2-EFM-117/12  Convex Optimisation - M. Trnovská, J. Hrdina 1/S    2L   3   C      
 2-PMS-142/22  Data Dimensionality Reduction - S. Rosa 1/S    2L + 1P   4   C      
 2-INF-226/22  Principles of Software Design (3) - R. Lukoťka, J. Kostičová 1/S    3L + 1P   6   C      
 2-INF-156/00  Selected Topics in Theory of Languages - B. Rovan, D. Pardubská, P. Kostolányi 1, 2/S    4L   6   C      
 2-INF-276/18  Unstructured Talks on Structures: Chapters in Mathematics for Computer Scientists (2) - P. Kostolányi, E. Mačajová 1, 2/S    4L   6   C      
 2-INF-221/15  Approximation of Optimisation Problems - R. Kráľovič 2/W    4C   6   C      
 2-INF-155/00  Combinatorial Structures - M. Škoviera 2/W    4L   6   C      
 2-INF-144/15  Compilers - R. Ostertág, J. Kostičová, B. Brejová 2/W    3L + 1P   6   C     !  
 2-INF-183/15  Computer Networks (2) - J. Janáček, D. Olejár 2/W    2L + 1P   4   C      
 2-INF-223/15  IT Security Management - D. Olejár 2/W    4L   6   C      
 2-INF-224/15  Theory of Information and Theory of Coding (1) - D. Olejár 2/W    2L   4   C      
 2-PMS-123/10  Stochastic Simulation Methods - P. Bokes 2/W    2L   3   C      
 2-INF-262/15  IT Infrastructure Security - M. Stanek, J. Janáček, R. Ostertág, M. Rjaško 2/S    2L   4   C      
 2-INF-127/00  Formal Specifications - R. Kráľovič, I. Prívara 2/S    4L   6   C      
 2-INF-180/15  Concurrent and Distributed Programming and Systems (2) - T. Plachetka 2/S    4C   6   C      
 2-INF-235/15  Cryptology (2) - M. Stanek 2/S    2C   4   C      
 2-INF-126/00  Models of Concurrent Systems - D. Gruska 2/S    3L + 1P   6   C      
 2-AIN-132/15  Neural Networks - I. Farkaš 2/S    2L + 2P   6   C      
 2-INF-225/15  Theory of Information and Theory of Coding (2) - D. Olejár 2/S    2L   4   C      
 2-INF-121/15  Computability Theory - D. Pardubská 2/S    4L   6   C      
 2-INF-113/00  Combinatorial Analysis (2) - D. Olejár 2/S    4L   6   C     !  
 2-INF-269/15  Genomics - J. Nosek, T. Vinař, B. Brejová 2/S    2L + 1P   4   C      
 2-INF-135/15  Randomized Algorithms - D. Pardubská 2/S    4C   6   C      
 2-INF-188/22  Current Approaches in Machine Learning - V. Boža 2/S    4C   6   C      
Študentom, ktorí štúdium začali v školskom roku 2021/22 alebo skôr sa do tohto bloku započítavajú aj predmety 2-INF-175 Pravdepodobnosť a štatistika, 2-INF-185 Integrácia dátových zdrojov a 2-INF-222 Objektová analýza a modelovanie.
 
Elective courses

Block: Physical Education Activities - Electives
Subject code Subject title - Teacher Ac. year
/Semester		 Range
and form		 Credits Core
course		 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ý, L. Ondrušová 1/W    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á, T. Lovecký, B. Nedbálek 1/W      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ý, L. Ondrušová 1/S    2P   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ý, B. Nedbálek 1/S      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ý, L. Ondrušová 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ý, L. Ondrušová 2/S    2P   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 Core
course		 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. Dobiašová 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. Dobiašová 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-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        
 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. Dobiašová 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. Dobiašová 2/S    2P   2        
 1-MXX-262/00  Russian Language (4) - V. Mirsalova 2/S    2P   2        
Magister elective courses can be enrolled only with the consent of the teacher and if they were not completed during Bachelor study.

Block: Humanities - Elective
Subject code Subject title - Teacher Ac. year
/Semester		 Range
and form		 Credits Core
course		 Current
 2-MXX-130/21  Elements of AI - M. Markošová 1/W    25IW   2       !  
 2-MXX-131/21  International Team-based Research Project - Z. Kubincová, M. Homola 1/W    3C + 30sIW   5        
 2-MXX-132/23  Participation in Empirical Research - X. Poslon 1/W    2C   2        
 2-MXX-130/21  Elements of AI - M. Markošová 1/S    25IW   2       !  
 2-MXX-132/23  Participation in Empirical Research - X. Poslon 1/S    2C   2        
 2-MXX-133/23  Artificial Intelligence for Everyone - I. Farkaš S    9C + 1tTS   6        
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.
Predmet Artificial Intelligence for Everyone 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.
Predmet Artificial Intelligence for Everyone prebieha hybridnou formou, je spojený s mobilitou Erasmus, v rámci projektu ENLIGHT. Kurz prebieha od začiatku januára zhruba do konca marca.

Block: Electives
Subject code Subject title - Teacher Ac. year
/Semester		 Range
and form		 Credits Core
course		 Current
 2-INF-190/22  Practicum in Non-Linear Programming - M. Trnovská 1/W    2P   2       !  
 2-INF-192/22  Practicum in Time Series - R. Harman 1/W    1P   1       !  
 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č 1, 2/W    2L + 2P   6        
 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        
 1-MAT-551/22  Geometry for Graphics (1) - Ľ. Balko, P. Chalmovianský 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á 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       !  
 1-AIN-168/22  Web Applications in Praxis - M. Homola, M. Krupa, R. Mráz, M. Tuna, E. Hamerlik, T. Gál 1, 2/W    2L + 2P   4        
 2-INF-271/24  Selected Technologies for Data Analysis - A. Varga, J. Kostičová 1, 2/W    2L + 1P   4        
 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, P. Mihala, T. Rusin 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-EFM-340/13  Computer Statistics - J. Somorčík 1, 2/W    2L   3        
 2-AIN-226/22  Deep Learning for Computer Vision - Z. Černeková, V. Kocur 1, 2/W    2L + 2P   6        
 2-AIN-108/15  Computational Logic - M. Homola, J. Pukancová 1, 2/W    2L + 2P   6        
 2-AIN-286/22  Ontologies and Knowledge Engineering - M. Homola 1, 2/W    2L + 2P   5        
 2-INF-132/15  Introduction to Distributed Algorithms - R. Kráľovič 1, 2/S    4L   4       !  
 1-MMN-261/10  Ordinary Differential Equations - F. Jaroš 1, 2/S    2L + 2P   5        
 1-AIN-470/22  Specification and Verification of Programs - D. Gruska, J. Komara, J. Kľuka 1, 2/S    2L + 2P   6        
 2-AIN-266/22  Declarative Programming - J. Komara 1, 2/S    2L + 2P   5       !  
 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-AIN-109/22  Programming of Parallel and Distributed Systems - D. Gruska 1, 2/S    3L + 1P   5        
 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 1, 2/S    2L + 2P   5        
 2-AIN-116/14  Functional Programming - P. Borovanský, D. Guller 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-274/18  Advanced Complexity Theory - J. Kováč 1, 2/S    4L   4        
 2-INF-278/18  Analytic and Enumerative Combinatorics - P. Kostolányi 1, 2/S    4L   6       !  
 1-MAT-240/00  Numerical Mathematics (1) - J. Babušíková, P. Mihala 1, 2/S    2L + 2P   5        
 2-MAT-216/12  Field Theory (2) - M. Mačaj 1, 2/S    2L   3        
 2-INF-114/23  Mathematical Logic - R. Lukoťka, J. Mazák 1, 2/S    2L   4       !  
 

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/22  Bioinformatics and Machine Learning 4        
 2-INF-954/15  Programming and Information Systems 4        
 2-INF-955/15  Theoretical Computer Science 4        
 2-INF-956/22  Data Science 4        
 

Such a symbol can occur after the teaching range: d - days in a semester, h - hours in a week, r - hours in a year, 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