Faculty of Mathematics, Physics
and Informatics

ERASMUS+ Course Catalog

Winter semester (September-December)

Following courses will be offered in English language provided there is enough interest. Courses marked with (indiv) will be offered in English language as individual study of the course materials combined with consultations with the lecturer.

Bachelor level courses

1-AIN-105: Efficient Algorithms and Complexity 
1-AIN-112: Introduction to Web Technologies (indiv)
1-AIN-121: Mathematics (1) - Introduction to Mathematical Reasoning 
1-AIN-131: Development of Information Systems (indiv)
1-AIN-132: Introduction to BSc Project (indiv)
1-AIN-152: Linear Algebra 
1-AIN-160: Mathematics (3) - Discrete Mathematics 
1-AIN-167: Practical Classes in Robotics 
1-AIN-180: Computer Principles - Operating Systems (indiv)
1-AIN-304: Introduction to Artificial Intelligence 
1-AIN-305: Deductive Databases 
1-AIN-311: Embedded Linux 
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-910: BSc Project (indiv)
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)
1-INF-270: Practicum in Databases (indiv)
1-INF-435: Probability and Statistics (indiv)
1-INF-640: Cryptology (1) (indiv)
1-INF-810: Time-Restricted Programming (1) 
1-INF-820: Time-Restricted Programming (3) 
1-INF-830: Time-Restricted 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-310: Databases and Information Systems (indiv)
1-MMN-316: Nonlinear and Stochastic Optimization (1) (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-211: Physics Laboratory Experiments I 
1-OZE-273: Dynamics of Flowing Gases 
1-OZE-302: Fundamentals of Physics of Water 
1-OZE-303: Introduction to Meteorology, Climatology and Hydrology 
1-OZE-311: Practical III 
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-UIN-140: Programming (1) (indiv)
1-UXX-332: Social Aspects of Informatics 

Master level courses

2-AIN-108: Computational Logic 
2-AIN-111: Web Technologies and Methodology 
2-AIN-118: Programming in operating systems (indiv)
2-AIN-137: Artificial Intelligence 
2-AIN-224: Web Programming (indiv)
2-AIN-251: Seminar in Bioinformatics (3) 
2-AIN-272: Digital Signal Processing (indiv)
2-AIN-505: Seminar in Bioinformatics (1) 
2-EFM-102: Time Series Analysis 
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-236: Modelling Biological Processes 
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-FBF-226: Molecular Dynamics Simulations 
2-FBM-206: Planning and Assessment of Experiments with Applications in Biomedicine and Biophysics 
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-FFZa-105: Statistical Methods of Data Analysis 
2-FFZa-108: Numerical Methods 
2-FFZa-110: Seismic Waves and Physics of Earthquakes (1) 
2-FFZa-123: Continuum Mechanics and Rheology 
2-FFZa-131: Signal Analysis 
2-FFZa-140: Magnetohydrodynamics (indiv)
2-FFZa-202: Physics of Ionosphere and Magnetosphere 
2-FFZa-241: Seismic Hazard 
2-FFZa-440: Nuclear Geophysics 
2-FFZa-441: Regional Structure (2) 
2-FJF-222: High Energy Physics 
2-FJF-230: Computer Networks 
2-FMK-109: General and Regional Climatology 
2-FMK-112: Atmospheric Boundary Layer 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-225: Experimental Methods in Optics and Spectroscopy 
2-FOL-235: Theory of Radiation 
2-FOZ-152: Climatology and Hydrology (indiv)
2-FOZ-205: Solutions of Atmospheric Dynamics Equations (indiv)
2-FOZ-254: Technologies for Air Protection 
2-FTF-112: Mathematical Physics (2) 
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-FTL-205: Many-body Physics 
2-IKV-102: Mathematics 
2-IKV-105: Fundamentals of Programming 
2-IKV-111: Introduction to Psychology 
2-IKV-114: Introduction to the Philosophy of Mind (indiv)
2-IKV-115: Introduction to Computational Intelligence 
2-IKV-116: Empirical Research Methodology 
2-IKV-121: Introduction to Cognitive Science 
2-IKV-123: Introduction to Neuroscience 
2-IKV-187: Cognitive Science Seminar 
2-IKV-232: Cognitive Semantics and Cognitive Theory of Representation 
2-IKV-233: Cognitive Laboratory (indiv)
2-IKV-236: Grounded Cognition 
2-IKV-238: Philosophy of Artificial Intelligence 
2-INF-122: Theory of Parallel Computations 
2-INF-132: Introduction to Distributed Algorithms 
2-INF-150: Machine Learning 
2-INF-155: Combinatorial Structures 
2-INF-163: Kolmogorov Complexity (indiv)
2-INF-174: Graph Theory 
2-INF-175: Probability and Statistics 
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-222: Object Analysis and Modelling 
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 
2-MAT-115: Functional Analysis 
2-MAT-142: Transport, conservation laws and equations of motion 
2-MAT-212: Universal Algebras and Lattices (1) (indiv)
2-MAT-213: Selected Topics in Algebra (1) 
2-MAT-214: Differential Topology 
2-MAT-215: Field Theory (1) 
2-MAT-224: Linear Codes 
2-MAT-231: Selected Topics in Cryptology 
2-MAT-232: Computer Algebra (1) 
2-MAT-325: Variational Methods in Differential Equations 
2-MAT-334: Finite Elements Method (2) 
2-MAT-602: Seminar in Graph Theory (1) 
2-MAT-616: Mathematical Fundamentals of Quantum Theory 
2-MAT-618: Universal Algebras and Lattices (3) (indiv)
2-MAT-619: Selected Chapters in the Theory of Functions of Complex Variable 
2-MAT-620: Seminar in Algebraic and Differential Topology (1) 
2-MMN-104: Applied Functional Analysis (1) (indiv)
2-MMN-106: Computer Statistics (indiv)
2-MMN-203: Decision Techniques in Management 
2-MPG-115: Modelling of Curves and Surfaces (1) 
2-MPG-125: Computer Vision (indiv)
2-MPG-203: Computational Geometry 
2-PMS-118: Markov Processes (1) (indiv)
2-PMS-123: Stochastic Simulation Methods 
2-PMS-125: Seminar in Mathematical Statistics (1) (indiv)
2-PMS-129: Stochastic Optimalization Methods 
2-PMS-222: Programming in SAS (indiv)
2-UDG-101: Algebraic Geometry 
2-UIN-117: Databases (indiv)
2-UIN-238: Mobile Platform Programming for Secondary Schools (indiv)
2-pUIN-002: Programming Languages in Education (indiv)

Doctoral level courses

3-FEN-010: Preservation of Total Environment 
3-FFP-001: Experimental Vademecum 
3-FJF-025: Selected Topics in Radiation Physics 
3-FJF-026: Computer Simulations in Radiation Physics 
3-FJF-029: Advanced Sub-nuclear 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-FKL-006: Theory of Condensed Matter 
3-FMK-002: Earth's Climate System Physics (indiv)
3-FMK-003: Objects of the Synoptic Analysis and the Forecast of the Selected Characteristics State of the Atmosphere (indiv)
3-FMK-004: Climate Change, Their Causes and Consequences (indiv)
3-FMK-005: Boundary Atmospheric Layer Physics (indiv)
3-FOS-008: Physics of Ultrashort Pulses 
3-FVM-209: Quantum Theory of Gravity 
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)

Following courses will be offered in English language provided there is enough interest. Courses marked with (indiv) will be offered in English language as individual study of the course materials combined with consultations with the lecturer.

Bachelor level courses

1-AIN-172: Programming (4) (indiv)
1-AIN-186: Computer Principles - System Programming (indiv)
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-413: Graphs, Graphic Algorithms and Optimization 
1-AIN-426: Applied Robotics Seminar (indiv)
1-AIN-500: Linux for Users (indiv)
1-BMF-211: Physics Laboratory Experiments I 
1-BMF-331: Principles and Stages of Research in Biomedicine 
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-160: Introduction to Combinatorics and Graph Theory (indiv)
1-INF-175: Social Aspects of Informatics 
1-INF-265: Project (2) (indiv)
1-INF-310: Design of Effective Algorithms (indiv)
1-INF-420: Combinatorial Analysis (1) 
1-INF-516: Principles of Software Design (indiv)
1-INF-815: Time-Restricted Programming (2) 
1-INF-825: Time-Restricted 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-255: Linear Programming (indiv)
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-342: Physical Analytic Methods 
1-OZE-373: Fundamentals of Dynamic Meteorology (indiv)
1-PMA-751: Programming in R (indiv)
1-PMA-752: Solution methods in probability and statistics (indiv)
1-UDG-141: Projective Geometry (1) 
1-UDG-344: Introduction to Algebraic Geometry 
1-UFY-141: Electromagnetism (indiv)
1-UFY-241: Atomic and Nuclear Physics 
1-UIN-141: Programming (2) (indiv)
1-UIN-236: Algorithms and Data Structures (indiv)
1-UIN-349: Programming of Application for WEB (indiv)
1-UMA-107: Geometry (1) 

Master level courses

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-138: Discrete Structures in Informatics and Computer Graphics 
2-AIN-144: Knowledge Representation and Reasoning 
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-238: Graphical Models in Machine Learning 
2-AIN-252: Seminar in Bioinformatics (4) 
2-AIN-286: Ontologies and Knowledge Engineering 
2-AIN-288: Speech Recognition (indiv)
2-AIN-506: Seminar in Bioinformatics (2) 
2-EFM-103: Stochastic Methods of Operational Analysis (indiv)
2-EFM-106: Financial Derivatives 
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-FBF-120: Molecular Biophysics 
2-FBF-121: Membrane Biophysics 
2-FBF-143: Biosensors and Nanotechnologies (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-FFZa-102: Digital Filtering in Geophysics 
2-FFZa-111: Magnetic Field of the Earth 
2-FFZa-210: Seismic Waves and Physics of Earthquakes (2) 
2-FFZa-231: Special Topics in Signal Analysis 
2-FFZa-244: Electromagnetic Sounding (indiv)
2-FFZa-419: Advanced Numerical Methods 
2-FFZa-424: Numerical Modeling of Seismic Wavefields (indiv)
2-FFZa-439: Physics of the Earth Seminar (1) 
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-113: Clouds and Precipitation 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-275: Complex Solutions of Real Environmental Problems 
2-FTF-117: General Relativity 
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-FTL-108: Electric and Optical Properties of Solid Materials 
2-IKV-113: Cognitive Psychology 
2-IKV-122: Semester Project 
2-IKV-136: Computational Cognitive Neuroscience 
2-IKV-137: Modern Methods in Brain Research 
2-IKV-141: Current Trends in Cognitive Psychology 
2-IKV-143: Philosophy of Language 
2-IKV-164: Multiagent Systems 
2-IKV-167: Practical Classes in Robotics 
2-IKV-168: Cognitive Science, Culture and Technique 
2-IKV-181: Meaning and Communication 
2-IKV-183: Psycholinguistics 
2-IKV-185: Robust Statistical Models in Eexperimental Research of Cognition 
2-IKV-186: Theory of Mind 
2-IKV-188: Computational Neuroscience 
2-IKV-189: Natural Language Processing 
2-IKV-190: Cognitive Science and Artificial Intelligence Seminar 
2-IKV-267: Mathematical Logic for Cognitive Science 
2-INF-121: Computability Theory 
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-185: Data Sources Integration 
2-INF-186: Formal Languages and Automata (2) 
2-INF-231: Efficient Parallel Algorithms 
2-INF-237: Selected Topics in Data Structures 
2-INF-262: IT Infrastructure Security (indiv)
2-INF-263: Computer Game Development and Design 
2-INF-500: Databases (indiv)
2-MAT-121: Partial Differential Equations (2) 
2-MAT-122: Nonlinear Functional Analysis (indiv)
2-MAT-123: Variation Calculus 
2-MAT-132: Selected Topics of Mathematical Physics 
2-MAT-216: Field Theory (2) 
2-MAT-221: Universal Algebras and Lattices (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-307: Solutions of Tasks in Optimal Management and of Inversion Problems 
2-MAT-323: Finite Elements Method (1) 
2-MAT-610: Algebraic Number Theory 
2-MAT-611: Seminar in Graph Theory (2) 
2-MAT-623: Universal Algebras and Lattices (4) (indiv)
2-MAT-624: Number Theory (2) (indiv)
2-MMN-110: Applied Functional Analysis (2) (indiv)
2-MMN-125: Managerial Decision-Making 
2-MMN-129: Management Information Systems 
2-MPG-104: Algebraic Geometry (1) 
2-MPG-105: Topology and Functional Analysis 
2-MPG-215: Modelling of Curves and Surfaces (2) 
2-PMS-108: Regression Models (2) 
2-PMS-116: Multivariate Statistical Analysis (2) 
2-PMS-119: Markov Processes(2) (indiv)
2-PMS-121: Sequential Methods (indiv)
2-PMS-126: Seminar in Mathematical Statistics (2) (indiv)
2-PMS-131: Survival Analysis (indiv)
2-PMS-221: Statistical methods in clinical tests (indiv)
2-UDG-264: Selected Topics in Algebraic Geometry 
2-UFY-220: Astronomy and Meteorology (indiv)
2-UXX-108: History of Informatics 

Doctoral level courses

3-FAA-006: Nuclear Atronomy and Astrophysics 
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-FMK-006: Regional Climatology (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 
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)