SS 2004: Logik in der Informatik

Termine

Vorlesung	Mo 10:30 - 12:00	H-C 3303
	Di 14:15 - 15:45	H-C 5324
Übung	Di 16:00 - 17:30	H-B 7409

Übungsblätter

Übung 1	pdf.gz	pdf	ps	ps.gz
Übung 2	pdf.gz	pdf	ps	ps.gz
Übung 3	pdf.gz	pdf	ps	ps.gz
Übung 4	pdf.gz	pdf	ps	ps.gz
Übung 5	pdf.gz	pdf	ps	ps.gz
Übung 6	pdf.gz	pdf	ps	ps.gz
Übung 7	pdf.gz	pdf	ps	ps.gz
Übung 8	pdf.gz	pdf	ps	ps.gz
Übung 9	pdf.gz	pdf	ps	ps.gz
Übung 10	pdf.gz	pdf	ps	ps.gz
Übung 11	pdf.gz	pdf	ps	ps.gz
Übung 12	pdf.gz	pdf	ps	ps.gz

Literatur

Die Vorlesung orientiert sich an dem Buch:
Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik, Spektrum Verlag, 4. Auflage 1998.
Eine Vorlesungsmitschrift dem Jahr 2003 gibt's hier oder auf der homepage von Lars Weiser

Prüfungen

Hier gibt's einen Leitfaden zur Prüfungsvorbereitung: pdf ps (aus dem SS 2003)