Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
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