Mitteilungen

Die Einsicht für die Klausur findet am 28.10.2021 von 16:00 bis 18:00 Uhr im Raum Z 2073 statt. Bitte wählen Sie vorab unter der Terminumfrageeinen Zeitraum, da maximal acht Personen gleichzeitig Einsicht nehmen können. Denken Sie daran einen Mund-Nasen-Schutz, den 3G-Nachweis und Ihre Thoska-Karte mitzubringen.

Die Klausurergebnisse sind im System eingetragen und über die Thoska Karte abrufbar.

Die Klausur findet am Mittwoch, 11.08.2021, 14:30 - 17:00 Uhr im Audimax statt. Bitte finden Sie sich 30 Minuten vor Beginn der Prüfung vor dem Prüfungsraum ein und bringen Sie Ihren Lichtbild- und Studentenausweis mit. Bitte beachten Sie das Infektionsschutzkonzept der TU Ilmenau (insbesondere die Regeln für die Kontaktnachverfolgung) und aktuelle Hinweise.

Vorlesungen und Übungen im Fach "Logik und Logikprogrammierung" werden im SS21 bis auf Weiteres nur online stattfinden. Wir werden für jede Vorlesung Videos und Folien (sowie gegebenenfalls zusätzliches Material) hochladen. Wir bieten einmal pro Woche (Montags um 17:00 Uhr) eine Sprechstunde an, zu der Sie Ihre Fragen und Probleme stellen können. Zu den Terminen am Donnerstag um 11:00 Uhr in Ihrem Stundenplan findet vorerst keine Sprechstunde statt.

Die Links zu den WebEx-Meetings finden Sie im zugehörigen Moodle-Kurs: Link. In diesem Kurs können Sie auch Ihre Lösungen für die Übungen zum Korrigieren abgeben.

Der Vorlesungsteil zur Logikprogrammierung beginnt am 05.07.2021. Sie finden die notwendigen Materialien für die Vorlesungen und Übungen im oben verlinkten Moodle-Kurs.

Materialien

Vorlesung

  • 1. Vorlesung: Folien und Video (Thema: Einführung und Syntax der Aussagenlogik)
  • 2. Vorlesung: Folien, Übersicht und Video (Thema: Regeln des natürlichen Schließens)
  • 3. Vorlesung: Folien und Video (Thema: Semantik der Aussagenlogik)
  • 4. Vorlesung: Folien und Video (Thema: Korrektheit und Vollständigkeit des natürlichen Schließens)
  • 5. Vorlesung: Folien und Video (Thema: Vollständigkeit des natürlichen Schließens, Kompaktheitssatz)
  • 6. Vorlesung: Folien und Video (Thema: Erfüllbarkeit von Horn-Formeln)
  • 7. Vorlesung: Folien und Video (Thema: Syntax und Semantik der Prädikatenlogik) [Folien aktualisiert am 30.06.: Definition "Aussage" hinzugefügt]
  • 8. Vorlesung: Folien und Video (Thema: Erfüllbarkeit, Substitutionen und Regeln des natürlichen Schließens)
  • 9. Vorlesung: Folien und Video (Thema: Regeln des natürlichen Schließens, Korrektheit und Vollständigkeit)
  • 10. Vorlesung:
    • Hauptteil: Folien und Video (Thema: Kompaktheit, Löwenheim-Skolem, (Un-)Entscheidbarkeit) [Folien aktualisiert am 04.06.: fehlende Folien hinzugefügt]
    • 1. Ergänzung: Video (Thema: Beweis des Satzes von Church)
    • 2. Ergänzung: Video (Thema: Beweis der Unenscheidbarkeit der Theorie der natürlichen Zahlen)
  • 11. Vorlesung: Folien und Video (Thema: 1. Gödel'scher Unvollständigkeitssatz, Gleichungsfreiheit)
  • 12. Vorlesung: Folien und Video (Thema: Formeln in Pränex- und Skolemform, Herbrand-Modelle)
  • 13. Vorlesung:
    • 1. Teil: Folien und Video (Thema: Herbrand-Expansion, Satz von Herbrand, Algorithmus von Gilmore)
    • 2. Teil: Folien und Video (Thema: Einführung in die Logikprogrammierung)
  • 14. Vorlesung: Folien und Video (Thema: Substitutionen, Unifikatoren, Unifikationsalgorithmus)
  • 15. Vorlesung: Folien und Video (Thema: Prädikatenlogische SLD-Resolution)

Übung

Termine

Vorlesung:

Montag, 17:00 - 18:30 Uhr, (LdV-Hs 2) Online, C. Köcher

(Donnerstag (G), 11:00 - 12:30 Uhr (26.,28.,30. KW), H-Hs, Prof. R. Knauf)

Übungen:

Montag, 13:00 - 14:30 Uhr, (Sr HU 202) Online, Ch. Hugenroth

Montag, 15:00 - 16:30 Uhr, (LdV-Hs 2) Online, Ch. Hugenroth

Dienstag, 9:00 - 10:30 Uhr, (Sr K 2002b) Online, Ch. Hugenroth