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 2021S
Ziele Studierende beherrschen 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).
Lehrinhalte Die Lehrinhalte ergeben sich aus den Lehrinhalten der einzelnen Lehrveranstaltungen.
Untergeordnete Studienfächer, Module und Lehrveranstaltungen