Folien

Die Folien werden derzeit überarbeitet und im Laufe der Vorlesung hier veröffentlicht:

• Organisation (2017-10-16) als Folien
• Einführung (2017-10-16) als Folien
• Grundlagen (2017-11-10) als Folien als Artikel
• Graphen (2017-11-10) als Folien als Artikel
• Logik (2017-11-28) als Folien als Artikel
  • Folien zu Modellierung in Prädikatenlogik (2018-01-11) als Folien
• Kombinatorik (2018-01-07) als Folien als Artikel
• Algebra (2018-01-26) als Folien als Artikel

Die Artikel-Variante ist inhaltlich identisch zu den Folien (wiederkehrende/redundante Textbausteine werden nur eingespart).

N.B.: Die Folien können noch Fehler enthalten und werden entsprechend im Laufe des Semester immer wieder aktualisert/korrigiert werden.

Inhaltliche wird es nur geringe Änderungen zu den Vorjahren geben; die Folien von 2016 können daher als Referenz dienen.

Aufzeichnung

Die Vorlesungsaufzeichnungen finden Sie unter diesem LINK.

Referenzen/weiterführende Literatur

• Volker Diekert, Manfred Kufleitner, Gerhard Rosenberger: Elemente der Diskreten Mathematik, Walter de Gruyter, 2013.
• Volker Diekert, Manfred Kufleitner, Gerhard Rosenberger: Diskrete algebraische Methoden, Walter de Gruyter, 2013.
• 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