Diskrete Strukturen - Winter 14: Difference between revisions

From Sccswiki
Jump to navigation Jump to search
Line 28: Line 28:
= Vorlesung =
= Vorlesung =
== Inhalt ==
== Inhalt ==
* Mathematische und notationelle Grundlagen
** Mengen
** Relationen und Abbildungen
    Aussagen- und Prädikatenlogik
    Beweismethoden
    Wachstum von Funktionen
Kombinatorik
    Kombinatorische Beweisprinzipien
    Ziehen von Elementen aus einer Menge
    Fundamentale Zählkoeffizienten
    Bälle und Urnen
Graphentheorie
    Grundlagen
    Eigenschaften
    Algorithmen
Zahlentheorie und Algebraische Kalküle
    Modulare Arithmetik
    Rekursionsgleichungen
    Algebren
    Gruppen


== Folien ==
== Folien ==

Revision as of 08:54, 23 July 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
Bioinformatics (Diplom): Pflichtfach
Informatik: Games Engineering (Bachelor): Pflichtfach
Tutorials
Dr. Werner Meixner
tba
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

Inhalt

  • Mathematische und notationelle Grundlagen
    • Mengen
    • Relationen und Abbildungen
   Aussagen- und Prädikatenlogik
   Beweismethoden
   Wachstum von Funktionen


Kombinatorik

   Kombinatorische Beweisprinzipien
   Ziehen von Elementen aus einer Menge
   Fundamentale Zählkoeffizienten
   Bälle und Urnen


Graphentheorie

   Grundlagen
   Eigenschaften
   Algorithmen


Zahlentheorie und Algebraische Kalküle

   Modulare Arithmetik
   Rekursionsgleichungen
   Algebren
   Gruppen

Folien

Ü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