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

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

Sommersemester 05

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


Übungen: Dr. Bernhard Irrgang

Den Beweis-Checker zur Vorlesung finden Sie hier.

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.


Klausur

Dienstag, 26. 07. 05, 9.30 - 11.15 Uhr, Audimax und HS D (Römerstrasse)

Aufgabenblatt (als pdf-File)

Alte DPO: Die Klausur bestanden haben die Teilnehmer mit den Matrikelnummern 1601388, 1527844, 1347185, 1494626, 1524799, 1525009, 1609235, 1588042, 1630839, 1238349, 1614157. Scheine können bei Frau Reuther (Beringstr. 4, Zimmer 27) abgeholt werden.

Neue DPO: Die Ergebinsse hängen im Prüfungsamt Informatik aus. Die Klausuren können bis zum 19. September in der Sprechstunde bei Herrn Irrgang eingesehen werden.


Wiederholungsklausur

Montag, 26. 09. 05, 9.30 - 11.15 Uhr, HS B und HS D (Römerstrasse)

Aufgabenblatt (als pdf-File)

Alte DPO: Die Klausur bestanden haben die Teilnehmer mit den Matrikelnummern 1472734, 1397264, 1498687, 1621549, 1617729. Scheine können bei Frau Reuther (Beringstr. 4, Zimmer 27) abgeholt werden.

Neue DPO: Die Ergebinsse hängen beim Prüfungsamt Informatik aus. Ein Termin zur Klausureinsicht wird vom Prüfungsamt angeboten.



Diplomstudium Informatik:
Vorlesung 2 Semesterwochenstunden (SWS)
Übungen 2 SWS
Vorlesung mit Übungen = Modul im Sinne der Diplomprüfungsordnung (DPO)
Abschlussprüfung: Klausur Juli 2005, 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:
April 2005: 1. Übungsblatt, Eintragung für Übungsgruppen
1. Vorlesungswoche: Festlegung der Übungsgruppen
2. Vorlesungswoche: Beginn der Übungsgruppen, Beginn der Präsenzübungen
Juli 2005: Anmeldung zur Abschlussklausur
26. Juli 2005: Abschlussklausur (siehe oben)
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: March 31, 2006