Markus Bender

Logik für Informatiker Sommer 2017

Zeiten und Räume:
Gruppe 1: Donnerstags 08:00 s.t.-09:00 in G 309
Gruppe 2: Donnerstags 09:00 s.t.-10:00 in G 309
Gruppe 3: Freitags 08:00 s.t.-09:00 in G 409(vorerst ausgesetzt)
Gruppe 4: Freitags 09:00 s.t.-10:00 in G 409
Beginn: 20.04.17/21.04.17
Verweise: Vorlesung, Übung in KLIPS, Vorlesung in KLIPS
Newsgroup: infko.logik (Verhalten in den Newsgroups)
Abgabegruppen: Einteilung in Abgabegruppen(06.04.17-25.04.17)

Alte Kausuren:

Material:

Aufgabenblätter:

Hier (und im svn) erscheinen Freitags gegen 12:00 Uhr die Aufgabenblätter.
Das jeweilige Ende der Abgabefrist ist auf den Aufgabenblättern vermerkt.
Für Diskussionen, Fragen, etc rund um die Übungsblätter bietet sich die Newsgroup an.
Die Lösungen finden Sie im Allgemeinen kurz nach Ende der Abgabefrist im svn.

Abgaben:

Wichtige Punkte zu SVN:

Prolog