Menü
Positionsanzeige
Inhalt

[ 521THEO12 ] Subject (*)Theorie
Versionsauswahl
Es ist eine neuere Version 2021W dieses Fachs/Moduls im Curriculum Bachelor's programme Computer Science 2024W vorhanden.
(*) Unfortunately this information is not available in english.
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 2012W
Objectives (*)Es werden die für die Informatik wichtigen Grundlagen der Mathematik (Analysis, Algebra, Zahlentheorie, Graphentheorie, Kombinatorik, Statistik) und Logik (Prädikatenlogik, formales Definieren, Schließen und Beweisen) sowie die Grundlagen formaler Systeme und Modelle (Automaten, Turingmaschine, Petrinetze, Berechenbarkeit, Entscheidbarkeit, algorithmische Komplexität) vermittelt.
Subject (*)Die Lehrinhalte ergeben sich aus den Lehrinhalten der einzelnen Lehrveranstaltungen.
Subordinated subjects, modules and lectures