Markus Bender

Logik für Informatiker Sommer 2014

Zeiten und Räume:
Gruppe 1: Donnerstags 08:00 s.t.-09:00 in A 213
Gruppe 2: Donnerstags 09:00 s.t.-10:00 in A 213
Gruppe 3: Freitags 08:00 s.t.-09:00 in G 409 Mit Gruppe 4 zusammengelegt.
Gruppe 4: Freitags 09:00 s.t.-10:00 in G 409
Beginn ist der 24.04.14/25.04.14
Homepage der Vorlesung
Homepage
Newsgroup:
infko.logik (Verhalten in den Newsgroups)

Alte Kausuren:

Material:

Aufgabenblätter:

Hier erscheinen Freitags gegen 16:00 Uhr die Aufgabenblätter.
Die Aufgabenblätter finden Sie auch in der aktuellsten Version im svn.
Die fristgerechte Abgabe kann im Allgemeinen bis Punkt 15:00 Uhr am Freitag nach der Ausgabe erfolge. Das jeweilige Ende der Abgabefrist ist auf den Aufgabenblättern vermekt.
Für Diskussionen, Fragen, etc rund um die Übungsblätter bietet sich die Newsgroup an.
Die Lösungen finden Sie im Allgemeinen 1 Stunde nach Ende der Abgabefrist im svn.

Abgaben:

Wichtige Punkte zu SVN:

SVN Kurzinfo:

Prolog