Aktuell
Auf Wunsch der Hörer wurde die Vorlesung verschoben. Sie findet nun jeden Mittwoch ab 14:15 in Hörsaal R.11 am Standort "Unter den Eichen" statt. Auch die entsprechende Übung wurde auf 16:00 im Hörsaal R.11 verschoben.
Übungen
- 1. Übungsblatt vom 26. März 2008
- 2. Übungsblatt vom 2. April 2008
- 3. Übungsblatt vom 9. April 2008
- 4. Übungsblatt vom 16. April 2008
- 5. Übungsblatt vom 23. April 2008
- 6. Übungsblatt vom 30. April 2008
- 7. Übungsblatt vom 7. Mai 2008
- 8. Übungsblatt vom 14. Mai 2008
- 9. Übungsblatt vom 28. Mai 2008
- 10. Übungsblatt vom 4. Juni 2008
- 11. Übungsblatt vom 11. Juni 2008
- 12. Übungsblatt vom 18. Juni 2008
Verwendete Folien und Bilder
Noch nichts vorhanden.
Weitere Hinweise
Ein Einführung in elementare Beweistechniken findet sich z.B. in Hopcroft, Rajeev Motwani und Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison Wesley, 2001
Dort findet sich z.B. Abschnitt 1.4 (Induktion). Lohnend sind auch die Abschnitte 1.2 und 1.3!
Vielleicht ist auch das folgende Grundlagenskript hilfreich.
Interessante Links
Noch keine vorhanden.
Skript
Ein Skript zur Vorlesung wird in unregelmäßigen Abständen hier aktualisiert. Es wird Ihnen empfohlen eine eigene Mitschrift anzufertigen, da noch nicht klar ist, zu welchem Zeitpunkt das Skript vollständig zur Verfügung steht (aktuelle Version des Skripts vom 1. Mai 2008).
Literatur
- Uwe Schöning. Logik für Informatiker. Spektrum Akademischer Verlag, 2000
- Heinz Ebbinghaus, Jörg Flum und Wolfgang Thomas. Einführung in die mathematische Logik. Spektrum Akademischer Verlag, 1996
Große Teile der Vorlesung werden sich an das Buch von Uwe Schöning halten. Das Buch von Ebbinghaus, Flum und Thomas ist deutlich umfangreicher und deckt auch tiefergehende Themen der Logik ab. Noch ein Wort zur Literatur: Neben Ihrer Mitschrift und dem Skript sollten Sie sich auf jeden Fall noch mit anderer Literatur beschäftigen!
Fragen, Bemerkungen oder Verbesserungsvorschläge? Bitte EMail an Steffen Reith
Letzte Änderung: 10/29/09