
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.

