University of Konstanz
Universität Konstanz
Fachbereich Informatik und Informationswissenschaft

"Mathematische Grundlagen der Informatik" 1 (Vorlesung und Übung)

+++ Aktuelles +++

Die Lehrveranstaltung ist beendet.

Auf dieser Seite werden alle wichtigen Mitteilungen zur Vorlesung "Mathematische Grundlagen der Informatik I" von Dr. Sven Kosub gesammelt.

Termine

Vorlesung (S. Kosub) Do, 14:15 - 15:45 Uhr, A 702
Übung Mo, 16:15 - 17:45 Uhr, M 629 (Gruppe A: Miriam Schneider)
Di, 08:30 - 10:00 Uhr, D 247 (Gruppe C: Manuel Brendle)
Do, 16:15 - 17:45 Uhr, F 425 (am 13.11.2008 im G 306 und am 20.11.2008 im E 404) (Gruppe B: Stefan Wolf)
Klausur Erster Termin: Do, 12.02.08, 14 - 16 Uhr, A 702
Zweiter Termin: Fr, 17.04.09, 9 - 11 Uhr, A 703

Übungsblätter

Übungsblätter werden immer am Freitag (ausschließlich elektronisch) auf der Vorlesungswebseite als PDF-Datei zur Verfügung gestellt.

Die Aufgaben sind innerhalb einer Woche zu bearbeiten und werden als schriftliche Ausarbeitungen bei den "Briefkästen" auf F4 bis spätestens Freitag 12:00 Uhr abgegeben. Die Besprechung der Aufgaben und die Rückgabe der korrigierten und mit Punkten bewerteten Abgaben erfolgt in der Übung. Das Erlangen von mindestens der Hälfte der möglichen Punkte und die regelmäßige, aktive Teilnahme an den Übungen ist Voraussetzung für die Zulassung zur Klausur.

Alle Aufgaben können und sollen in Zweiergruppen abgegeben werden.

Nr. Ausgabe Abgabe Download

Inhalt

Inhalte der Vorlesung:

  1. Logik
    • Aussagen
    • Logische Verknüpfungen
    • Rechnen mit logischen Verknüpfungen
    • Aussageformen
    • Aussagen mit Quantoren
    • Beweise
  2. Mengen
    • Definitionen
    • Mengenoperationen
    • Potenzmenge
    • Kartesisches Produkt
  3. Relationen
    • Definitionen
    • Funktionen
    • Ordnungen
    • Äquivalenzrelationen
  4. Induktion
    • Vollständige Induktion
    • Allgemeine Form der vollständigen Induktion
    • Mächtigkeit von Mengen

Vorlesungsaufzeichnungen finden Sie hier.

Skript

Im Laufe der Vorlesung wird ein Skript zur Vorlesung zur Verfügung gestellt werden. Die jeweils aktuelle Version finden Sie hier. Sollten Sie Anregungen zum Skript haben oder Fehler jeglicher Art finden, schreiben Sie bitte eine kurze Mail. (Download nur lokal von Rechnern im Uni-Netz möglich!)

Literatur

Ergänzendes und vertiefendes Material zu Vorlesung und Skriptum findet sich in folgenden Lehrbüchern:

  1. Christoph Meinel, Martin Mundhenk. Mathematische Grundlagen der Informatik. Mathematisches Denken und Beweisen. Eine Einführung. 3., überarbeitete und erweiterte Auflage. B. G. Teubner Verlag, Wiesbaden, 2006.
  2. Angelika Steger. Diskrete Strukturen. Band 1: Kombinatorik - Graphentheorie - Algebra. 2. Auflage. Springer-Verlag, Berlin, 2007

Weitere Informationen