Contact
Teaching
 |
 |
|
| Logik WS 07/08 | ||
 |
 |
| Neuigkeiten | Termine | Motivation | Inhalt | Übungen | Folien | Software | Literatur |
12. Februar 2008:
Die Klausur ist jetzt korrigiert. Sie erfahren Ihre Note über den Aushang gegenüber dem Sekretariat am Lehrstuhl Esparza (03.09.052).Die Klausureinsicht ist Dienstag, 19. Februar um 11 Uhr in Raum 03.09.014 (wo auch die Klausur war).
Klausuraufgaben: PS, PDF
mit Lösungsvorschlägen: PS, PDF
5. Februar 2008:
Wie in der Vorlesung angekündigt findet die Klausur am 8. Februar 2008 um 10:15 im Zimmer 03.09.014 statt. Die Arbeitszeit beträgt 120 Minuten. Es sind keine Hilfsmittel zugelassen.28. Januar 2008:
Die Folie über Relationenalgebra mit den vielen Fehlern ist nun (hoffentlich) korrekt.Neuer Foliensatz über mathematische Theorien.
21. Januar 2008:
Es gibt einen neuen Foliensatz über Anwendungen der Logik im Bereich Datenbanken.14. Januar 2008:
Es gibt einen neuen Foliensatz für die Restriktionen der prädikatenlogischen Resolution. Morgen findet die Evaluierung der Vorlesung statt.11. Januar 2008:
Auf der Übungsseite finden Sie das neue Aufgabenblatt sowie ein Informationsblatt zum Tool Otter. Von der Software-Seite können Sie sich das Tool herunterladen.17. Dezember 2007:
Neue version des Foliensatzes "Unentscheidbarkeit". Neuer Foliensatz "Prädikatenlogik mit Gleichheit". Auf der Übungs-Seite gibt es jetzt das neunte Übungsblatt und Lösungsvorschläge bis zum achten.14. Dezember 2007:
Auf der Übungs-Seite gibt es jetzt das neunte Übungsblatt und Lösungsvorschläge bis zum achten.30. November 2007:
Das siebte Übungsblatt und ein Lösungsvorschlag zum fünften stehen jetzt auf der Übungs-Seite. Auf der Software-Seite finden Sie einen Link zum Tarski-Applet.30. November 2007:
Hier sind die in der Vorlesung besprochenen Formeln. Frage: gibt es eine Tarski-Welt mit vier Objekten, die alle Formeln erfüllt?(~ steht für Negation, | für Disjunktion, & für Konjunktion)
Ex x Ex y Ex z (Cube(x) & Dodec(y) & Tet(z))
~Ex x Large(x)
All x (Dodec(x) -> Ex y (Cube(y) & BackOf(x, y)))
All x (Tet(x) -> Ex y Ex z (Between(x, y, z)))
All x All y All z (Between(x, y, z) -> Larger(x, y))
Ex x Ex y (x # y & All w ((w = x | w = y) -> All z ~BackOf(z, w)))
All x (Cube(x) -> Ex y (Tet(y) & BackOf(y, x)))
All x All y (Larger(x, y) -> Ex z Between(x, y, z))
~All x All y (LeftOf(x, y) | RightOf(x, y))
Ex x Ex y ~(FrontOf(x, y) | BackOf(x, y))
28. November 2007:
Neue Versionen der Foliensätze "Binary Decision Diagrams" und "Hilbert-Kalküle". Einige kleine Fehler sind korrigiert worden. Beim Vollständigkeitsbeweis für den Hilbert-Kalkül sind einige Schritte ausführlicher erklärt worden.23. November 2007:
Auf der Übungsseite finden Sie das sechste Aufgabenblatt. In der nächsten Übung am 30. November werden Aufgaben 2 und 3 vom fünften Blatt sowie Aufgabe 1 vom sechsten Blatt besprochen.16. November 2007:
Auf der Übungsseite finden Sie das fünfte Aufgabenblatt und Lösungsvorschläge zum vierten Aufgabenblatt.12. November 2007:
Zur Erinnerung: Am morgigen Dienstag fällt die Vorlesung wegen einer Studenten-Vollversammlung aus. Freitag findet sie wieder wie gewohnt statt.9. November 2007:
Auf der Übungsseite finden Sie das vierte Aufgabenblatt. Wie letzte Woche besprochen, beginnen die Übungen ab heute schon um 11:50 Uhr.Ergänzung: Es liegt jetzt ein Lösungsvorschlag für das dritte Aufgabenblatt vor, der die in der Übung offen gebliebenen Fragen beantwortet.
Noch eine Ergänzung: Ebenfalls auf der Übungsseite finden Sie ein Infoblatt zu KV-Diagrammen.