 |
| Detailed information |
| Original study plan |
Bachelor's programme Computer Science 2021W |
| Objectives |
Students are proficient in the foundations of Mathematics, Logic and Formal Systems relevant for Computer Science.
- Mathematics: analysis, algebra, number theory, graph theory, combinatorics, statistics;
- Logic: predicate logic, formal specification, reasoning, proofs.
- Formal Systems: automata theory, Turing machine, Petri nets, computability, decidability, algorithmic complexity.
|
| Subject |
The contents of this subject result from the contents of its courses.
|
|
