Mathematical Logic Group
(Department of Mathematics, University of Bonn)

Mathematik für Informatiker IIa (Logik und diskrete Strukturen)

Sommersemester 04

Vorlesung: Prof. Dr. Peter Koepke, Dr. Benedikt Löwe
Montag, 14 - 16 Uhr, HS D, Römerstrasse


Übungen: Dr. Bernhard Irrgang

Die Übungen finden in Form von Übungsgruppen statt. Die erfolgreiche Teilnahme an den Übungen ist Voraussetzung für die Zulassung zur Klausur. An den Übungen hat erfolgreich teilgenommen, wer jeweils mehr als die Hälfte der in den Übungsblättern und Präsenzübungen möglichen Punkte erreicht.



Ergebnisse der Wiederholungskausur

Die Ergebnisse der Teilnehmer nach neuer DPO hängen inzwischen beim Prüfungsamt Informatik aus. Die Ergebnisse nach alter DPO sind wie folgt:
1613113 26 Punkte
1609235 11 P
1614157 13 P
1489637 31 P

Zum Bestehen der Klausur waren 27 Punkte nötig.

Die Klausuren (alte DPO) und Scheine können bei Herrn Irrgang in der Sprechstunde abgeholt werden.



Wiederholungsklausur

Die Wiederholungsklausur findet am Montag, 04. 10. 04, von 10.30 bis 12.15 Uhr im Audimax in der Römerstrasse statt. Bitte seien Sie rechtzeitig, d.h. schon um 10.15 Uhr, da. Ausserdem müssen Sie Ihren Personalsausweis bzw. Reisepass und Studentenausweis mitbringen. Hilfsmittel wie Skript oder Taschenrechner sind nicht erlaubt.

Aufgabenblatt (als pdf-File)



Ergebnisse der Klausur

Wer die Klausur nach alter DPO mitgeschrieben hat, erhält sie in der Zeit vom 23. Juli bis 30. Juli in den Übungsgruppen zurück. Sie können auch in der Sprechstunde von Herrn Irrgang abgeholt werden. Diese entfällt allerdings am 23. und 30. August. Ersatzweise findet eine Spechstunde am 31. 08. 04, 11 - 12 Uhr statt. Dort, und ab 07. 09. 04 bei Frau Baoues (Beringstrasse 4, Zimmer 27), sind auch die Scheine erhältlich.

Die übrigen Ergebnisse werden im Laufe der Woche vom 26. - 30. Juli vom Prüfungsamt Informatik ausgehängt.

Aufgabenblatt (als pdf-File)



Zulassung und Anmeldung zur Klausur

Zur Klausur kann zugelassen werden, wer in den Übungsblättern mindestens 40 Punkte und in den Präsenzübungen in Schnitt 5 Punkte pro Test, der in der jeweiligen Gruppe stattgefunden hat, erreicht hat. Ob Sie diese Kriterien erfüllen, können Sie in den Übungsgruppen von Ihrem Tutor erfahren.

Wer nach neuer DPO studiert, kann sich bis einschließlich Mittwoch, 07. 07. 04, in seiner Übungsgruppe zur Klausur anmelden. Außerdem können Sie sich bei Herrn Irrgang (Beringstr. 4, Zi 34) in der nächsten Sprechstunde am Montag, 5. Juli 04, 11 - 12 Uhr, anmelden.

Wer nach alter DPO studiert und die Zulassungskriterien erfüllt, kann einfach ohne vorherige Anmeldung an der Klausur teilnehmen.



tutch

tutch-Software (für Linux)

Installationsanleitung (unter Linux)

Eine Mini-Installationsanleitung für tutch unter MacOS X finden Sie hier.



Hinweis zu der in den Übungen verteilten Probeklausur

Leider kann man Aufgabe 6 in der gestellten Form nicht lösen. Um eine Lösung zu erhalten, muss man wohl einige weitere Funktionen hinzufügen. Dadurch wird die Lösung allerdings recht kompliziert. Bitte entschuldigen Sie den Fehler.



Klausur

Zeit: Mittwoch, 21. 07. 04, 10.30 - 12.15 Uhr statt.
Ort: Audimax und HS A

Hilfsmittel, wie Skript oder Taschenrechner, dürfen nicht benutzt werden.

Bitte bringen Sie Ihren Personalausweis bzw. Reisepass und Studentenausweis mit.

Seien Sie bitte schon um 10.15 da.



Diplomstudium Informatik:
Vorlesung 2 Semesterwochenstunden (SWS)
Übungen 2 SWS
Vorlesung mit Übungen = Modul im Sinne der Diplomprüfungsordnung (DPO)
Abschlussprüfung: Klausur Juli 2004, Note und (4) Leistungspunkte sind Teil der Vordiplomprüfung
Voraussetzung zur Zulassung zur Abschlussprüfung: aktive und erfolgreiche Teilnahme an den Übungen

Übungsbetrieb:
2-stündige Übungsgruppen unter Anleitung von Tutoren
Wöchentliche Hausaufgaben, Ausgabe montags, Abgabe bis spätestens montags vor der Vorlesung
Wöchentliche Anwesenheitsaufgaben (Test) in den Übungsgruppen
Hausaufgaben können allein oder in Zweiergruppen eingereicht werden
Erfolgreiche Übungsteilnahme: jeweils 50% der möglichen Punkte in den Hausaufgaben und in den Anwesenheitsaufgaben.

Termine:
19. 04. 2004: 1. Übungsblatt, Eintragung für Übungsgruppen
1. Vorlesungswoche: Festlegung der Übungsgruppen
2. Vorlesungswoche: Beginn der Übungsgruppen, Beginn der Präsenzübungen
Juli 2004: Anmeldung zur Abschlussklausur
voraussichtlich 21. 07. 2004: Abschlussklausur
Semesterferien: Wiederholungsklausur



Die Logik formalisiert die mathematischen Methoden, die in der Vorlesung Mathematik für Informatiker Ia informell eingeführt wurden:
Mathematische Aussagen
Definitionen
Sätze
Schlussfolgerungen
Beweise.

Mathematische Aussagen beziehen sich auf Strukturen, insbesondere eine Schar immer wieder kehrender Grundstrukturen:
Zahlsysteme, Körper, Vektorräume
Relationen
Graphen
Boolesche Algebren.

Wir betrachten hier insbesondere diskrete Strukturen, bei denen kombinatorische und algorithmische Fragen im Vordergrund stehen. Die Methoden der Logik lassen sich in Analogie zu Axiomensystemen und Strukturen auch auf Programmiersprachen und Algorithmen anwenden. Wir betrachten unter diesem Gesichtspunkt auch:
Logisches Programmieren.

Literatur: Uwe Schöning, Logik für Informatiker, 5. Auflage, Spektrum Akademischer Verlag, 2000
Martin Aigner, Diskrete Mathematik, 4. Auflage, Vieweg, 2001

Last changed: October 12, 2004