Diskrete Strukturen - Winter 16

Term

Winter 16/17

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

tba

Exam

tba

Semesterwochenstunden / ECTS Credits

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

TUMonline

Vorlesung

Tutorübungen

---

Vorlesung

Organisatorisches

tba

Inhalt

Folien WS15/16

• 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

Übungen

tba

Klausur

tba

Klausureinsicht

tba

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