Inhalt

[ 521THEO12 ] Studienfach Theorie

Versionsauswahl
Es ist eine neuere Version 2021W dieses Fachs/Moduls im Curriculum Bachelorstudium Informatik 2024W vorhanden.
Workload Form der Prüfung Ausbildungslevel Studienfachbereich VerantwortlicheR Anbietende Uni
36 ECTS Kumulative Fachprüfung B1 - Bachelor 1. Jahr Informatik Armin Biere Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Informatik 2013W
Ziele 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.
Lehrinhalte Die Lehrinhalte ergeben sich aus den Lehrinhalten der einzelnen Lehrveranstaltungen.
Untergeordnete Studienfächer, Module und Lehrveranstaltungen