Introduction to Theoretical Computer Science
bachelor program
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) | ||||
2 | 13.10. | Logik: Wahrheitstafeln, Äquivalenzen | pdf (1 | 2 | 4) | ||||
3 | 20.10. | Logik: Beweiskalkül, Normalformen | pdf (1 | 2 | 4) | ||||
4 | 27.10. | Logik: Boolesche Algebra | pdf (1 | 2 | 4) | ||||
5 | 03.11. | Logik: Boolesche Algebra, Universelle Algebra | pdf (1 | 2 | 4) | ||||
6 | 10.11 | Logik: Gleichungslogik, Schaltalgebra | pdf (1 | 2 | 4) | ||||
7 | 17.11 | Formale Sprachen: Wortmonoid, Grammatiken | pdf (1 | 2 | 4) | ||||
8 | 24.11 | Formale Sprachen: Reguläre Sprachen | pdf (1 | 2 | 4) | ||||
9 | 01.12 | Formale Sprachen: Kontextfreie Sprachen | pdf (1 | 2 | 4) | ||||
- | 08.12 | Maria Empfängnis | A, B | ||||
10 | 15.12 | Formale Sprachen: Turingmaschinen | pdf (1 | 2 | 4) | ||||
11 | 12.01. | Formale Sprachen: Turingmaschinen, Registermaschinen | pdf (1 | 2 | 4) | ||||
12 | 19.01. | Programmverifikation: Hoare-Kalkül | pdf (1 | 2 | 4) | ||||
13 | 28.01. | Verschlüsselung | pdf (1 | 2 | 4) | ||||
14 | 02.02. | 1. Klausur | |||||
27.02. | 2. Klausur | ||||||
15.10. | 3. Klausur |