Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

WICHTIG: Veränderte Prüfungstermine!

Vorlesung: Einführung in die Logik

Sommersemester 2022

Neuigkeiten

30. August
Klausurergebnissea/
25. August
Die Einsicht zur Klausur findet 2022-08-30 (Dienstag) von 10:00 bis 12:00 im Raum IZ 358 statt.
28. Juli
Die Probeklausur (Blatt 6) ist um zwei Aufgaben ergänzt worden, eine aus der VL, und eine auf Wunsch einer Hörerin; die Klausur bleibt aber bei 10 Aufgaben!
27. Juli
+++ bitte weitersagen +++ bitte weitersagen +++ bitte weitersagen +++
Entgegen der Ankündigung in der heutigen Vorlesung findet die Klausur

am 09. August von 11:30 Uhr bis 13:30 Uhr in ZI24.1,2

statt; ungerade Matrikelnummern in ZI24.1, gerade in ZI24.2.
(Mir war tatsächliche eine falsche Urzeit übermittelt worden; bitte um Entschuldigung.)
07. Juli
zur Erinnerung: am 13. Juli wird die Vorlesung im PK 4.3 im Altgebäude stattfinden. Das Vorrechnen der Probeklausur/Blatt 6 findet am 02. August im SN 19.1 statt, von 11:30 Uhr bis 13:00 Uhr.
03. Juli
Blatt 4: In Aufgabe 4(a) muss es "Atom" statt "Variable" heißen. In Aufgabe 7 ist der Wert von o^M(d,e)=f, wenn d=f UND e=f gilt.
29. Juni
Wer in Aufgabe 9, Blatt 2, sehr umfangreiche Lösungen produziert hat, möge bitte die Musterlösungen anschauen, und das Kapitel zur Tseitin-Transformation (Folien 168-171) wiederholen. Da viele Teilnehmer am 18. Juli wegen einer Klausur verhindert zu sein scheinen, werde ich mich um einen Ersatztermin bemühen. Ich schlage vor, wie im Juni zu verfahren: die große Übung verschiebt sich vom 18. auf den 20. Juli, und die entsprechende Vorlesung vom 20. auf den 25. Juli (Montag). Zur Vorlesung am 13. Juli wird unser Raum anderweitig benötigt. Wir sollen nach PK 4.3 im Altgebäude ausweichen.
15. Juni
Die aufgrund meiner Schusseligkeit ausgefallene VL vom 15. Juni wird am kommenden Montag, den 20. Juni, um 11:30 Uhr nachgeholt. Die große Übung verschiebt sich auf Mittwoch, den 22. Juni. Am Montag, den 27. Juni und am Mittwoch, dem 29. Juni finden dann weitere Vorlesungen statt. Ein aktualisierter Semesterplan erscheint in Kürze. Im Hinblick auf eventuelle Missverständnisse aus der VL am 1. Juni beachten Sie bitte die aktualisierte Bemerkung auf Folie 151, Folie 160, und den verbesserten Beweis auf Folie 161. Darauf und auf Folie 167 werde ich am 20. Juni nochmal eingehen.
10. Mai
neue StudIP Studiengruppe `Logik_SoSe_2022´ von Herrn Schmechel eingerichtet, damit alle Teilnehmer die Antworten auf Fragen zur VL von allgemeinem Interesse sehen können; Ergänzungen zu Aufgaben 4(d) und 6.3 von Blatt 1;
03. Mai
Folien für die große Übung verfügbar, ebenso Blatt 1 und die Lösungen zu Blatt 0.
02. Mai
Der Termin der großen Übung ist korrigiert worden auf montags um 11:30. Auch die Abgabedeadline der Blätter wurde auch auf montags um 11:30 angepasst.
25. April
Übungsblatt 0 wurde angepasst.
22. April
Es gibt eine weitere Übungsgruppe Dienstags. Desweiteren können Übungsblätter auch online abgegeben werden. Die neue Gruppe 6 liegt dienstags parallel zur Gruppe 4, 13:15 - 14:45, und findet im IZ 305 statt (ca. 24 Plätze).
13. April
Die erste Vorlesung findet am Mittwoch, den 20. April statt, KEINE AUSFALLEMPFEHLUNG!

Vorlesung

Übungsbetrieb

Übungsblätter

Die Übungsblätter werden während des Semesters jeweils am Montag hier zur Verfügung gestellt. Die Abgabe erfolgt bis 11:30 Uhr montags vor der nächsten großen Übung online (oder sonst im Kasten neben Raum IZ 343), erstmals also am 02. Mai.
Schreiben Sie auf Ihre Abgaben unbedingt: den Namen, die Matrikelnummer und eine E-Mail Adresse für die Bewertung und Rückgabe. Kontaktieren Sie bei Fragen zu den Präsenzblättern Ihren Tutor oder Jürgen Koslowski. Um das Modul erfolgreich abzuschließen, sind zwei Leistungen zu erbringen:

Abschlussklausur

Material

Folien über den aktuellen Vorlesungsfortschritt. Diese sind vermutlich ausführlicher, als es die Vorlesung sein kann. Die mathematischen Grundlagen bis Folie 14 sollten Ihnen gläufig sein. Änderungen:
Stand 2022-04-28: neue Folie 7, Korrektur einiger Typos
Stand 2022-05-03: Typo in der Definition auf Folie 54: b_i statt i
Stand 2022-05-05: vereinfachte/verbesserte Folien 56, 57, 63; Links zwischen 56 und 16; Typo auf Folie 83
Stand 2022-05-10: Verbesserungen/Ergänzungen auf Folie 80, Folien 88-91 sowie 100 überarbeitet, einige Typos korrigiert
Stand 2022-05-11: Folie 85: verbesserte Analyse der Entstehung des Beweises von (Th7); Folie 92: Vertauschung der A´s und B´s im Beweis, überflüssiger Text entfernt; Folie 93: Modus Tollens eingefügt; Folie 97: Link zum semantischen Deduktionstheorem (sDT) eingefügt
Stand 2022-05-16: Folie 109: (tH6) korrigiert
Stand 2022-05-18: Folien 125 und 128: Darstellung der Regeln vergrößert, Folie 127: Typo in (wkg-R) korrigiert
Stand 2022-05-21: Folien 125 und 128: Darstellung verbessert, überflüssige Regel auf 128 entfernt; Folie 123: Titel um "Vorbereitung" ergänzt; Folie 130: neue Titelzeile
Stand 2022-05-24: Folie 12: Typo bei "symmetrisch", xRy; Folie 128: im Zähler von (->R) F,G duch G,H ersetzt (auch in der Zusammenfassung); Folie 129: K_seq-Herleitungen vereinfacht.
Stand 2022-05-30: Folie 127 und Zusammenfassung: Namen der strukturellen Regeln verkürzt; Folie 154: neuer Abschnitt zur Tseitin-Transformation, 4 Folien; Folie 57: Korrektur des Satzes, gilt nicht für den Junktor <-->
Stand 2022-06-01: 2. Hälfte von Kapitel 7 besser formuliert und etwas umorganisiert: Abschnitt zur Tseitin-Transformation nach hinten verschoben; einige Typos behoben; strenge Definition der Erfüllbarkeitsäquivalenz; explizite Gegenüberstellung von Aussagenlogik und Klausel-Logik (Folie 160)
Stand 2022-06-15: Folien 159-161 nochmals überarbeitet
Stand 2022-06-22: Folie 78: Beweis von (=>) stark vereinfacht; Folien 196-198: neue Beispiele
Stand 2022-06-30: Folien 215/216: Beispiel vervollständigt; Folie 219 verbessert; Folien 221/222: in der zweiten Hälfte des Beweises zwei sinnentstellende Tippfehler korrigiert; eine überzeugende Definition von Erfüllungsäquivalenz in der PL ist noch in Arbeit
Stand 2022-07-03: Folien 212-215 überarbeitet bzw. ergänzt, Zsammenhang mit dem Auswahlaxiom hergestellt, die wirklich relevante ÄR herausgearbeitet.
Stand 2022-07-05: Folie 182: "nicht notwendig endlich" ersetzt durch "abzählbar"; Folie 281: Typo im Potenzmengenaxiom korrigiert; Folie 218: Betonung der letzten Anforderung and Erfüllbarkeitsäquivalenz, die von der naiven Definition nicht erfüllt wird; Folie 219: hoffentlich definitive Definition der Erfüllbarkeitsäquivalenz in der PL; Folie 147: Anpassung der Definition der Erfüllbarkeitsäquivalenz in der AL, keine inhaltliche Änderung!
Stand 2022-07-07: Folien 231-233: umformuliert nach dem fehlgeleiteten Versuch, hier das Substitutionslemma anwenden zu wollen (das passt hier nicht hin!)
Stand 2022-07-13: Integration des Beispiels der Großen Übung auf Folien 48-51 und Folie 169; Integration der Folge-Ergebnisse nach dem Kompaktheitssatz in Kapitel 10; diverse Typos korrigiert.
Stand 2022-07-20: Korrektur diverser interner Links; neue Folie 14; Folien 152 und 232: Korrektur der Erfüllbarkeitsäquivalenz, war korrekt in der VL beschrieben (Zick-Zack), aber nicht korrekt aufgeschrieben :-(
Stand 2022-07-27: mehr Beispiele zur Resolution in der Prädikatenlogik; kosmetische Verbesserungen
Stand 2022-07-28: Clean-Up der letzten Beispiele; Robinsons Satz zur PL-Resolution und Lifting Lemma ergänzt

Folien zu den großen Übungen:

Literatur