Diskrete Strukturen - Winter 15

Term

Winter 15/16

Lecturer

Univ.-Prof. Dr. Hans-Joachim Bungartz

Time and Place

Vorlesung:

Dienstag, 13:45 - 15:15 MI HS 1 (zusätzlich Videoübertragung Interimshörsaal 1)

Donnerstag, 10:15 - 11:45 MW 0001 (zusätzlich Videoübertragung Interimshörsaal 1)

Audience

Modul IN0015

Informatik (Bachelor): Pflichtfach

Wirtschaftsinformatik (Bachelor): Pflichtfach

Bioinformatics (Bachelor): Pflichtfach

Informatik: Games Engineering (Bachelor): Pflichtfach

Tutorials

Dr. Michael Luttenberger

Link zur Übungswebseite

Exam

13. Februar 2016, Zeit: 11:00 Uhr bis 14:00 Uhr (Details siehe unter Klausur!)

Wiederholungsklausur: 05. April 2016, Zeit: 11:00 Uhr bis 14:00 Uhr

Semesterwochenstunden / ECTS Credits

6 SWS (4V + 2Ü) / 8 Credits

TUMonline

Vorlesung

Tutorübungen

---

Aktuelle Informationen

• Am 03.12.2015 findet aufgrund des Dies academicus keine Vorlesung statt

Vorlesung

Organisatorisches

• Organisation

Inhalt

• Einleitung
• Mathematische und notationelle Grundlagen
  • Mengen
  • Relationen und Abbildungen
  • Aussagen- und Prädikatenlogik
    • Aussagenlogik I
    • Aussagenlogik II
    • Prädikatenlogik
  • Beweismethoden
  • Wachstum von Funktionen
• Kombinatorik
  • Ziehen von Elementen aus einer Menge
  • Kombinatorische Beweisprinzipien
  • Fundamentale Zählkoeffizienten
  • Bälle und Urnen
• Graphentheorie
  • Grundlagen
  • Bäume
  • Euler- und Hamiltonkreise
  • Planarität und Färbung
  • Matchings
• Zahlentheorie und Algebraische Kalküle
  • Algebren
  • Gruppen
  • Endliche Körper
  • RSA

Änderungen an den Folien

• Mengen (Foliensatz 2)
  • Folie 5: "deutschen" in letzte Zeile eingefügt

Übungen

Link zu den Übungen

Klausur

Die Klausur findet am Samstag, den 13. Februar 2016 von 11:00 bis 14:00 in folgenden Räumen statt:

• MI HS1 (Friedrich L. Bauer Hörsaal)
• Interims 1
• Interims 2
• MW 0001 (Gustav-Niemann-Hörsaal)
• MW 2001 (Rudolf-Diesel-Hörsaal)
• MW 1801 (Ernst-Schmidt-Hörsaal)
• MW 0350
• Physik 1 (Rudolf-Mößbauer-Hörsaal)

Die Wiederholungsklausur findet am Dienstag, den 5. April 2016 von 11:00 bis 14:00 statt.

Bei den Klausuren sind keine Hilfsmittel außer einem beidseitig handbeschriebenen DIN-A4-Blatt zugelassen.

Alte Klausuren

Die folgenden Klausuren sind unter wechselnden Dozenten und Übungsleitungen entstanden.

Die alten Klausuren sind hier verlinkt um einen Eindruck zu vermitteln, wie eine DS-Klausur aussehen kann. Man kann sich die eine oder andere Aufgabe vornehmen, ein komplettes Durchrechnen früherer Klausuren ist aber allein nicht zielführend.

• WS2007/08 (Dozent: Prof. Westermann, Übungsleitung: Dr. Meixner)
• WS2008/09 (Dozent: Prof. Esparza, Übungsleitung: Dr. Meixner)
• WS2009/10 (Dozent: Prof. Esparza, Übungsleitung: Dr. Meixner)
• WS2010/11 (Dozent: Prof. Mayr, Übungsleitung: Dr. Meixner)
• WS2011/12 (Dozent: Prof. Mayr, Übungsleitung: Dr. Meixner)
• WS2012/13 (Dozent: Prof. Mayr, Übungsleitung: Dr. Meixner)
• WS2013/14 (Dozent: Prof. Esparza, Übungsleitung: Luttenberger)
• WS2013/14 Wdh (Dozent: Prof. Esparza, Übungsleitung: Luttenberger)

Literatur

• A. Steger: Diskrete Strukturen, Band 1: Kombinatorik, Graphentheorie, Algebra, (Zweite Auflage) Springer, 2007
• M. Aigner: Diskrete Mathematik, Vieweg+Teubner, 2006 (6. Auflage)
• U. Schöning: Logik für Informatiker . 5. Auflage, Spektrum, 2000.
• K.H. Rosen: Discrete Mathematics And Its Applications, (Several Editions) http://www.mhhe.com/math/advmath/rosen/
• R.L. Graham, D.E. Knuth, O. Patashnik: Concrete Mathematics: a Foundation for Computer Science, Addison-Wesley, 1994
• D. Gries, F.B. Schneider: A Logical Approach to Discrete Math, Springer, 1993
• S. Pemmaraju, S. Skiena: Computational Discrete Mathematics: Combinatorics and Graph Theory with Mathematica, Cambridge University Press, 2003
• http://en.wikibooks.org/wiki/Discrete_Mathematics
• http://en.wikipedia.org/wiki/Portal:Discrete_mathematics