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

Zeit/Ort:Mi 10 - 12, 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.

  • Mindestens zweimal Vorrechnen einer (Teil-)Übungsaufgabe im Tutorat; alle müssen in der Lage sein, die von ihnen abgegebenen Übungsaufgaben auf Zuruf an der Tafel zu präsentieren.

Die Klausur findet am 2.3.2023 von 10:00 Uhr an statt. Der Ort wird noch bekanntgegeben. Bitte kommen Sie um 10 Minuten vor 10.
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.

Skript und Literatur

Skript in der jeweils aktuellen Fassung aktuell 16.02.2023 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 in HISinOne. Genaue Angaben zu den acht Gruppen findet man im HISinOne und im Ilias. Es gibt eine englischsprachige Gruppe.

Übungsblätter

Die Übungsblätter werden wöchentlich am Mittwoch auf dieser Seite veröffentlicht.

Die Übungsstunden beginnen am Montag und Dienstag in der zweiten Vorlesungswoche mit einer Saalübung zu Blatt 0. Die gemeinsame Abgabe in 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)

Version der Seite vom 02.07.2025, HM