I7 | Lehre | DS 08


	Diskrete Strukturen 08/09

Note von Prof. Esparza: Die Folien sind eine von mir überarbeitete Version der Folien von Prof. Westermann für die Diskrete Strukturen im WS 07/08. Vielen Dank an Prof. Westermann dafür, dass er seine Unterlagen zur Verfügung gestellt hat. Für eventuelle Fehler in den Folien bin ich verantwortlich.

Sie finden unten alle Foliensätze, die ich schon überarbeitet habe. Folien, die in der Vorlesung noch nicht behandelt wurden können sich jedoch noch ändern.

Die Folien sind kein Skriptersatz! Sie dienen lediglich als Hilfe, damit nicht jedes Detail in der Vorlesung mitgeschrieben werden muss, ersetzen aber nicht die Vorlesung.

Organisation
Kapitel I: Einleitung
Kapitel II: Grundlagen
- Mengen
- Relationen und Abbildungen
- Aussagenlogik
  - Sudoku-Folien
  - Laden Sie sich die Perl-Skripte sdk2limboole.pl und limboole2sdk.pl herunter und machen Sie sie ausführbar mit
    chmod u+x limboole2sdk.pl sdk2limboole.pl
  - Installieren Sie Limboole.
  - Lösen Sie z.B. dieses oder dieses oder Ihr eigenes Sudoku mit
    ./sdk2limboole.pl < sudoku1.sdk | limboole -s | ./limboole2sdk.pl
  - Beispiel zum Inferenz-Kalül
- Prädikatenlogik
- Beweismethoden
- Wachstum von Funktionen
Kapitel III: Kombinatorik
- Kombinatorik I: Ziehen von Elementen aus einer Menge
- Kombinatorik II: Kombinatorische Abzählprinzipien
  - Die Quellen für die Simulation von Lottoziehungen sind hier: Lotto.java,Lotto.class, and Lotto$Draw.class.
- Kombinatorik III: Fundamentale Zählkoeffizienten
- Kombinatorik IV: Bälle und Urnen oder: Wie man Abbildungen zählt
Kapitel IV: Graphentheorie
Kapitel V: Algebraische Strukturen
Hinweis für Mac Benutzer: Microsoft Office erstellt leider keine PDF-Standard konformen Dateien. Daher fehlt eine Schriftart in den PDF Dateien und die Mac Vorschau zeigt einige Formeln nicht an. Mit dem Adobe Reader funktioniert es aber trotzdem: Adobe Reader