Fachrat Informatik - Forum

Er wird die ersten beiden Übungen (also heute und nächste Woche) als Vorlesung nutzen.

Ab nächste Woche gibt es vorauss. das erste Übungsblatt, welches in zwei Wochen dann in der Übung besprochen wird. (keine Bonusregelung, soweit ich weiß)

Die Prüfung kann, wenn die Teilnehmeranzahl nicht mehr signifikant ansteigt, mündlich sein.

Heute hat er sich mit Stoff beschäftigt, der zu großen Teilen aus "Logik" bei Holz bekannt ist. Aussagenlogik, Formeln, Erfüllbarkeit, bis hin zu Resolution. Er wird versuchen, zeitnah (ca. bis eine Woche nach Vorlesung) ein Skript in's Netz zu stellen.

Wann ist denn immer die Vorlesung und Übung?

Die Infos zur Vorlesung gibt's hier:
http://www.thi.uni-hannover.de/lehre/ws07/ab/

Vorlesung: Mi. 9h-11h (c.t.), Raum F435

Übung: Mi.11:00-11:45, Raum F435

wie bereits gesagt: nächste woche wird in der Übung ausnahmsweise die Vorlesung fortgesetzt.

Mir persönlich hat die Vorlesung sehr gut gefallen, ich mag ja dieses Geplauder aus dem mathematischen Nähkästchen, das lockert so eine Vorlesung immer ein bisschen auf (vor allem bei T-Katalog Vorlesungen ist das ja ganz angenehm). Er benutzt eine etwas andere Notation (z.B. für Resolution) als Holz, aber im Endeffekt ist es nichts (oder zumindest kaum) neues gewesen.