University of Konstanz
Universität Konstanz
Fachbereich Informatik und Informationswissenschaft

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

+++ Aktuelles +++

Die Lehrveranstaltung ist beendet.

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

Termine

Vorlesung (S. Kosub) Mittwoch, 10:00 - 11:30 Uhr, A 702
Donnerstag, 10:00 - 11:30 Uhr, A 702
Übung Dienstag, 15:15 - 16:45, M 627 (Gruppe A: Fabian.Sperrle @ uni-konstanz.de)
Mittwoch, 11:45 - 13:15, C 358 (Gruppe B: Dominik Bui; nhan.bui @ uni-konstanz.de)
Dienstag, 15:15 - 16:45, R 611 (Gruppe C: Franz.Hahn @ uni-konstanz.de)
Donnerstag, 13:30 - 15:00, R 513 (Gruppe D: Franz.Hahn @ uni-konstanz.de)
Klausur Erster Termin: Mittwoch, 17.02.2016, 10:00-12:00, R 513
Zweiter Termin: Mittwoch, 06.04.2016, 10:00-12:00, D 434

Ü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. Die Abgabe der Lösung als eine aus LaTeX erzeugte PDF-Datei ist bis Freitag, 12:00 Uhr, per Mail an den jeweiligen Tutor möglich. 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 ist Voraussetzung für die Zulassung zur Klausur.

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

Nr. Ausgabe Abgabe Download Lösung

Inhalt

Inhalte der Vorlesung:

  1. Logik
  2. Mengen
  3. Relationen
  4. Induktion
  5. Lineare Algebra
  6. Analysis

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.

Kapitel Datum Version Download
all 11.02.2016 v4.21 PDF

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. Bernd Kreußler, Gerhard Pfister. Mathematik für Informatiker. Springer-Verlag, Berlin, 2009
  3. David Makinson. Sets, Logic and Maths for Computing. Undergraduate Topics in Computer Science. 2. Auflage. Springer-Verlag, London, 2012.
  4. K A. Stroud, Dexter J. Booth. Engineering Mathematics. 7. Auflage. Palgrave Macmillan, 2013.

Weitere Informationen