I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Diskrete Strukturen 08/09

  Neuigkeiten | Termine | Inhalt | Folien | Übungen | Klausur | Notenvergabe | Literatur | Links

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
    • Polynome
    • Modulare Arithmetik
    • Rekursionsgleichungen

  • Algebraische Kalküle
    • Grundlagen
    • Gruppen
    • Boolesche Algebren
    • Endliche Körper