Dozenten:

Prof. Dr. H. Ulrich Hoppe
Sprechstunde: nach Vereinbarung, email: hoppe@collide.info

M. Sc. Benjamin Cabrera
Sprechstunde: nach Vereinbarung, email: benjamin.cabrera(at)uni-due.de

Vorlesung:

Die Vorlesung Logik wurde speziell für den Komedia-Studiengang (B.Sc.) konzipiert und ist dort dem Bereich der mathematischen Grundlagen zugeordnet.

Die Schwerpunkte der Vorlesung bilden Aussagenlogik und Prädikatenlogik. Außerdem wird eine kurze Einführung in die logische
Programmiersprache Prolog gegeben. Weitere Gebiete werden abschließend überblicksartig dargestellt.

Termin: Donnerstags, 08 - 10 Uhr, LB 107

Übungen

  • Gruppe 1: Montags, 14 - 15 Uhr, LE 120
  • Gruppe 2: Montags, 15 - 16 Uhr, LE 120
  • Gruppe 3: Dienstags, 12 - 13 Uhr, LE 120
  • Gruppe 4: Dienstags, 13 - 14 Uhr, LE 120
  • Gruppe 5: Freitags, 08 - 09 Uhr, LC 137
  • Gruppe 6: Freitags, 09 - 10 Uhr, LC 137
  • Gruppe 7: Donnerstags, 10 - 11 Uhr, LF 125
  • Gruppe 8: Donnerstags, 11 - 12 Uhr, LF 125