Vorlesung Logik (WS 2010/11)

Organisatorisches


Einige Themen


Aktuelle Version der Folien


Übungen

Die Übungen werden von Dr. Ingmar Meinecke organisiert.

Wir benutzen zur Kommunikation und Organisation der Übungen das Online Learning And Training (OLAT):


Lehrbücher


Software


Veranschaulichung von Algorithmen

(implementiert von Roy Mennicke)
Impressum
Last modified: Thu Oct 2 19:10:17 CEST 2003