ERASMUS+ Course Catalog
Winter semester (September-December)
The following courses may be offered in English language provided there is enough interest. Courses marked with (indiv) can be offered in English language as an individual of the course materials combined with consultations with the lecturer. Interest in studying these courses must be consulted in advance with the teacher of the course , even before the beginning of the semester!
Bachelor level courses
1-AIN-112: Introduction to Web Technologies (indiv)
1-AIN-121: Discrete Mathematics (1) (indiv)
1-AIN-131: Development of Information Systems (indiv)
1-AIN-152: Linear Algebra
1-AIN-167: Practical Classes in Robotics
1-AIN-186: Computer Principles - System Programming (indiv)
1-AIN-304: Introduction to Artificial Intelligence (indiv)
1-AIN-305: Deductive Databases
1-AIN-311: Embedded Linux
1-AIN-413: Graphs, Graphic Algorithms and Optimization
1-AIN-426: Applied Robotics Seminar (indiv)
1-AIN-430: Programming Paradigms (indiv)
1-AIN-472: Mobile Application Developement (indiv)
1-AIN-510: Linux - Principles and Means (indiv)
1-BIN-301: Methods in Bioinformatics (indiv)
1-BMF-311: Introduction to Biophysics
1-BMF-521: Computer Modelling
1-BMF-541: Fundamentals of Biomedical Research Methodology
1-FYZ-111: Mechanics (1)
1-FYZ-115: Algebra and Geometry (1) (indiv)
1-FYZ-216: Algebra and Geometry (3)
1-FYZ-251: Theoretical Mechanics (indiv)
1-FYZ-260: Physics Laboratory Experiments II (Electricity and Magnetism) (indiv)
1-FYZ-355: Computer Practice (2)
1-FYZ-421: Astronomy and Astrophysics (indiv)
1-FYZ-476: Physics of Continuum
1-FYZ-677: Mathematical Physics (indiv)
1-FYZ-910: BSc Project (1)
1-FYZ-951: Physics
1-FYZ-991: BSc Project (2)
1-INF-115: Algebra (1) (indiv)
1-INF-167: Computational Complexity and Computability (indiv)
1-INF-215: Formal Languages and Automata (1)
1-INF-220: Algorithms and Data Structures (indiv)
1-INF-230: Introduction to Database Systems (indiv)
1-INF-235: Project (1) (indiv)
2-INF-237: Selected Topics in Data Structures
1-INF-270: Practicum in Databases (indiv)
1-INF-517: Principles of Software Design(1) (indiv)
1-INF-518: Principles of Software Design (2) (indiv)
1-INF-810: Competitive Programming (1)
1-INF-820: Competitive Programming (3)
1-INF-830: Competitive Programming (5)
1-MAT-210: Mathematical Analysis (3) (indiv)
1-MAT-220: Algebra (1) (indiv)
1-MAT-281: Probability and Statistics (1) (indiv)
1-MAT-455: Set Theory and Mathematical Logic (1)
1-MAT-460: Graph Theory
1-MAT-470: Number Theory (indiv)
1-MAT-735: Linear Algebra Classes (1) (indiv)
1-MAT-755: Graph Theory
1-MMN-120: Linear Algebra and Geometry (1)
1-MMN-255: Linear Programming (indiv)
1-MMN-331: Financial Mathematics (indiv)
1-MXX-131: English Language (1)
1-MXX-491: Integrated Education of People with Disabilities (indiv)
1-OZE-273: Dynamics of Flowing Gases
1-OZE-302: Fundamentals of Physics of Water
1-OZE-341: Introduction to Physics of the Atmosphere
1-PMA-310: Insurance Mathematics (1) (indiv)
1-PMA-530: General Insurance Theory (indiv)
1-PMA-760: Sampling Theory (indiv)
1-UDG-344: Introduction to Algebraic Geometry
1-UFY-220: Introduction to school experiments (indiv)
1-UIN-140: Programming (1) (indiv)
1-UMA-107: Geometry (1)
1-UXX-332: Social Aspects of Informatics
Master level courses
2-AIN-108: Computational Logic
2-AIN-111: Web Technologies and Methodology
2-AIN-112: Advanced Image Processing (indiv)
2-AIN-118: Programming in operating systems (indiv)
2-AIN-156/22 - Agile Software Development in Teams (indiv)
2-AIN-223 Virtual nad Extended reality
2-AIN-224: Web Programming (indiv)
2-AIN-226: Deep Learning for Computer Vision
2-AIN-251: Seminar in Bioinformatics (3)
2-AIN-505: Seminar in Bioinformatics (1)
2-AIN-283/22 Development of Critical Applications indiv
2-AIN-286: Ontologies and Knowledge Engineering
2-EFM-102: Time Series Analysis (indiv)
2-EFM-104: Financial Mathematics (indiv)
2-EFM-118: Optimal Control (1) (indiv)
2-EFM-151: Multivariate Statistical Analysis (1) (indiv)
2-EFM-201: Insurance Theory (indiv)
2-EFM-217: Insurance Theory Classes (indiv)
2-EFM-221: Practical Data Modeling (1)
2-EFM-236: Modelling Biological Processes
2-EFM-240: Practical Data Modeling (2)
2-FAA-101: Theoretical Astrophysics (1) (indiv)
2-FAA-105: Celestial Mechanics (1) (indiv)
2-FAA-111: Cosmic Electrodynamics (1) (indiv)
2-FAA-205: Astronomical Instruments (indiv)
2-FAA-225: Galactic and Extra-Galactic Astronomy (2)
2-FAA-230: Laboratory Practice (2) (indiv)
2-FAA-248: Planetary Cosmogony (indiv)
2-FBM-206: Design of Experiments and Studies in Biomedical Research
2-FFP-101: Plasma Physics (1) (indiv)
2-FFP-111: Plasma Diagnostics
2-FFP-204: Modelling in Plasma Physics
2-FFP-213: Analytical Methods in Plasma Physics
2-FFP-231: Diploma Thesis Seminar (1)
2-FFP-234: Plasma-chemical Methods of Surface Treatment (indiv)
2-FJF-222: High Energy Physics
2-FMK-109: General and Regional Climatology
2-FMK-113: Clouds and Precipitation Physics (indiv)
2-FMK-238: Climate Changes and Variability (indiv)
2-FOL-110: Fundamentals of Laser Spectroscopy
2-FOL-217: Analysis of Surfaces and thin Layers Using Electromagnetic Radiation
2-FOL-235: Theory of Radiation
2-FOZ-205: Solutions of Atmospheric Dynamics Equations (indiv)
2-FTF-112: Mathematical Physics (2)
2-FTF-117: General Relativity
2-FTF-125: Classical Theory of Radiation
2-FTF-132: Methods in Computer Physics
2-FTF-213: Cosmology
2-FTL-107: Structure and Mechanical Properties of Solids
2-IKVa-102: Mathematics for Cognitive Science
2-IKVa-105: Fundamentals of Programming
2-IKVa-111: Introduction to Psychology
2-IKVa-115: Introduction to Computational Intelligence
2-IKVa-116: Empirical Research Methodology
2-IKVa-121: Introduction to Cognitive Science
2-IKVa-123: Introduction to Neuroscience
2-IKVa-232: Cognitive Semantics and Cognitive Theory of Representation
2-IKVa-239: Deep Learning and Cognition
2-INF-122: Theory of Parallel Computations
2-INF-150: Machine Learning
2-INF-155: Combinatorial Structures
2-INF-163: Kolmogorov Complexity
2-INF-174: Graph Theory (indiv)
2-INF-176: Unix for System Administrators
2-INF-178: Cryptology (1) (indiv)
2-INF-179: Concurrent and Distributed Programming and Systems (1) (indiv)
2-INF-221: Approximation of Optimisation Problems
2-INF-263: Computer Game Development and Design
2-INF-267: Advanced Efficient Algorithms (indiv)
2-MAT-111: Dynamical Systems
2-MAT-112: Partial Differential Equations (1)
2-MAT-114: Integral Transforms and Special Functions (indiv)
2-MAT-115: Functional Analysis
2-MAT-142: Transport, conservation laws and equations of motion
2-MAT-214: Differential Topology
2-MAT-215: Field Theory (1)
2-MAT-221: Universal Algebras and Lattices (2)
2-MAT-224: Linear Codes
2-MAT-231: Selected Topics in Cryptology
2-MAT-232: Computer Algebra (1)
2-MAT-307: Solutions of Tasks in Optimal Management and of Inversion Problems
2-MAT-325: Variational Methods in Differential Equations (indiv)
2-MAT-334: Numerical Analysis of Partial Differential Equations (2) (indiv)
2-MAT-602: Seminar in Graph Theory (1)
2-MAT-619: Selected Chapters in the Theory of Functions of Complex Variable
2-MAT-620: Seminar in Algebraic and Differential Topology (1)
2-MPG-115: Modelling of Curves and Surfaces (1)
2-MPG-203: Computational Geometry
2-PMS-115: Multivariate Statistical Analysis (indiv)
2-PMS-118: Markov Models (1) (indiv)
2-PMS-123: Stochastic Simulation Methods (indiv)
2-PMS-129: Stochastic Optimization Methods (indiv)
2-PMS-131: Survival Analysis (indiv)
2-PMS-221: Statistical Methods in Clinical Trials (indiv)
2-PMS-222: Programming in SAS (indiv)
2-UIN-117: Databases (indiv)
2-UIN-238: Mobile Platform Programming for Secondary Schools (indiv)
2-UXX-105: Computer modeling and measurement from the perspective of educational psychology (indiv)
2-pUIN-002: Programming Languages in Education (indiv)
Doctoral level courses
3-FEM-001: Combustion Processes in Power Generation and Transportation
3-FEN-010: Preservation of Total Environment
3-FEM-111: Professional Oral Communication in English
3-FFP-001: Experimental Vademecum
3-FJF-026: Computer Simulations in Radiation Physics
3-FJF-033: English Seminar on Nuclear and Subnuclear Physics
3-FJF-203: Department Seminar (1)
3-FJF-205: Department Seminar (3)
3-FJF-801: Teaching Practice in the Winter Semester
3-FOS-008: Physics of Ultrashort Pulses
3-FVF-017: Models of Physics Education (indiv)
3-INF-001: Theoretical Foundations of Informatics (indiv)
3-INF-401: Research Activity
3-INF-601: Department Seminar
3-MAM-009: Models of Fluids Dynamics
3-MDM-024: Probabilistic Methods in Combinatorics (indiv)
3-MDM-025: Topological Graph Theory
3-MDM-028: Algorithmics for Hard Problems (indiv)
3-MDM-029: Algebraic Theory of Graphs
3-MDM-031: Advanced Linear Algebra
3-MDM-034: Selected Topics in Group Theory
3-MDM-035: Selected Topics in Modern Graph Theory
3-MGT-012: Algebraic Topology (1) (indiv)
Summer semester (February-June)
The following courses may be offered in English language provided there is enough interest. Courses marked with (indiv) can be offered in English language as an individual of the course materials combined with consultations with the lecturer. Interest in studying these courses must be consulted in advance with the teacher of the course , even before the beginning of the semester!
Bachelor level courses
1-AIN-160: Discrete Mathematics (2) (indiv)
1-AIN-180: Computer Principles - Operating Systems
1-AIN-189: Web Applications (1) (indiv)
1-AIN-211: Introduction to Theoretical Informatics
1-AIN-412: Mathematics (4) - Logic for Computer Science (indiv)
1-AIN-500: Linux for Users (indiv)
1-BMF-211: Physics Laboratory Experiments I
1-BMF-331: Introductory Biostatistics
1-BMF-542: Seminar on the research project
1-DAV-105: Data Visualisation (indiv)
1-DAV-202: Data Management (indiv)
1-EFM-310: Difference and Differential Equations (indiv)
1-EFM-360: Numerical Methods (indiv)
1-FYZ-112: Mechanics (2)
1-FYZ-160: Algebra and Geometry (2) (indiv)
1-FYZ-231: Introduction to Quantum Physics
1-FYZ-401: Fields of Physical Research
1-FYZ-451: Introduction to Plasma Physics and Electrical Discharges (indiv)
1-FYZ-951: Physics
1-FYZ-991: BSc Project (2)
1-INF-156: Algebra (2) (indiv)
1-INF-175: Social Aspects of Informatics
1-INF-265: Project (2) (indiv)
1-INF-310: Design of Efficient Algorithms (indiv)
1-INF-815: Competitive Programming (2)
1-INF-825: Competitive Programming (4)
1-MAT-250: Mathematical Analysis (4) (indiv)
1-MAT-260: Algebra (2) (indiv)
1-MAT-282: Probability and Statistics (2) (indiv)
1-MAT-430: Classical Methods of Solving Differential Equations
1-MAT-480: Set Theory and Mathematical Logic (2)
1-MAT-495: Introduction to Coding Theory
1-MAT-565: Geometric Objects Representation
1-MAT-736: Linear Algebra Classes (2) (indiv)
1-MMN-160: Linear Algebra and Geometry (2)
1-MMN-270: Introduction to Financial Management, Principes de gestion financiere (indiv)
1-MXX-132: English Language (2)
1-OZE-244: Radiometric Measurements
1-OZE-303: Introduction to Meteorology, Climatology and Hydrology
1-OZE-373: Fundamentals of Dynamic Meteorology (indiv)
1-PMA-751: Programming in R (indiv)
1-PMA-752: Problem Solving Methods in Probability and Statistics (indiv)
1-UDG-141: Projective Geometry (1)
1-UFY-141: Electromagnetism (indiv)
1-UFY-338: Computer models and animations for teachers (indiv)
1-UIN-141: Programming (2) (indiv)
1-UIN-236: Algorithms and Data Structures (indiv)
1-UIN-349: Programming of Application for WEB (indiv)
Master level courses
2-AIN-109: Programming of Parallel and Distributed Systems (indiv)
2-AIN-116: Functional Programming (indiv)
2-AIN-131: Advanced programming in JAVA (JavaEE) (indiv)
2-AIN-132: Neural Networks
2-AIN-136: Creation of Educational Software
2-AIN-137: Artificial Intelligence
2-AIN-138: Discrete Structures in Informatics and Computer Graphics
2-AIN- 140: Architectures of Software Systems
2-AIN-144: Knowledge Representation and Reasoning
2-AIN-147 Computer Vision
2-AIN-148: 3D Vision
2-AIN-185: Formal Methods of Software Development (Indiv)
2-AIN-188: Life Cycle of Infornation Systems (indiv)
2-AIN-204: Pattern Recognition (indiv)
2-AIN-205: Algorithmics for Hard Problems
2-AIN-235: Algorithms of Artificial Intelligence in Robotics
2-AIN-252: Seminar in Bioinformatics (4)
2-AIN-506: Seminar in Bioinformatics (2)
2-EFM-103: Stochastic Methods of Operational Analysis (indiv)
2-EFM-106: Financial Derivatives (indiv)
2-EFM-109: Optimal Control (2) (indiv)
2-EFM-117: Convex Optimization (indiv)
2-FAA-102: Theoretical Astrophysics (2) (indiv)
2-FAA-106: Celestial Mechanics (2) (indiv)
2-FAA-112: Cosmic Electrodynamics (2) (indiv)
2-FAA-117: Interplanetary Matter (2) (indiv)
2-FAA-125: Galactic and Extra-Galactic Astronomy (1)
2-FAA-130: Laboratory Practice (1) (indiv)
2-FAA-141: Selected Topics in History of Astronomy (indiv)
2-FFP-102: Plasma Physics (2)
2-FFP-110: Electrical Discharges in Gases
2-FFP-115: Practical Exercises in Vacuum and Plasma Physics
2-FFP-232: Diploma Thesis Seminar (2)
2-FJF-124: Numerical Methods in Nuclear Physics
2-FJF-125: Modelling Experimental Set-Ups
2-FJF-136: Feynman Diagrams
2-FJF-138: Nuclear Geophysics and Astrophysics
2-FJF-203: Seminar in Nuclear and Subnuclear Physics
2-FMK-110: Climate of Central Europe and Slovakia (indiv)
2-FMK-111: Dynamic Forecasting Methods in Meteorology
2-FMK-112: Atmospheric Boundary Layer Physics (indiv)
2-FMK-135: Applied Climatology
2-FMK-231: Microclimatology and Agrometeorology (indiv)
2-FMK-251: Selected Problems of Meteorology and Climatology (indiv)
2-FOL-112: Plasma Radiation (indiv)
2-FOL-117: Introduction to Solid State Physics
2-FOL-215: Optical Spectroscopy
2-FOZ-115: New Renewable Energy Sources (2) (indiv)
2-FOZ-213: Seminar in Environmental Physics, Renewable Energy Sources, Meteorology and Climatology
2-FOZ-254: Technologies for Air Protection
2-FOZ-275: Complex Solutions of Real Environmental Problems
2-FTF-128: Introduction to String Theory
2-FTF-129: Connections and Gauge Fields
2-FTF-130: Geometrical Methods in Classical Mechanics
2-FTF-133: Selected Methods in Computer Physics
2-IKVa-113: Cognitive Psychology
2-IKVa-114: Introduction to the Philosophy of Mind (indiv)
2-IKVa-122: Semester Project
2-IKVa-136: Computational Cognitive Neuroscience
2-IKVa-137: Modern Methods in Brain Research
2-IKVa-138: Introduction to Robotics
2-IKV-167: Practical Classes in Robotics
2-IKVa-184: Social Cognition
2-IKV-189: Natural Language Processing
2-IKVa-192: Science, Technology and Humanity: Opportunities and Risks (available every even-numbered school year, i.e. 26/27, 28/29, ...)
2-IKVa-194 - Učenie posilňovaním (indiv)
2-IKVa-267: Mathematical Logic for Cognitive Science
2-INF-132: Introduction to Distributed Algorithms
2-INF-145: Creating Internet Applications (indiv)
2-INF-156: Selected Topics in Theory of Languages
2-INF-180: Concurrent and Distributed Programming and Systems (2) (indiv)
2-INF-182: Algebra (3) (indiv)
2-INF-186: Formal Languages and Automata (2)
2-INF-226: Principles of Software Design (3)
2-INF-231: Efficient Parallel Algorithms
2-INF-262: IT Infrastructure Security
2-INF-500: Databases (indiv)
2-MAT-121: Partial Differential Equations (2)
2-MAT-122: Nonlinear Functional Analysis (indiv)
2-MAT-123: Calculus of Variations
2-MAT-132: Selected Topics of Mathematical Physics
2-MAT-212: Universal Algebras and Lattices (1) (indiv)
2-MAT-216: Field Theory (2)
2-MAT-222: Selected Topics in Algebra (2) (indiv)
2-MAT-223: Algebraic Topology
2-MAT-225: Group Theory Applications in Discrete Mathematics
2-MAT-226: Applications of set theory (indiv)
2-MAT-241: Computer Algebra (2)
2-MAT-323: Numerical Analysis of Partial Differential Equations (1) (indiv)
2-MAT-610: Algebraic Number Theory
2-MAT-611: Seminar in Graph Theory (2)
2-MAT-618: Universal Algebras and Lattices (3) (indiv)
2-MAT-623: Universal Algebras and Lattices (4) (indiv)
2-MAT-624: Number Theory (2) (indiv)
2-MMN-125: Managerial Decision-Making
2-MPG-104: Algebraic Geometry (1)
2-MPG-105: Topology and Functional Analysis
2-MPG-125: Computer Vision (indiv)
2-MPG-215: Modelling of Curves and Surfaces (2)
2-PMS-108: Design of Experiments (indiv)
2-PMS-116: Cluster Analysis and Data Classification (indiv)
2-PMS-119: Markov Models (2) (indiv)
2-PMS-121: Sequential Statistical Methods (indiv)
2-MXX-130/21 Elements of AI
2-UDG-101: Algebraic Geometry
2-UDG-264: Selected Topics in Algebraic Geometry
2-UFY-220: Astronomy and Meteorology (indiv)
2-UFY-245: Symbols and Patterns in Physics Education (indiv)
2-UXX-108: History of Informatics
Doctoral level courses
3-FAA-006: Nuclear Atronomy and Astrophysics
3-FBF-012: Methods for Preparation and Implementation of Research Projects
3-FEM-007: Air, Water and Soil Pollution and the Spread of Pollutants in the Environment
3-FEN-009: Chemical Pollution of Air, Water and Soil
3-FFP-203: Bio-medical Applications of Plasmas and Radiation
3-FJF-035: Advanced High Energy Physics
3-FJF-036: Subnuclear Physics Experiment Modelling and Data Analysis
3-FJF-204: Department Seminar (2)
3-FJF-206: Department Seminar (4)
3-FJF-802: Teaching Practice in the Summer Semester
3-FJF-804: Guidance of a Project for the Students´ Conference or of a Final Thesis
3-FVF-021: Design of Materials for Science Education (indiv)
3-FVM-002: Theory of Gravitation and Cosmology
3-FVM-007: Mathematical Methods of Theoretical Physics
3-INF-401: Research Activity
3-INF-601: Department Seminar
3-MAM-014: Asymptotic Methods
3-MAM-025: Simulation Methods (indiv)
3-MDM-029: Algebraic Theory of Graphs
3-MDM-031: Advanced Linear Algebra
3-MDM-034: Selected Topics in Group Theory
3-MDM-035: Selected Topics in Modern Graph Theory
3-MGT-013: Algebraic Topology (2) (indiv)
3-MGT-014: Differential Topology (indiv)