Diskrete Strukturen - Winter 14

Term

Winter 14/15

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

Zentralübung:

* Mittwoch, 17:00 - 18:30 MW 0001

Audience

Modul IN0015

Informatik (Bachelor): Pflichtfach

Wirtschaftsinformatik (Bachelor): Pflichtfach

Bioinformatics (Bachelor): Pflichtfach

Informatik: Games Engineering (Bachelor): Pflichtfach

Tutorials

Dr. Werner Meixner

Übungswebseite

Exam

t.b.a

Wiederholungsklausur: t.b.a

Semesterwochenstunden / ECTS Credits

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

TUMonline

tba

---

Aktuelle Informationen

• In der letzten Vorlesungswoche (26.01.-30.01.2015) findet die Vorlesung statt Donnerstag, 10:15 - 11:45 MW 0001 ausnahmsweise statt am Freitag, 30.01.2015, 8:15 Uhr - 9:45 Uhr in MW 0001.
• In der 8. Vorlesungswoche (24.11.-28.11.2014) wird Vorlesung und Zentralübung getauscht: Vorlesung: Mittwoch, 26.11., Zentralübung: Donnerstag, 27.11. zu den üblichen Zeiten

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
  • Kombinatorische Beweisprinzipien
  • Ziehen von Elementen aus einer Menge
  • 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
  • RSA
  • Endliche Körper

Übungen

Link zu den Übungen

Literatur

• A. Steger: Diskrete Strukturen, Band 1: Kombinatorik, Graphentheorie, Algebra, (Zweite Auflage) Springer, 2007
• M. Aigner: Diskrete Mathematik, Vieweg+Teubner, 2004 (5. 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