Einführung | Link | Änderungen  

Skript zur Vorlesung 'Diskrete Modellierung'

Einführung

Das Skript zur Vorlesung "Diskrete Modellierung" unterliegt weiterhin Veränderungen. Zum einen sollen mögliche Fehler gefunden und bereinigt werden. Zum anderen wird das Skript an mögliche Änderungen der Vorlesung angepasst. Die Änderungen werden dokumentiert, damit Sie selbige in Ihren Skripten von Hand vornehmen oder Ausdrucke nur auf betroffene Seiten beschränken können.

Sollten Sie Fehler entdecken oder Anregungen haben wenden Sie sich gern per mail an André Frochaux.

Link

Der Link zum aktuellen Skript vom 6. Februar 2013.

Änderungen

06.02.2013 Kapitel 8 ("Kontextfreie Grammatiken zur Modellierung von Strukturen") komplett überarbeitet. Außerdem in Kapitel 7 den Beweis von Satz 7.13 ("Potenzmengenkonstruktion") um eine kurze Beschreibung der Beweisidee ergänzt.
06.11.2012 Notation 2.20 ergänzt um Definition von Durchschnitt und Vereinigung beliebig vieler Mengen.
Kapitel 7.4 ("Das Pumping-Lemma für reguläre Sprachen") überarbeitet.
15.10.2012 Literaturverweise korrigiert.
10.10.2012 Tippfehler in Aufgabe 1.5, Modellbegriff (Duden) Abschnitt 1.3
Randmarkierung: Obermenge
Venndiagramme in Abschnitt 2.1.2 mit TikZ gesetzt.
17.03.2012 Zwei neue Klausuren hinzugefügt.
19.01.2012 Seiten 174 und 180: In Definition 6.15(d) und Definition 6.25(d) das Wort σ-Interpretation ergänzt.
Seite 180: In Definition 6.27 Details zur Semantik der logischen Junktoren eingefügt.
Seite 185: Beispiel 6.30 um einen Teil "(b)" erweitert.
Seite 186: Beispiel 6.34 um einen Teil "(b)" erweitert.
14.12.2011 Seite 147: Anzahl der Webseiten aktualisiert und Quellennachweis eingefügt.
Seite 153: Details zu Beispiel 5.6 sowie einen Beweis von Teil (a) von Satz 5.7 eingefügt.
09.11.2011 Seite 54/55: In Bemerkung 2.55 die Definitionen der Funktionen g1 und g2 geändert.
02.11.2011 Seite 46/47: Eine Bemerkung zum Thema "Diagonalisierung" eingefügt (zwischen Satz 2.46 und Satz 2.47).
20.10.2011 Seite 34: Notation 2.20 um den Schnitt der Mengen M1, ... , Mk erweitert.
19.10.2011 Farbe der Zitatlinks auf blau gesetzt (für bessere Lesbarkeit in s/w-Ausdrucken)
18.10.2011 Kleinere Änderungen für das aktuelle Semester