You are here: Faculty of Informatics » Admission » Master » Come to study Embedded Systems » List of courses

List of courses

Required and Selective Courses – Core II

PA102 Software Engineering I
PA152 Database System Implementation
PA159 Net-Centic Computing I
F2070 Electrics and Magnetism
F5120 Electronics
SDIPR Diploma Thesis
SOBHA Defence of Thesis
SZMIN State Exam

3 courses from the list below:
MA002 Calculus III
MA006 Set Theory
MA007 Mathematical Logic
MA009 Algebra II
MA010 Graph Theory
MA012 Statistics II
MA015 Graph Algorithms
M2110 Linear Algebra and Geometry II
M4180 Numerical Methods I
M5110 Rings and Modules
M7130 Geometric Algorithms
M7150 Category Theory
M7190 Game Theory
M9100 Numerical Methods for Solving Differential Equations
M0170 Cryptography

3 courses from the list below:
IA006 Selected Topics on Automata Theory
IA008 Computational Logic
IA009 Parallel Computing
IA011 Programming Language Semantics
IA012 Complexity
IA014 Functional Programming
IA023 Petri Nets
IA038 Types and Proofs
IA039 Supercomputer Architecture and Intensive Computations
IA046 Computability
IA062 Randomised Algorithms and Computations
IA101 Algorithmics for Hard Problems
IA157 Logical Analysis of Natural Language

Required Courses of the field of study Embedded Systems

IA159 Formal Verification Methods
IA158 Real Time Systems
IA162 Design of Embedded Systems
PA174 Digital Computer Construction II
PA175 Computer Diagnostics II
PA176 Digital Computer Architecture II
PV079 Applied Cryptography
PV191 Project of Designing Digital Computer
F4250 Application of Electronics
F5190 Practical Electronics

Selective Courses of the field of study Embedded Systems

IA006 Selected topics on Automata Theory
IA101 Algorithms for Hard Problems
IV010 Communication and Parallelism
IV111 Probability in computer Science
PA008 Compiler Constructions
PA104 Team Project Management
PA150 Advanced Operating System Concepts
PA152 Database System Implementation
PA160 Net-Centric Computing II
PA162 Graphic Algorithms and Signal Processing Using DSP and FPGA
PV017 Information Technology Security
PV077 UNIX – Programming System Management
PV090 UNIX – Seminar of System Management
PV157 Authentication and Access Control
PV169 Communication System Basics
PV183 Computer Networks Technology
MA010 Graph Theory
MA012 Statistics II
MA015 Graph Algorithms
M4180 Numerical Methods I
M8170 Coding
M9100 Numerical Methods for Solving Differential Equations
M0170 Cryptography

Detailed information about all subjects are on: http://is.muni.cz/predmety/?jazyk=en