SoSe 2006 » Formale Grundlagen der Informatik II
Prof. Dr. Otto
Aktuelles
| 01.11.2006 | Die Ergebnisse der Nachholklausur FGdI 1 hängen jetzt neben Raum S215/209 aus. Die Klausureinsicht ist am Donnerstag, den 9. 11. zwischen 12 und 13 Uhr im Raum S215/201. |
Veranstalter
| Name |
Raum |
Tel. |
| Prof. Dr. Martin Otto | S2|15 207 | 22861 |
| Dr. habil. Achim Blumensath | S2|15 203 | 22865 |
Literatur
- Burris: Logic for Mathematics and Computer Science Prentice-Hall 1998.
- Ben-Ari: Mathematical Logic for Computer Science Springer 1993.
- Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik Spektrum 98.
- Schoening: Logik für Informatiker Spektrum 2000.
Übungen
| Nr. | Zeit | in Raum | bei | Sprechstunde |
|---|
| 1 | Mittwochs, 08:00 - 09:40 | S103/25 | Betim Berjani | |
| 2 | Mittwochs, 08:00 - 09:40 | S103/313 | Sebastian Erdweg | |
| 3 | Mittwochs, 09:50 - 11:30 | S103/121 | Robert Piro | |
| 4 | Mittwochs, 11:40 - 13:20 | S103/112 | Robert Piro | |
| 5 | Mittwochs, 11:40 - 13:20 | S103/113 | Tobias Löw | Mi, 13:25 Uhr - 14:20 Uhr |
| 6 | Mittwochs, 14:25 - 16:05 | S114/265 | Betim Berjani | |
| 7 | Mittwochs, 14:25 - 16:05 | S103/12 | Sebastian Erdweg | |
| 8 | Donnerstags, 14:25 - 16:05 | S103/125 | Achim Blumensath | |
Impressum | Datenschutzerklärung