Infos
Gruppen
Übungsblätter
Software
|
Übung zur Vorlesung Grundlagen der
Logik und Logik-Programmierung
Infos:
Übung im Wintersemester 2008/9. Übungsbeginn ist die Kalenderwoche (KW) 43
am 20.10.2008.
Gruppeneinteilung
Die Einteilung für die Termine (siehe UnivIS) findet in der
ersten Vorlesungsstd. am 14.10.2008 statt.
Wir haben eine Rechnerübung im Raum 01.155 Montags von 10.15-11.45 Uhr
eingerichtet. Diese Übung steht allen Übungsteilnehmern offen.
Übungsblätter
Software
- integrierte Prologumgebung:
zurück zur
Vorlesung
|