Introduction to Theoretical Computer Science

bachelor program

VO2 + PS1  WS 2014/2015  703007 + 703062

Inhalt

Der Kurs bietet eine Einführung in die Theoretische Informatik.
Die Vorlesung orientiert sich inhaltlich an der Vorlesung vom Wintersemester 2013/2014.
Das Skriptum "Einführung in die Theoretische Informatik, 4. Auflage" ist innerhalb des Universitätsnetzwerkes und in der Studia Technik (5.50 Euro) verfügbar. Die aktuelle Auflage kann neben der 3. Auflage von Georg Moser verwendet werden. Tippfehler im Skriptum werden laufend aktualisiert.
Die erste Vorlesung findet am 06.10. statt, das erste Tutorium am 09.10. und das erste Proseminar am 10.10.

Zeitplan

Der nachfolgende Zeitplan ist provisorisch.
week date topics slides exercises
0 06.10. Organisation pdf (1 | 2 | 4)
1 06.10. Motivation, Überblick, Einführung in die Logik pdf (1 | 2 | 4) pdf
2 13.10. Logik: Wahrheitstafeln, Äquivalenzen pdf (1 | 2 | 4) pdf
3 20.10. Logik: Beweiskalkül, Normalformen pdf (1 | 2 | 4) pdf
4 27.10. Logik: Boolesche Algebra pdf (1 | 2 | 4) pdf
5 03.11. Logik: Boolesche Algebra, Universelle Algebra pdf (1 | 2 | 4) pdf
6 10.11 Logik: Gleichungslogik, Schaltalgebra pdf (1 | 2 | 4) pdf
7 17.11 Formale Sprachen: Wortmonoid, Grammatiken pdf (1 | 2 | 4) pdf
8 24.11 Formale Sprachen: Reguläre Sprachen pdf (1 | 2 | 4) pdf
9 01.12 Formale Sprachen: Kontextfreie Sprachen pdf (1 | 2 | 4) pdf
- 08.12 Maria Empfängnis A, B
10 15.12 Formale Sprachen: Turingmaschinen pdf (1 | 2 | 4) pdf
11 12.01. Formale Sprachen: Turingmaschinen, Registermaschinen pdf (1 | 2 | 4) pdf
12 19.01. Programmverifikation: Hoare-Kalkül pdf (1 | 2 | 4) pdf
13 28.01. Verschlüsselung pdf (1 | 2 | 4) pdf
14 02.02. 1. Klausur
27.02. 2. Klausur
15.10. 3. Klausur