Study programme - Approved
Academic year:
 2019/2020
Study programme:
 Computer Science (Conversion Programme) (mINFa/k)
(Single degree study, master II. deg., full time form)
Teaching language: English
Study field:
 18. Computer Science
Guarantee:
 prof. RNDr. Rastislav Kráľovič, PhD.

Study section
Compulsory courses

Block: Obligatory Subjects
Subject code Subject title - Teacher Ac. year
/Semester 		Range
and form 		Con-
cluding 		Credits Current
 2-INF-920/00  Diploma Thesis Seminar (1) - B. Rovan 1/W    2S     H   2    
 2-INF-166/15  MSc Project - R. Kráľovič 1/S    2S     H   6    
 2-INF-921/00  Diploma Thesis Seminar (2) - M. Stanek, M. Škoviera 2/W    2S     H   2    
 2-INF-106/00  Informatics and Society - B. Rovan, Ľ. Illek 2/S    2L     H   4    
 2-INF-922/00  Diploma Thesis Seminar (3) - M. Stanek, M. Škoviera 2/S    2S     H   2    
 
Compulsory elective courses

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

Block: Physical Education Activities - Electives
Subject code Subject title - Teacher Ac. year
/Semester 		Range
and form 		Con-
cluding 		Credits Current
 2-MXX-110/00  Physical Education and Sport (1) - D. Mašlejová, L. Mókus, O. Podkonický, J. Leginusová, T. Kuchár, M. Ortutay, M. Dovičák, J. Raábová, B. Nedbálek 1/W    2P     H   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, O. Podkonický, J. Raábová 1/S    2P     H   2    
 2-MXX-210/00  Physical Education and Sport (3) - D. Mašlejová, L. Mókus, O. Podkonický, J. Leginusová, T. Kuchár, M. Ortutay, M. Dovičák, J. Raábová, B. Nedbálek 2/W    2P     H   2    
 2-MXX-220/00  Physical Education and Sport (4) - D. Mašlejová, L. Mókus, O. Podkonický, J. Leginusová, T. Kuchár, M. Ortutay, M. Dovičák, B. Nedbálek, J. Raábová 2/S    2P     H   2    
 2-MXX-115/17  Sports in Natur (1) - B. Nedbálek 1/W        H   2    
 2-MXX-116/18  Sports in Natur (2) - B. Nedbálek 1/S        H   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 		Con-
cluding 		Credits Current
 1-MXX-161/00  Russian Language (1) - E. Klátiková 1/W    2P     H   2    
 1-MXX-141/00  French Language (1) - Ľ. Kožehubová 1/W    2P     H   2    
 1-MXX-151/00  German Language (1) - A. Maďarová, M. Mancovič 1/W    2P     H   2    
 1-MXX-152/00  German Language (2) - A. Maďarová, M. Mancovič 1/S    2P     H   2    
 1-MXX-142/00  French Language (2) - Ľ. Kožehubová 1/S    2P     H   2    
 1-MXX-162/00  Russian Language (2) - E. Klátiková 1/S    2P     H   2    
 1-MXX-251/00  German Language (3) - A. Maďarová, M. Mancovič 2/W    2P     H   2    
 1-MXX-261/00  Russian Language (3) - E. Klátiková 2/W    2P     H   2    
 1-MXX-241/00  French Language (3) - Ľ. Kožehubová 2/W    2P     H   2    
 1-MXX-242/00  French Language (4) - Ľ. Kožehubová 2/S    2P     H   2    
 1-MXX-252/00  German Language (4) - A. Maďarová, M. Mancovič 2/S    2P     H   2    
 1-MXX-262/00  Russian Language (4) - E. Klátiková 2/S    2P     H   2    
 1-MXX-233/13  English Conversation Course (1) - E. Klátiková, A. Barnes 1, 2/W    2P     H   2    
 1-MXX-234/13  English Conversation Course (2) - E. Klátiková, A. Barnes 1, 2/S    2P     H   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.

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

State exams
Compulsory courses

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

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