Diskrete Strukturen - Winter 14: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 27: | Line 27: | ||
= Vorlesung = | = Vorlesung = | ||
== Organisatorisches == | == Organisatorisches == | ||
* [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/00-Organisation.pdf Organisation] | * [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/00-Organisation.pdf Organisation] | ||
== Inhalt == | == Inhalt == | ||
* [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/01-Einleitung.pdf Einleitung] | * [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/01-Einleitung.pdf Einleitung] | ||
* Mathematische und notationelle Grundlagen | * Mathematische und notationelle Grundlagen | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/02-Grundlagen-Mengen.pdf Mengen] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/02-Grundlagen-Mengen.pdf Mengen] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/03-Grundlagen-Relationen.pdf Relationen und Abbildungen] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/03-Grundlagen-Relationen.pdf Relationen und Abbildungen] | ||
** Aussagen- und Prädikatenlogik | ** Aussagen- und Prädikatenlogik | ||
*** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/04-Grundlagen-AussagenlogikI.pdf Aussagenlogik I] | *** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/04-Grundlagen-AussagenlogikI.pdf Aussagenlogik I] | ||
*** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/05-Grundlagen-AussagenlogikII.pdf Aussagenlogik II] | *** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/05-Grundlagen-AussagenlogikII.pdf Aussagenlogik II] | ||
*** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/06-Grundlagen-Praedikatenlogik.pdf Prädikatenlogik] | *** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/06-Grundlagen-Praedikatenlogik.pdf Prädikatenlogik] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/07-Grundlagen-Beweise.pdf Beweismethoden] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/07-Grundlagen-Beweise.pdf Beweismethoden] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/08-Grundlagen-Wachstum.pdf Wachstum von Funktionen] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/08-Grundlagen-Wachstum.pdf Wachstum von Funktionen] | ||
* Kombinatorik | * Kombinatorik | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/09-Kombinatorik-I.pdf Kombinatorische Beweisprinzipien] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/09-Kombinatorik-I.pdf Kombinatorische Beweisprinzipien] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/10-Kombinatorik-II.pdf Ziehen von Elementen aus einer Menge] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/10-Kombinatorik-II.pdf Ziehen von Elementen aus einer Menge] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/11-Kombinatorik-III.pdf Fundamentale Zählkoeffizienten] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/11-Kombinatorik-III.pdf Fundamentale Zählkoeffizienten] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/12-Kombinatorik-IV.pdf Bälle und Urnen] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/12-Kombinatorik-IV.pdf Bälle und Urnen] | ||
* Graphentheorie | * Graphentheorie | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/13-Graphen-Grundlagen.pdf Grundlagen] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/13-Graphen-Grundlagen.pdf Grundlagen] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/14-Baeume.pdf Bäume] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/14-Baeume.pdf Bäume] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/15-EulerHamilton.pdf Euler- und Hamiltonkreise] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/15-EulerHamilton.pdf Euler- und Hamiltonkreise] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/16-PlanarFaerbung.pdf Planarität und Färbung] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/16-PlanarFaerbung.pdf Planarität und Färbung] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/17-Matchings.pdf Matchings] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/17-Matchings.pdf Matchings] | ||
* Zahlentheorie und Algebraische Kalküle | * Zahlentheorie und Algebraische Kalküle | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/18-Algebraische-Strukturen.pdf Algebren] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/18-Algebraische-Strukturen.pdf Algebren] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/19-Gruppen.pdf Gruppen] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/19-Gruppen.pdf Gruppen] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/20-RSA.pdf RSA] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/20-RSA.pdf RSA] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/21-Endliche-Koerper.pdf Endliche Körper] | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS14/21-Endliche-Koerper.pdf Endliche Körper] | ||
= Übungen = | = Übungen = |
Revision as of 08:23, 21 August 2014
- 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:45 - 19:15 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 0001ausnahmsweise 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
Inhalt
- Einleitung
- Mathematische und notationelle Grundlagen
- Mengen
- Relationen und Abbildungen
- Aussagen- und Prädikatenlogik
- Beweismethoden
- Wachstum von Funktionen
- Kombinatorik
- Graphentheorie
- Zahlentheorie und Algebraische Kalküle
Ü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