Logik für Studierende der Informatik im Wintersemester 2025/26

Zeit/Ort:Mi 10:10 - 11:45 (ab dem 5.11.2025), HS 00-026, Geb. 101, Georges-Köhler-Allee
 
Dozentin: Prof. Dr. Heike Mildenberger
Sprechstunde Dozentin: n. V.
Mitwirkung bei den Übungen M.Sc. Simon Klemm
Sprechstunde Assistent: n. V.

Studien und Prüfungsleistung

Die verbindlichen Anforderungen für die Studienleistung finden Sie im Modulhandbuch. Wir erwarten dafür von Ihnen (hier zur Info ohne Gewähr):

  • Mindestens 50% der erreichbaren Punkte auf die schriftlich zu bearbeitenden Übungsaufgaben.

Klausur

Die Klausur findet am 2.3.2026 von 10:00 - 12:00 Uhr im mu-Saal, HS 00-026, Geb. 101, Georges-Köhler-Allee, und im benachbarten Schick-Saal und im SR 00-010/14 statt. Hilfsmittel: Für die Klausur dürfen Sie ein beidseitig von Hand beschriebenes Din A4-Blatt mit Notizen beliebiger Wahl mitbringen und konsultieren. Sonstige Unterlagen und Internetbenutzung sind nicht gestattet.

Klausureinsicht

Am 16.03.2026 von 14:00 bis 16:00 Uhr im SR 404, Ernst-Zermelo-Str. 1.

Noten auf HISinOne

Nach der Klausureinsicht haben wir für drei Teilnehmerinnen die Noten verbessert. Sie können im HISinOne Ihre abschließend eingetragene Note sehen.

Nachklausur

Diese findet am 17.8.2026 von 10:00 bis 12:00 im Hörsaal II in der Albertstr. 23b im Institutsviertel statt. Hilfsmittel wie oben. Bitte kommen Sie 10 Minuten vor 10.

Skript und Literatur

Skript in der jeweils aktuellen Fassung aktuell 20.2.2026 datiert,

falls Sie Fehler finden, melden Sie sich bitte. Als englischsprachige Literatur empfehlen wir Dirk van Dalen, Logic and Structure, und Herbert Enderton, A Mathematical Introduction to Logic. Ein fortgeschrittenes Buch ist Robert Soare, Turing Computability Theory and Applications. Das erste und das dritte Buch gibt es als Datei aus der UB. Als Papierbuch, das es in etlichen Exemplaren in der Bibliothek der TF gibt, empfehlen wir Michael Sipser, Introduction to the theory of computation. Die Beispiele der Turingmaschinen aus dem Skript sind hieraus.

Anmeldung/Organisatorisches

Anmeldung zur Vorlesung und einer Übungsgruppe in HISinOne. Genaue Angaben zu den sechs Gruppen findet man im HISinOne und im Ilias. Es gibt eventuell die Gruppe 5 als englischsprachige Gruppe. Wenn Sie Interesse an einer englischsprachigen Übung haben, melden Sie sich bitte bei Gruppe 5 an. Bei genügend Interesse wird diese Gruppe auf Englisch unterrichtet.

Übungsblätter

Die Übungsblätter werden wöchentlich am Mittwoch auf dieser Seite veröffentlicht. Die Teilnehmer(innen) der Gruppen 3, 4 und 6 geben ihre Lösungen bis zum darauffolgenden Donnerstag um 10 Uhr auf Ilias ab. In den Gruppen 1,2 und 5 findet die Abgabe bis am darauffolgenden Donnerstag um 10 Uhr in den entsprechenden Briefkästen im Gebäude 51 in der Georges-Köhler-Allee statt.

Die Übungsstunden beginnen in der zweiten Vorlesungswoche mit einer Saalübung zu Blatt 0. Die gemeinsame Abgabe in einer Dreiergruppe oder einer Zweiergruppe und auch die Abgabe in Einzelarbeit sind gestattet, jedoch nicht die gemeinsame Abgabe in größeren Gruppen. Wir erwarten, dass Sie bei den Hausaufgaben bei Entscheidungsfragen Ihre Entscheidung durch einen Beweis oder ein Gegenbeispiel begründen.

Blatt Ausgabe Abgabe (vor 10 Uhr vormittags)
Blatt 0 14.10.2025 keine Abgabe, Anwesenheitsübungen
Blatt 1 14.10.2025 23.10.2025
Blatt 2 21.10.2025 30.10.2025
Blatt 3 29.10.2025 06.11.2025
Blatt 4 05.11.2025 13.11.2025
Blatt 5 12.11.2025 20.11.2025
Blatt 6 19.11.2025 27.11.2025
Blatt 7 26.11.2025 04.12.2025
Blatt 8 03.12.2025 11.12.2025
Blatt 9 10.12.2025 18.12.2025
Blatt 10 17.12.2025 08.01.2025
Probeklausur ohne Abgabe 17.12.2025 keine
Blatt 11 07.01.2026 15.01.2026
Blatt 12 14.01.2026 22.01.2026
Blatt 13 21.01.2026 29.01.2026

Version der Seite vom 09.03.2026, HM