Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Vorlesung: Einführung in die Logik

Sommersemester 2019

Neuigkeiten

12. März
Informationen zur Klausur am 20.03.2020 finden Sie auf folgender Seite: Klausur: Einführung in die Logik im WS19/20
13. Septeber
Falls Sie noch keine Einsicht in die Klausur genommen haben, können Sie das am Montag, dem 16. September, um 11:00 in Büro IZ 343 nachholen. Falls Sie zu diesem Termin keine Zeit haben, aber Einsicht in die Klausur nehmen wollen, kontaktieren Sie uns bitte unverzüglich.
10. September
Klausurergebnisse
09. September
Die Klausur-Einsicht findet am Donnerstag, den 12. September, um 14 Uhr statt, vermutlich im IZ 358.
15. August
Übungsklausur mit Lösungsvorschlägen.
29. Juli
Extra-Übungen: Herr Maseli bietet am 30. Juli und am 6. August jeweils eine Extra-Übung um 13:15 Uhr im IZ 161 an. Am 22. August (Donnerstag) findet im PK 2.2 eine große Übung statt, von 12:30 bis 14:30.
17. Juli
Wir werden vor der Abschlussklausur am 29. August eine Fragestunde / zusätzliche Großübung anbieten. Den Termin werden wir rechtzeitig hier auf der Website bekanntgeben.
04. Juli
Die Folen reichen nun bis zum Satz von Löwenheim-Skolem, einschließ der Beweise des Satzes von Herbrand und des Satzes von Löwenheim-Skolem.
24. Juni
Der Abschnitt zur Semantik der Prädikatenlogik wurde überarbeitet.
21. Juni
Folien aktualisiert bis zur Semantik der Prädikatenlogik.
16. Juni
Folien aktualisiert bis einschließlich Resolutionsmethode.
02. Juni
Der Autor des neuen Skripts ist derzeit erkrankt, daher verzögert sich leider ein Update. Die Folien sind heute bis auf einen Unterabschnitt aktualisiert worden.
15. Mai
Neben den kompakten Folien ohne Zwischenschritte sind nun auch die ausführlichen Folien mit allen Zwischenschritten verfügbar, ebenso das zugrunde liegende aber noch in der Entwicklung befindliche Skript.
29. April
Die Mitschrift der ersten Großübung findet sich nun weiter unten auf dieser Seite.
17. April
Der Raum für die große Übung wurde geändert: SN 23.1 anstatt von PK 2.2 (die Person in der Raumplanung, der dieser Fehler unterlaufen ist, entschuldigt sich).
Auf vielfachen Wunsch dürfen die Hausaufgaben doch in 4-er Gruppen abgegeben werden ;-) , möglichst aber nicht gruppenübergreifend.
16. April
Die kleinen Übungen beginnen in der kommenden Woche (23. - 26. April).
Die erste Großübung findet am 29. April um 9:45 in SN 23.1 statt.
15. April
Aufgrund der hohen Teilnehmeranzahl haben wir die Organisation geändert.
  • Alle zwei Wochen findet eine Großübung statt: Montags, 9:45 - 11:15, in Raum PK 2.2, an den Terminen 2019-{04-29,05-13,05-27,06-17,07-01,07-15}.
  • In den anderen Wochen finden die Termine der (kleinen) Übungsgruppen statt.
Die Einteilung in die Übungsgruppen steht fest.
  • Sie können auf zahnrad.tcs.cs.tu-bs.de einsehen, zu welcher Übung Sie eingeteilt wurden.
  • 93% der Studierenden wurden zu einem "bevorzugten" Termin eingeteilt. Alle Links wurden berücksichtigt.
  • Wenn Sie Probleme mit der Einteilung haben, melden Sie sich bei Sebastian.
09. April
Wenn Sie an den Übungen zur Vorlesung teilnehmen wollen, tragen Sie bitte bis zum Freitag, dem 12. April, 12:00 Uhr, auf zahnrad.tcs.cs.tu-bs.de ihre Präferenzen ein.
  • Beachten Sie die im System angezeigten Hinweise.
  • Insbesondere: Wählen Sie bei möglichst wenigen (höchstens 4) Terminen "unmöglich" aus, da an nicht allen Terminen eine Übungsgruppe stattfinden wird. Sonst besteht die die Gefahr, dass Sie zu einem Termin eingeteilt werden, für den Sie "unmöglich" ausgewählt haben.
  • Die Einteilung wird am Montag, dem 15. April, bekanntgegeben.
  • Falls es Probleme mit dem Anmeldungssystem gibt, kontaktieren Sie Sebastian.
03. April
Die erste Vorlesung findet am Montag, den 10. April statt.

Vorlesung

Übungsbetrieb

Aufgrund der unerwartet großen Nachfrage waren wir gezwungen, den Übungsbetrieb umzuorganisieren:

Übungsblätter

Die Übungsblätter werden während des Semesters jeweils am Dienstag hier zur Verfügung gestellt. Die Abgabe erfolgt bis zum darauffolgenden Dienstag im Kasten neben Raum IZ 343 (Zeit wird noch bekanntgegeben), bzw. direkt in der ersten dienstäglichen Übungsgruppe.
Kontaktieren Sie bei Fragen zu den Präsenzblättern Ihren Tutor oder Jürgen Koslowski.

Mitschriften der Großübung

Die Mitschriften der Großübungen werden hier zur Verfügung gestellt:

Modul

Um das Modul erfolgreich abzuschließen, sind zwei Leistungen zu erbringen:

Abschlussklausur

Material

Neuer Folien über den aktuellen Vorlesungsfortschritt: Neues Skript: Alte Materialien: Ferner gibt es handschriftliche Notizen von Herrn Prof. Meyer zu einzelnen Themen der Vorlesung.