en | de

Discrete Mathematics

bachelor program

VO3 + PS2  SS 2018  703014 + 703015

Inhalt

Der Kurs bietet eine Einführung in die Diskrete Mathematik. In der Vorlesung werden die folgenden Themen behandelt, die im Proseminar in weiterführenden Übungen vertieft werden.

Eine Einführung in Formale Konzepte für Quereinsteiger ist verfügbar. Die Vorlesung orientiert sich inhaltlich an der Vorlesung vom Sommersemester 2017.

Skriptum

Skriptum (7te Auflage, doppelseitig)    pdf    errata

Empfohlene Literatur

D.~Tonien, A Simple Visual Proof of the Schröder-Bernstein Theorem, Elem. Math. 62 (2007), 118-120.

J.L. Hein, Discrete Structures, Logic, and Computability, Jones and Bartlett Publishers, 2002.

J.E. Hopcroft, R. Motwani, D. Ullman, Einführung in die Automatentheorie, Formale Sprachen und Komplexität, Pearson Studium, 2002.

M. Sipser, Introduction to the Theory of Computation, Course Technology, 2012.