[Logikprogrammierung] Alte Lösungen

[LonliLokli]

Guten Tag,
ich bin auf der Suche nach den Musterlösungen für die Übungsaufgaben (vom 2008 oder 2006 wären für mich am meisten interessant). Da der Lehrstuhl die Lösungen freundlicherweise digital angeboten hat, sollte jemand sie bestimmt auf der Festplatte rumliegen haben.

LG, ll.

[LonliLokli]

Für alle, die sich dafür interessieren:
http://verify.rwth-aachen.de/lp08/
Mittlerweile kann man von der HP eine Lösung runterladen.

LG, ll.

PS
Ältere Lösungen sind auch der ent. Seite auch verfügbar.

[MaoDelinSc]

Hat sich jemand gemerkt, wann die Einsicht ist? Prof Giesl hat das kurz vor der Klausur zwar erwähnt, aber da hatte ich den Kopf mit anderen Dingen voll xD

Auf der Homepage steht noch nix...

[C-Otto]

"Exam inspection on March 3, 2011, 14:00 - 16:00, Room 5054 (this building)" steht auf der Folie

[MaoDelinSc]

"Exam inspection on March 3, 2011, 14:00 - 16:00, Room 5054 (this building)" steht auf der Folie

Danke

Aber auf welcher Folie? Hab grad die Homepage nochmal abgesucht, weil ich dachte, dass ich das doch nicht übersehen kann und auf den VL-Transparencies (hab nur erste und letzte geguckt) steht nix und auf den Notenbekanntgabefolien auch nix - und mehr sind da doch gar nicht oO

btw wie immer sehr schnelle Korrektur

[C-Otto]

Ich rede von der Folie, die während der Klausur aufgelegt wurde (veröffentlicht wurde diese Folie nicht).