Diskrete Strukturen - Winter 16: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
(→Inhalt) |
||
Line 28: | Line 28: | ||
== Inhalt == | == Inhalt == | ||
* [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/01-Einleitung.pdf Einleitung] | |||
* [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | |||
* Mathematische und notationelle Grundlagen | * Mathematische und notationelle Grundlagen | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/02-Grundlagen-Mengen.pdf Mengen] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/03-Grundlagen-Relationen.pdf Relationen und Abbildungen] | ||
** Aussagen- und Prädikatenlogik | ** Aussagen- und Prädikatenlogik | ||
*** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | *** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/04-Grundlagen-AussagenlogikI.pdf Aussagenlogik I] | ||
*** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | *** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/05-Grundlagen-AussagenlogikII.pdf Aussagenlogik II] | ||
*** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | *** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/06-Grundlagen-Praedikatenlogik.pdf Prädikatenlogik] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/07-Grundlagen-Beweise.pdf Beweismethoden] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/08-Grundlagen-Wachstum.pdf Wachstum von Funktionen] | ||
* Kombinatorik | * Kombinatorik | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/09-Kombinatorik-I.pdf Ziehen von Elementen aus einer Menge] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/10-Kombinatorik-II.pdf Kombinatorische Beweisprinzipien] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/11-Kombinatorik-III.pdf Fundamentale Zählkoeffizienten] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/12-Kombinatorik-IV.pdf Bälle und Urnen] | ||
* Graphentheorie | * Graphentheorie | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/13-Graphen-Grundlagen.pdf Grundlagen] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/14-Baeume.pdf Bäume] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/15-EulerHamilton.pdf Euler- und Hamiltonkreise] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/16-PlanarFaerbung.pdf Planarität und Färbung] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/17-Matchings.pdf Matchings] | ||
* Zahlentheorie und Algebraische Kalküle | * Zahlentheorie und Algebraische Kalküle | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/18-Algebraische-Strukturen.pdf Algebren] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/19-Gruppen.pdf Gruppen] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/20-Endliche-Koerper.pdf Endliche Körper] | ||
** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/ | ** [http://www5.in.tum.de/lehre/vorlesungen/diskrete_strukturen/WS16/21-RSA.pdf RSA] | ||
== Änderungen an den Folien == | == Änderungen an den Folien == |
Revision as of 14:13, 26 August 2016
- 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
Aktuelle Informationen
- Am 01.11.2016 findet aufgrund des Feiertages Allerheiligen keine Vorlesung statt
Vorlesung
Organisatorisches
tba
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
Änderungen an den Folien
Ü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