Inhalt

Der Kurs bietet eine Einführung in die Diskrete Mathematik. Eine Einführung in Formale Konzepte für Quereinsteiger ist verfügbar. Das Skriptum "Diskrete Mathematik - für Informatiker, 3. Auflage" ist auch in der Studia (9.00 Euro) verfügbar. Tippfehler im Skriptum werden laufend aktualisiert.
Die erste Vorlesung findet am 04.03. statt, das erste Proseminar am 11.03.

Zeitplan

Der nachfolgende Zeitplan ist provisorisch.

Woche	Datum	Themen			Proseminar
1	04.03.	Beweismethoden			pdf
2	11.03.	Relationen und Ordnungen			pdf
3	18.03.	Induktion, Wachstum von Funktionen			pdf
4	25.03.	Graphentheorie			pdf
5	01.04.	Graphentheorie			pdf
6	08.04.	Elementare Zähltheorie			pdf
7	29.04.	Ganze und Rationale Zahlen			pdf
8	06.05.	Reguläre Sprachen			pdf
9	13.05.	Reguläre Sprachen			pdf
10	20.05.	Reguläre Sprachen			pdf
11	27.05.	Turing Maschinen			pdf
12	03.06.	Turing Maschinen, Berechenbarkeit, PCP			pdf
13	10.06.	Grundbegriffe der Komplexitätstheorie			pdf
14	17.06.	Fragen & Antworten zu alten (SS 2012: 1, 2, 3; SS 2013: 1, 2) Klausuren			pdf
15	24.06.	1. Klausur
-	03.10.	2. Klausur
-	09. 01.	3. Klausur