Inhalt

Der Kurs bietet eine Einführung in die Diskrete Mathematik.
Ein Skriptum ist innerhalb des Universitätsnetzwerkes und in der Studia (8.50 Euro) verfügbar. Tippfehler im Skriptum werden laufend aktualisiert. Eine Einführung in Formale Konzepte ist für Quereinsteiger verfügbar.
Die Vorlesung orientiert sich inhaltlich an der Vorlesung vom Sommersemester 2012.
Der nachfolgende Zeitplan ist provisorisch.

Zeitplan

Woche	Datum	Themen			Proseminar
1	05.03.	Beweismethoden			pdf
2	12.03.	Relationen und Ordnungen			pdf
3	19.03.	Induktion, Wachstum von Funktionen			pdf
4	09.04.	Graphentheorie			pdf
5	16.04.	Graphentheorie			pdf
6	23.04.	Elementare Zähltheorie			pdf
7	30.04.	Ganze und Rationale Zahlen			pdf
8	07.05.	Reguläre Sprachen			pdf
9	14.05.	Reguläre Sprachen			pdf
10	21.05.	Reguläre Sprachen			pdf
11	28.05.	Turing Maschinen			pdf
12	04.06.	Turing Maschinen, Berechenbarkeit, PCP			pdf
13	11.06.	Proseminartest; Fragen & Antworten zu alten (1, 2, 3) Klausuren			pdf
14	18.06.	Grundbegriffe der Komplexitätstheorie			pdf
15	25.06.	1. Klausur
-	30.09.	2. Klausur
-	10.01.2014	3. Klausur