|
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.
|
|