I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Diskrete Strukturen Wintersemester 2013/14

  Neuigkeiten | Termine | Inhalt | Folien | Übungen | Zentralübung | Notenvergabe | Literatur | Alte Klausuren

Vorlesungsinhalt:
  • 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