Logik WS 07/08

Neuigkeiten | Termine | Motivation | Inhalt | Übungen | Folien | Software | Literatur

Die Vorlesung findet jede Woche an folgenden Terminen statt:

Dienstag, 10:15 - 11:45 (MW 1450), erstmals am 23. Oktober
Freitag, 10:15 - 11:45 (MW 1450), erstmals am 19. Oktober

Die Übung findet jede Woche an folgendem Termin statt:

Freitag, 11:50 - 13:20 (MW 1450), erstmals am 26. Oktober

Dozent:	Prof. Dr. Javier Esparza
Übungen:	Stefan Schwoon