Diskrete Mathematik und Logik

Vorlesungsbeginn am Mittwoch, 23.10.24, 10:00-11:30 Uhr, R 513

Die Lehrveranstaltungen zu Diskrete Mathematik und Logik beginnen mit der ersten Vorlesung am Mittwoch, 23.10.2024, um 10:00-11:30 Uhr im R 513. Der Übungsbetrieb wird erst in der zweiten Vorlesungswoche (28.10.-01.11.2024) aufgenommen.

Vorlesung und Übung (6 SWS/9 ECTS)

In dieser Vorlesung werden die mathematischen und logischen Grundlagen der Mathematik, wie sie für die Informatik wichtig sind, eingeführt. Ein Hauptteil der Veranstaltung behandelt dabei die Grundlagen der diskreten Mathematik, in der es vor allem um die Behandlung endlicher (bzw. abzählbar unendlicher) Mengen und Strukturen geht. Ziel der Vorlesung ist das Verständnis von Begriffen, Resultaten und Techniken im Umgang mit kombinatorischen, graphentheoretischen, algebraischen und logischen Fragestellungen.

Termine 

Vorlesung: Mittwoch, 10:00-11:30, R 513 (Sven Kosub)
  Donnerstag, 10:00-11:30, R 513 (Sven Kosub)
Übung: Mittwoch, 13:30-15:00, D 433 (2: Johanna . Gyoerffy @ uni . kn)
  Mittwoch, 15:15-16:45, D 433 (3: Christian . Abdullahad @ uni . kn)
  Mittwoch, 17:00-18:30, D 433 (4: Christian . Abdullahad @ uni . kn)
  Donnerstag, 11:45-13:15, D 432 (5: Philipp . Doerfer @ uni . kn)
  Donnerstag, 15:15-16:45, D 433 (6: Philipp . Doerfer @ uni . kn)
Klausur: Mittwoch, 12.02.2025, 11:00-13:30, R 611 + R 513 (Ersttermin)
  Dienstag, 01.04.2025, 14:00-16:30, R 611 + R 513 (Zweittermin)

Übungsblätter

Übungsblätter werden immer am Freitag (ausschließlich elektronisch) auf der Vorlesungsseite in ILIAS zur Verfügung gestellt.

Die Aufgaben sind innerhalb einer Woche zu bearbeiten. Die freiwillige Abgabe von schriftlichen (Teil)Lösungen als PDF-Datei ist bis Freitag, 23:59 Uhr, per zentralem Upload nach ILIAS möglich. Die Bearbeitung der Aufgaben erfolgt in der Übung. Voraussetzung für die Zulassung zur Klausur ist die aktive Teilnahme an mindestens 80 Prozent der Übungen sowie erfolgreiches Bestehen von mehreren Online-Tests.

Alle Aufgaben können auch in Gruppen bearbeitet werden.

Themen

Folgende Inhalte werden in der Vorlesung behandelt:

  • Logik
  • Mengen
  • Relationen
  • Induktion
  • Kombinatorik
  • Graphentheorie
  • Algebraische Strukturen
  • Logische Systeme

Skriptum

Im Laufe der Vorlesung wird ein Skript zur Vorlesung zur Verfügung gestellt werden. Die jeweils aktuelle Version finden Sie auf der Vorlesungsseite in ILIAS. Sollten Sie Anregungen zum Skript haben oder Fehler jeglicher Art finden, schreiben Sie bitte eine kurze Email.

Literatur

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

  • 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.
  • Bernd Kreußler, Gerhard Pfister. Mathematik für Informatiker. Springer-Verlag, Berlin, 2009.
  • Angelika Steger: Diskrete Strukturen 1. Kombinatorik, Graphentheorie, Algebra. 2. Auflage, Springer-Verlag, Berlin, 2007.
  • Ronald L. Graham, Donald E. Knuth, Oren Patashnik: Concrete Mathematics: A Foundation for Computer Science. 2. Auflage, Addision-Wesley, Reading, MA, 1994.
  • David Makinson. Sets, Logic and Maths for Computing. Undergraduate Topics in Computer Science. 2. Auflage. Springer-Verlag, London, 2012.
  • K A. Stroud, Dexter J. Booth. Engineering Mathematics. 7. Auflage. Palgrave Macmillan, 2013.