Universität Karlsruhe
Institut für Theoretische Informatik
Prof. P. H. Schmitt
Steffen Schlager
Formale Systeme
Übungen zur Vorlesung im Wintersemester 2006/2007
Aktuelles
- Die
Vorlesungsbefragung findet in der Vorlesung am Do., den 25.1. statt
Termine
- Klausur: 22.2., 14.00-15.00 Uhr
- Nachklausur: 5.4., 9.00 Uhr
Vorlesungszeiten:
Do. 14:00-15:30 (Gaede-Hoersaal)
Fr. 11:30-13:00 (Gaede-Hoersaal)
Donnerstag
|
Freitag
|
26.10.
Vorlesung
|
27.10.
Vorlesung |
| 02.11.
Vorlesung |
03.11.
Übung |
| 09.11.
Vorlesung |
10.11.
Vorlesung |
| 16.11.
Vorlesung |
17.11.
Übung |
| 23.11.
Vorlesung |
24.11.
Vorlesung |
| 30.11.
Vorlesung |
01.12. Übung |
| 07.12.
Vorlesung |
08.12.
Vorlesung |
| 14.12.
Vorlesung |
15.12.
Übung |
| 21.12.
Vorlesung |
22.12.
Vorlesung |
Weihnachten
|
| 11.01.
Vorlesung |
12.01.
Vorlesung |
| 18.01.
Vorlesung |
19.01.
Übung |
| 25.01.
Vorlesung |
26.01.
Vorlesung |
| 01.02.
Vorlesung |
02.02.
Übung
|
| 08.02.
Vorlesung |
09.02.
Vorlesung |
| 15.02.
Vorlesung |
16.02.
Übung
|
Übungsaufgaben
Alte Klausuren
Skriptum und Folien zur
Vorlesung
Das Skriptum zur Vorlesung steht als PDF-Datei
zur Verfügung.
Die Folien zur Vorlesung können hier
heruntergeladen werden.