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 |