Einführung in die Mathematische Logik

• Manfred Burghardt (manfred (at) math.uni-bonn.de), Be4Zi34, Phone 73-3793; Sprechstunde: Dienstag 12:30 - 13:30 Uhr
• Benedikt Löwe (loewe (at) math.uni-bonn.de), Be4Zi24, Phone 73-2928

• Matthias Enders (enders (at) math.uni-bonn.de), Be4Zi25, Phone 73-3352; Sprechstunde: Dienstag, 12:00 - 13:30 Uhr
• Philipp Rohde (rohde (at) math.uni-bonn.de), Be4Zi25, Phone 73-3352; Sprechstunde: Mittwoch, 12:30 - 14:00 Uhr

• Montag 16 - 18 Uhr, SR B, Übungsgruppenleiter: Matthias Enders
• Mittwoch 16 - 18 Uhr, SR F, Übungsgruppenleiter: Philipp Rohde

Übungsblätter:

• Aufgabenblatt 1 (PostScript-File) (dvi-File)
• Aufgabenblatt 2 (PostScript-File) (dvi-File)
• Aufgabenblatt 3 (PostScript-File) (dvi-File)
• Aufgabenblatt 4 (PostScript-File) (dvi-File)
• Aufgabenblatt 5 (PostScript-File) (dvi-File)
• Aufgabenblatt 6 (PostScript-File) (dvi-File)
• Aufgabenblatt 7 (PostScript-File) (dvi-File)
• Aufgabenblatt 8 (PostScript-File) (dvi-File)
• Aufgabenblatt 9 (PostScript-File) (dvi-File)
• Aufgabenblatt 10 (PostScript-File) (dvi-File)
• Aufgabenblatt 11 (PostScript-File) (dvi-File)
• Aufgabenblatt 12 (PostScript-File) (dvi-File)
• Aufgabenblatt 13 (PostScript-File) (dvi-File)
• Aufgabenblatt 14 (PostScript-File) (dvi-File)

Informationen zur PROLOG-Anwendung in der Vorlesung:

• Wir haben Strawberry PROLOG verwendet.
• Das PROLOG-Programm zur Identifikation von Formeln der Mengenlehre und zur Durchführung syntaktischer Operationen findet man hier.
• Die Dokumentation einer Sitzung mit diesem Programm ist ebenfalls abrufbereit.