Prof. Dr. Wolfgang S. Wittig

Diskrete Mathematik

Diplom-Studiengang Angewandte Informatik  (TH Leipzig)
Lehrveranstaltungim 3., 4. Semester  (pflicht)
LV-Umfang:8 SWS   (2V+2V / 2V+2V)
Abschluß:Prüfung (schriftlich)
  - 1. - 2. - 3. - 4. - 5. - 6. - 7. - 8. - L - *

Gliederung:

  1. Einführung
    1. Zahlen, Zahlensysteme
    2. Zahlenbereiche
    3. Kombinatorik
  2. Aussagenlogik
    1. Aussagen, Aussageformen
    2. Logische Ausdrücke
    3. Logisches Schließen
    4. Mathematische Beweise
  3. Mengentheorie
    1. Elemente und Mengen
    2. Teilmengen, Mengensysteme
    3. Mengensysteme
  4. Relationen
    1. n-stellige Relationen
    2. Binäre Relationen
    3. Äquivalenzrelationen und Halbordnungen
    4. Abbildungen
    5. Operationen
  5. Gruppen- und Körpertheorie
    1. Gruppoide, Loops und Halbgruppen
    2. Gruppen
    3. Ringe und Körper
    4. Vektorräume und Module
  6. Verbandstheorie
    1. Ordnungsstrukturen
    2. Verbände
    3. Boolesche Algebren
    4. Matroide
  7. Strukturtheorie
    1. Topologische Strukturen
    2. Metrische Räume
    3. Algebraische, Ordnungs- und topologische Strukturen
    4. Sigma-Strukturen
    5. Boolesche Strukturen
    6. Minimale Formeln und Karnaugh-Pläne
  8. Graphentheorie
    1. Graphen
    2. Planarität
    3. Multigraphen, Wege und Kreise
    4. Gerichtete Graphen
  9. Algorithmen auf Graphen
    1. Bewertete Graphen
    2. Optimierungs- und Suchverfahren
    3. Semantische Netze
    4. Petri-Netze

aktualisiert: 23. April 1996