Hallo
wer will dieses Jahr die KLausur schreiben? Was erwartet uns?
Hat Neidl oder irgend ein Betreuer schon irgendwelche Worte zur KLausur verloren? Wird Herr Brase wieder die Aufgaben bestimmen?
Ich würde auch noch gerne wissen, ob es sich lohnt, alte Übungsaufgaben aus den Vorlesungen "Logik" und "Programmiersprachen und Übersetzer" zu Themen wie Unifikation, Resolution und Prolog nocheinmal vorzuknöpfen.
Und wie sieht es mit dem "klausur-relevanten" Stoff aus? Wurden da schon irgendwelche Einschränkungen gemacht?