Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Vorlesung: Einführung in die Logik

Sommersemester 2021

Neuigkeiten

12. April
Die Vorlesung beginnt in der Woche zum 19. 04.
12. April
Bitte tragen Sie sich bis zum 23.04 zur Abgabe des ersten Blattes zu viert im StudIP als Abgabegruppe ein.
20. April
Anzahl der Gruppen im StudIP erhöht.
26. April
Gruppen auf Abgabgegruppen zugeteilt. Bitte geben Sie die Hausaufgabenblätter im StudIP ab. Ihren Abgabeordner können Sie aus der folgenden Liste ablesen:
  • Abgabeordner 1: Gruppe 1 / 6 / 11 / ... (Kongruent 1 modulo 5)
  • Abgabeordner 2: Gruppe 2 / 7 / 12 / ... (Kongruent 2 modulo 5)
  • Abgabeordner 3: Gruppe 3 / 8 / 13 / ... (Kongruent 3 modulo 5)
  • Abgabeordner 4: Gruppe 4 / 9 / 14 / ... (Kongruent 4 modulo 5)
  • Abgabeordner 5: Gruppe 5 / 10 / 15 / ... (Kongruent 0 modulo 5)
24.-28. Mai
Exkursionswoche - keine VL.
02. Juni
Link zum Evaluationsbogen im StudIP

Organisation

Vorlesung
Modul

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

Vorlesungsmaterialien

Die Vorlesungen basiert auf diesem Foliensatz (Stand 03.08.2020), der im Laufe der Vorlesung überarbeitet wird.

Die Präsentation ist hier in Form von Videos zu finden. Ausführlichere Darstellungen des Inhalts finden Sie in den folgenden handschriftliche Notizen:

Alternative Materialien mit anderer Darstellung, erstellt von Dr. Jürgen Koslowski und Dr. Thorsten Palm, finden Sie hier:

Übungsbetrieb

Übungsblätter

Die Übungsblätter werden während des Semesters hier zur Verfügung gestellt.
Die Hausaufgabenabgabe und Korrektur erfolgt per StudIP. Scannen Sie dazu Ihre handschriftlichen Hausaufgaben ein oder erstellen Sie diese direkt in digitaler Form als .pdf (z.B. mit LaTeX). Ihren Abgabeordner können Sie aus der folgenden Liste ablesen: Lösungen werden im StudIP hochgeladen.

Literatur