Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Vorlesung: Einführung in die Logik

Sommersemester 2024

Neuigkeiten

05. Juni
Heute fällt die Vorlesung aus.
25. März
Die erste Vorlesung findet am Mittwoch, den 10. April statt.
04. April
Die erste große Übung findet am Montag, den 08. April statt.
15. April
Anmeldung zu den kleinen Übungen ab heute um 13:10 möglich auf StudIP.
16. April
Die Termin-Informationen zu den kleinen Übungen auf StudIP sind falsch. Richten Sie sich bitte nach den Informationen weiter unten auf dieser Seite.
22. April
Neue Abgabegruppen für die kleinen Übungen sind verfügbar.
26. April
Videos und Notizen zur Vorlesung aus vergangenen Semestern als Material hinzugefügt.
22. Mai
Am 27. Mai fällt die Vorlesung aufgrund von einer Vollversammlung aus!

Vorlesung

Übungsbetrieb

Übungsblätter

Die Übungsblätter werden hier hochgeladen und online im StudIP abgegeben. Um die Übungsblätter abzugeben, müssen Sie in einer Dreiergruppe im StudIP eingetragen sein ! Schreiben Sie auf Ihre Abgaben unbedingt: den Namen, die Matrikelnummer, den Studiengang und eine E-Mail Adresse aller Gruppenmitglieder! Kontaktieren Sie bei Fragen zu den Präsenzblättern Ihren Tutor.

Modul

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

Material

Der Foliensatz, der in den Vorlesungen präsentiert wird.
Videos zur Vorlesung aus vergangenen Semestern.
Handschriftliche Notizen zur Vorlesung.

Literatur