Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Vorlesung: Einführung in die Logik

Sommersemester 2020

Neuigkeiten

03. Sept
Aufgrund aktueller Lage kann die Einsicht nicht wie üblich stattfinden. Falls Sie die Klausur einsehen wollen, melden Sie sich bitte per E-Mail bei unserer Sekretärin Frau Soleinsky (a.soleinsky@tu-bs.de) zur Terminfindung. Die Ergebnisse finden Sie (nun wieder) hier (Statistik).
03. August
Raumaufteilung für die Klausur: Beginnt Ihr Nachname mit A-K: Sporthalle Beethovenstraße. Beginnt Ihr Nachname mit L-Z: Mensa 1.
03. August
Es gibt eine Korrektur auf den Folien 74 und 75, die blau hervorgehoben ist. Vielen Dank für den Hinweis!
29. Juli
Die Klausur findet am 04. August 14:30 statt. Der Prüfungsbeginn ist um 15:15. Die Räumlichkeiten sind Mensa 1, Sporthalle Beethovenstraße, Tentomax und Zi-24.1 (Grotrian). Am Montag, dem 03. August, wird hier bekannt gegeben, in welchem Raum Sie geprüft werden. Bitte lesen Sie sich die Bestimmungen der TU für Prüfungen während der Corona-Zeit durch. Zugelassen zur Klausur ist ein beidseitig handschriftlich beschriebenes DIN-A4 Cheat-Sheet.
10. Juli
Die Vorlesung in Woche 9 erscheint aufgrund von Terminkonflikten verspätet. Wir bitten um Entschuldigung.
01. Juli
Es gibt nun einen TU Rocket.Chat(link expires 15. Juli) für die Vorlesung. Neue Informationen bezüglich der Vorlesung werden auch dort vermittelt (sowie natürlich weiterhin auf dieser Website). Zudem können Sie sich mit anderen Studenten austauschen, Fragen stellen und beantworten. Desweiteren werde ich (Sören van der Wall) freitags (03. Juli, 10. Juli, 17. Juli) um 10:00 für eine Stunde im Chat sein und kann dort Fragen beantworten.
01. Juli
Der Klausurtermin steht nun fest: 04.08.2020 14:30-18:45 15:15-17:15. Es wird eine schriftliche Klausur geben. Weiter Informationen später.
7. Mai
Die Vorlesung wird von Prof. Dr. Meyer übernommen. Die ersten Vorlesungsvideos erscheinen in der nächsten Woche.
17. April
Zu den Übungen melden Sie sich bitte in Gruppen mit bis zu vier Personen per Mail an Sören van der Wall( s.van-der-wall@tu-bs.de) an. Bitte achten Sie darauf, in der Mail folgende Information anzugeben:
  • Matrikelnummer,
  • Nachname,
  • Vorname,
  • E-Mail-Adresse.
11. April
Die Vorlesungen und kleinen Übungen werden aufgrund der momentanen Situation nur online angeboten. Dazu werden hier auf dieser Seite die jeweiligen Veranstaltungen in Videoform hochgeladen. Hausaufgabenabgabe und -korrektur werden ebenfalls online stattfinden. Dazu sind die Hausaufgaben einzuscannen oder direkt als .pdf zu erstellen.

Vorlesung

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 E-Mail an Ihren Gruppenleiter. Scannen Sie dazu Ihre handschriftlichen Hausaufgaben ein oder erstellen Sie diese direkt in digitaler Form als .pdf (z.B. mit LaTeX).
Kontaktieren Sie bei Fragen zu den Übungsblättern Ihren Tutor oder Sören van der Wall (s.van-der-wall@tu-bs.de).

Modul

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

Abschlussklausur