You are not logged in.

Jojo

Trainee

  • "Jojo" is male
  • "Jojo" started this thread

Posts: 94

Date of registration: Nov 16th 2005

Location: Foreign Recruit :)

Occupation: Programmierer

1

Wednesday, October 31st 2007, 11:37am

Algor. Beweisen

wie war heute die Vorl. und die Uebung ? Hat man was verpasst ?

derSmutje

Alter Hase

  • "derSmutje" is male

Posts: 295

Date of registration: Dec 7th 2004

2

Wednesday, October 31st 2007, 2:12pm

Was war los bei Alg. Beweisen

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.
/join #inf

Dot

Senior Schreiberling

Posts: 618

Date of registration: Feb 3rd 2003

Location: Ex-Europameisterland

Occupation: 4TheScience

3

Thursday, November 1st 2007, 6:53pm

Wann ist denn immer die Vorlesung und Übung?
C:\reality.sys has errors - Reboot the universe? (Y/N)

Real programmers don't comment their code.
It was hard to write, it should be hard to understand

derSmutje

Alter Hase

  • "derSmutje" is male

Posts: 295

Date of registration: Dec 7th 2004

4

Thursday, November 1st 2007, 11:13pm

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.
/join #inf

EnteTaylor

Trainee

  • "EnteTaylor" is male

Posts: 111

Date of registration: Oct 24th 2003

Location: Göttingen

Occupation: weil's toll is

5

Friday, November 2nd 2007, 10:48am

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.
Meine Gedächtnisprotokolle: www.janwy.de