Dozenten:

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

M.Sc. Laura Steinert
Sprechstunde: nach Vereinbarung, email: steinert@collide.info

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: Mittwochs, 12 - 13 Uhr, LE 120
  • Gruppe 6: Mittwochs, 13 - 14 Uhr, LE 120
  • Gruppe 7: Donnerstags, 10 - 11 Uhr, LE 120
  • Gruppe 8: Donnerstags, 11 - 12 Uhr, LE 120