Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Vorlesung: Einführung in die Logik

Sommersemester 2023

Neuigkeiten

20. August
Klausurergebnisse, Einsicht am Mittwoch, 2023-08-23 von 10 bis 12 Uhr, voraussichtlich im IZ 358.
25. Juli
Python3 Problem gelöst, das den gestrigen Update verhindert hat.
24. Juli
Raumaufteilung bei der Klausur: Zi 24.1: gerade Matrikelnummern, Zi 24.3: ungerade Matrikelnummern.
19. Juli
Die Ergänzungen zur Tseitin-Transformation finden sich in den Übungsfolien. Der Typo bei (DNE) in DedSys.pdf ist beseitigt.
12. Juli
Typo in Aufgabe 5, Blatt 6, korrigiert, "R" statt "r".
09. Juli
Das Vorrechnen der Übungsklausur wird am Montag, 2013-07-24 von 11:30 bis 13:30 stattfinden im Raum PK 4.3 (mehr Tafelplatz); der Vorschlag, auf den Freitag auszuweichen, konnte leider nicht berücksichtigt werden, sorry!
Blatt 6 hat nun die korrekte Nummer erhalten und eine alternative Lösung der Präsenzaufgabe 2. Bei der Formel H in Aufgabe 3.3 liegt kein Tippfehler vor!
02. Juli
Aufgabe 5 auf Blatt 4 war offenbar zu schwer, daher zählen die 10 Punkte als Sonderpunkte. Vermutlich werden 145 Hausaufgabenpunkte reichhen, um die 50%-Hürde zu überspringen.
Aufgabe 7 auf Blatt 4 wurde um eine weitere alternative Lösung ergänzt.
Eine Studentin hatte zudem eine Lücke in der Lösung zu Präsenzaufgabe 2 auf Blatt 5 bemängelt; diese ist nun geschlossen.
13. Juni
Übungsfolien um die prädikatenlogischen Beispiele ergänzt.
2. Juni
Bitte lesen Sie eigenständig die Folien 193-198 zur Einstimmung auf die Prädikatenlogik (Aufgabe 9 auf Blatt 4); die Abgabe von Blatt 4 wird auf den 15. Juni verschoben.
26. Mai
Uhrzeit und Räume für die Klausur am 1. August wurden festgelegt: 11:30 bis 13:30 in ZI 24.1+3
23. Mai
Am kommenden Freitag werden Herr Schumacher und ich die Betreuung der Gruppen 2 und 3 aus Termingründen tauschen.
15. Mai
AUSNAHMSWEISE ist Blatt 3 erst am Donnerstag, den 25. Mai bis 11:30 abzugeben, damit Sie den Feier- und den Brückentag ohne Logik genießen können.
07. Mai
AUSNAHMSWEISE ist Blatt 2 schon am Donnerstag, den 11. Mai bis 11:30 abzugeben. Dafür ist Blatt 2 auch recht kurz.
22. April
- Aus gegebenem Anlass verweise ich nochmal auf den unten nunmehr ROT verlinkten Semesterplan, der die Termine der Übungen auflistet.
- Zur Terminologie: die bisher "total" benannten Relationen von A nach B wurden zu "ganzen Relationen" (entire relations) umbenannt, damit die bisher als "linear" bezeichneten Relationen von A nach A dem hier verbreiteten Gebrauch entsprechend nun "total" heißen können. Das wird hoffentlich künftige Missverständnisse vermeiden.
- Blatt 1 ist frühzeitig verfügbar
19. April
- Hinsichtlich der Raum- und Zeit-Situation der kleinen Übungen werde ich mir bis kommenden Dienstag ein Bild machen und dann schauen, was verbessert werden kann. Eine zusätzliche Schwierigkeit besteht auch darin, dass die Hiwis selber Vorlesungen besuchen müssen.
- Die Links zur elektronischen Abgabe sind nun auch hier verfügbar. Bitte geben Sie auf den Hausaufgaben in Zukunft auch Ihren Studiengang mit an!
12. April
Präzisierung einiger Aufgaben auf Blatt 0.
10. April
Aufgabenblatt 0 ist verfügbar; Abgabe ausnahmsweise erst am 19. April.
04. April
Die erste Vorlesung findet am Mittwoch, den 12. April statt, KEINE AUSFALLEMPFEHLUNG!

Vorlesung

Übungsbetrieb

Die Feiertage 1. Mai (Montag) und Himmefahrt (Donnerstag, 18. Mai) erschweren speziell zu Semesterbeginn die Terminplanung, so dass alle Übungsgruppen gleich oft stattfinden können und die Präsenzaufgaben in den großen Übungen vorgerechnet werden können. Die Details entnehmen Sie bitte folgendem Semesterplan für diese Vorlesung.

In der ersten VL wird entschieden, welche der verfügbaren Termine für kleine Übungen wir tatsächlich anbieten. Anschließend können Sie sich ab ca. 11:45 Uhr in entsprechende Listen eintragen.

Übungsblätter

Die Übungsblätter werden während des Semesters jeweils am Montag hier zur Verfügung gestellt. Die Abgabe erfolgt normalerweise bis 11:30 Uhr montags vor der nächsten großen Übung online (oder sonst im Kasten neben Raum IZ 343); ausnahmsweise ist Blatt 0 erst am 19. April fällig. Keine Sorge, in Blatt 0 geht es nur um mathematische Grundlagen, die eigentlich Schulstoff sein sollten (es aber oft leider nicht sind).

Schreiben Sie auf Ihre Abgaben unbedingt: den Namen, die Matrikelnummer, den Studiengang 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. Eine knappe Übersicht über den zu behandelnden Stoff findet sich in den Folien 4 bis 17. Die mathematischen Grundlagen von Folie 18 bis Folie 27 sollten Ihnen idealerweise geläufig sein. Es wird aber empfohlen, diese Folien vor Vorlesungsbegin zu lesen um ggf. Lücken in Ihrem Wissen aufspüren und schließen zu können. Praktisch alle dieser Grundlagen werden im weiteren Verlauf der Vorlesung angewendet. Änderungen:

2023-04-10: Beispiel auf Folien 53-56 vorgezogen auf Folien 10-13; Korrektur einiger Typos;
2023-04-12: Korrektur weiterer Typos auf Folien 21 und 26;
2023-04-17: Folie 38 zur BNF präzisiert;
2023-04-22: "totale Relationen" von A nach B in "ganze Relationen" umbenannt; "lineare Relationen" auf A in "totale Relationen" umbenannt; Verweis auf prädikatenlogische Formeln im Lemma auf Folie 296 hinzugefügt
2023-04-24: kleine Korrekturen auf Folien 67 und 68;
2023-04-25: diverse kleinere Berichtigungen und Verbesserungen;
2023-05-03: Typo auf Folie 96; kleine Umformulierung auf Folie 103; in den Beweisen von (Th2) bis (Th6) und (Th8) die Reihenfolge der Schritte geändert; Folie 142 verbessert; Folie 144 erweitert, daher Folie 145 neu
2023-05-07: kleinere Verbesserungen, Hauptjunktor auf Folie 37 definiert
2023-05-16: Folien 147-162 zum Teil stark überarbeitet, Folie 156 neu
2023-05-22: Folie 140: kürzere Regelnamen; Folien 157-161: präzisiert + geglättet
2023-05-23: Folie 66: Lemma um eine Aussage erweitert; Folie 142: neu; Folie 163: Definition umformuliert, Verweis auf Folie 66
2023-06-07: Folien 186-189 verbessert
2023-06-12: Typo auf Folie 211, Formel (2); auf Folie 214 Verweis auf Folie 52; Folie 216: den Begriff des Erfüllers eingeführt; Folie 217 besser an Folie 56 angepasst
2023-06-21: Folie 228: das at-Symbol aus dem Substitutionslemma entfernt; Folien 229-232 neu, expliziter Beweis des Substitutionslemmas
2023-06-22: einige Typos und TeX-Fehler entfernt
2023-06-25: Folie 259 verbessert
2023-07-07: Folie 269 angepasst; Folie 272: Markierung der Widersprüchhe geäandert um vertikal Platz zu sparen; Folien 153, 155 und 156 entsprechend angepasst
2023-10-04: Folien 165-179 sowie 191-198 überarbeitet

Folien zu den großen Übungen 2023-04-17, 2023-04-24, 2023-05-08, 2023-05-22, 2023-06-12, 2023-06-26

Literatur