-
EAC
-
Lehre
-
Sommersemester 2021
Vorlesung: Formale Methoden I
und Programmierung 2 (DAP 2) benötigten mathematischen Grundlagen für Studierende der Bachelorstudiengänge Lehramt Informatik Gy/Ge und BK, die nicht Mathematik als zweites Fach gewählt haben. Inhaltlich [...] D. (2012). Mathematisches Problemlösen und Beweisen. Springer Spektrum. Das Buch ist aus dem Hochschulnetz der TU Dortmund als pdf-Dokument verfügbar. Jukna, S. (2008). Crashkurs Mathematik für Informatiker [...] Inhaltlich geht es u.a. um Grundbegriffe aus der Logik und mathematische Beweistechniken, insbesondere vollständige Induktion, Mengen, Relationen und Abbildungen, Folgen und Reihen, Grundbegriffe der Graphentheorie …