Inhalt

[ 521THEO12 ] Subject Theory

Versionsauswahl
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 Armin Biere Johannes Kepler University Linz
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.
Subordinated subjects, modules and lectures