[ 521THEO12 ] Subject Theory

Workload Mode of examination Education level Study areas Responsible person Coordinating university
36 ECTS Accumulative subject examination B1 - Bachelor's programme 1. year Computer Science Martina Seidl Johannes Kepler University Linz
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.
Subordinated subjects, modules and lectures