Einführung in die Logik/Modelltheorie

Wintersemester 2018/19


Aktuelles Veranstaltungen Übungsblätter Prüfung Literatur
Dozent:
Prof. Immanuel Halupczok (Sprechzeiten: Mo, 16:15 - 17:15 oder nach Vereinbarung)

Übungen:
Florian Severin (Sprechzeiten: Mi, 11-12 / Mi, 15:30-16:30 / nach Vereinbarung)

Übungsblätter:
Aktuell sind Übungsblatt 12 und die Lösungsideen zu Blatt 11.

Kurzskript:
gibt es hier (letzte Änderung: 17.1., 13:11).

Aktuelles

Veranstaltungen

Vorlesung:
Mo, 14:30-16:30 Uhr, Raum 25.22.02.81
Do, 10:30-12:30 Uhr, Raum 25.22.03.73

Übung:
Zwei Gruppen; zu folgenden Terminen:
Ab dem 5.12. eine Gruppe:
Sie dürfen sich aussuchen, zu welcher der Gruppen Sie gehen möchten (und können auch zwischen den Gruppen wechseln, wenn es Ihnen einmal zum anderen Termin besser passt).
Beginn der Übungen in der 2. Semesterwoche (d.h. am 17.9.).

Anmeldung:
Bitte melden Sie sich im LSF zur Vorlesung an. (Zu den Übungen brauchen Sie sich nicht separat anzumelden.)

Hier geht's ins LSF: zur Vorlesung und zur Übung

Übungsblätter

Es wird wöchentlich ein Übungsblatt auf diese Webseite gestellt, das innerhalb einer Woche zu bearbeiten ist und dann korrigiert wird. Auf jedem Blatt können 16 Punkte erreicht werden. Abgaben mit mehr als einem Namen sind nicht erlaubt.
Die Übungsblätter erscheinen donnerstags hier, Abgabe ist dann jeweils eine Woche später am Donnerstag in der Vorlesung. Ihre korrigierte Abgabe erhalten Sie in der Übungsgruppe.

Prüfung

Um die Leistungspunkte für das Modul zu erhalten, müssen Sie eine Klausur oder eine mündliche Prüfung bestehen. (Was von beidem steht noch nicht fest.) Um an der Klausur/Prüfung teilnehmen zu können, müssen Sie die Zulassung erhalten.

Zulassungsvoraussetzung: 40% der Übungsblätter-Punkte

Literatur

Außerdem enthält das Kurzskript zur Vorlesung die wichtigsten Definitionen, Resultate und Beispiele. Es enthält aber weder Beweise noch Erklärungen und ist nicht dafür geeignet, die Vorlesung zu ersetzen.
Verantwortlich für den Inhalt: Prof. Immanuel Halupczok     ♦     Impressum     ♦     Datenschutz     ♦     Kontakt