*hypf*

Ich habe mal die Mitschriften hineingestellt, soweit sie vollständig sind. Es gibt noch einige Abschnitte, wo [XXX: irgendwas] steht, da ergänze ich noch.

Update: Abschnitt 1 ist nun vollständig, inklusive aller Bilder.

Wenn irgendwo Fehler sind, etc. – bitte melden.

Mitschriften

• Vorlesungsmitschriften

Übungen

• Übungsserie 1: Boolesche Algebren (Abgabe: 2007-11-19)
• Übungsserie 2: Aussagenlogik (Abgabe: 2007-12-17)
• Übungsserie 3: Prädikatenlogik (Abgabe: 2008-01-07)