 |
| Detailed information |
| Original study plan |
Bachelor's programme Computer Science 2013W |
| Objectives |
To convey those foundations of Mathematics, Logic and Formal Systems which are most 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.
|
|
