Aktuelles

• Prüfungsanmeldung: Die Anmeldung zu den Prüfungen erfolgt über RWTHonline (Ersttermin oder Zweittermin). Bitte beachten Sie unbedingt die An- und Abmeldefristen in RWTHonline.

• Anmeldung: Sie müssen sich über RWTHonline sowohl zur Vorlesung anmelden als auch zu den Tutorien anmelden. Zu den Prüfungen müssen Sie sich separat anmelden.

• Die Vorlesung wird von der Video AG aufgezeichnet. Die Videos werden unter https://rwth.video/23ss-malo zur Verfügung gestellt.

• Moodle-Lernraum: Alle aktuellen Informationen und Materialien werden ausschließlich über Moodle veröffentlicht.

  • Mit Ihrer Anmeldung zur Vorlesung erhalten Sie nach maximal 24 Stunden Verzögerung automatisch Zugriff auf unseren Moodle-Lernraum.

  • Diese Webseite wird nicht regelmäßig aktualisiert.

  • Bei Moodle-Störungen veröffentlichen wir hier Ankündigungen und passwortgeschützte Materialien.

• Kontakt: Bitte wenden Sie sich bei Fragen und technischen Problemen per E-Mail an Lovro Mrkonjić.

→ MaLo-Portal ←

Im MaLo-Portal können Sie Ihre Übungspunkte und später die vorläufigen Klausurergebnisse einsehen.

Termine

Art	Termin				Ort		Veranstalter
V3	Mi	09:00	–	10:00	1420|002 (Roter Hörsaal)	Vorlesung (Beginn 5. April)	E. Grädel
	Do	14:30	–	15:45	1420|002 (Roter Hörsaal)	Vorlesung (Beginn 6. April)	E. Grädel
Ü2	Mo	10:30	–	12:00	1385|218 (H11)	Tutorium 12 (Beginn 17. April)	E. Zimmer
	Mo	12:30	–	14:00	2356|056 (5056)	Tutorium 13 (Beginn 17. April), in englischer Sprache	T. Novotný
	Mi	10:30	–	12:00	1385|004 (amazon-Hörsaal (H06))	Tutorium 01 (Beginn 12. April)	R. Meffert
	Mi	12:30	–	14:00	2350|028 (AH I)	Tutorium 02 (Beginn 12. April)	B. Pago
	Mi	14:30	–	16:00	1385|104 (H07) und online (Link)	Tutorium 03 (Beginn 12. April)	J. Arpasi
	Mi	16:30	–	18:00	2350|028 (AH I)	Tutorium 04 (Beginn 12. April)	M. Naaf
	Do	10:30	–	12:00	1385|219 (H08)	Tutorium 05 (Beginn 13. April)	I. Hergeth
	Do	12:30	–	14:00	1010|141 (IV)	Tutorium 06 (Beginn 13. April)	E. Lüpfert
	Do	16:30	–	18:00	2356|056 (5056)	Tutorium 07 (Beginn 13. April)	D. Zilken
	Do	18:30	–	20:00	online (Zoom)	Tutorium 08 (Beginn 13. April)	L. Mrkonjić
	Fr	10:30	–	12:00	2356|050 (AH V)	Tutorium 09 (Beginn 14. April)	A. von Trotha
	Fr	12:30	–	14:00	2350|028 (AH I)	Tutorium 10 (Beginn 14. April)	T. Becker
	Fr	16:30	–	18:00	1010|141 (IV)	Tutorium 11 (Beginn 14. April)	D. Vitorino

Lernmaterialien

• Skript

• Videoaufzeichnungen der aktuellen Vorlesungen

• alte Videoaufzeichnungen der Vorlesung aus dem Sommersemester 2017

Downloads

• LaTeX-Vorlage (leere Version der Vorlage ohne Beispiele)

Übungen

• Übung 0 [pdf], Präsenzübung 0 [pdf]
• Übung 1 [pdf], Präsenzübung 1 [pdf]
• Übung 2 [pdf], Präsenzübung 2 [pdf]
• Übung 3 [pdf], Präsenzübung 3 [pdf]
• Übung 4 [pdf], Präsenzübung 4 [pdf]
• Übung 5 [pdf], Präsenzübung 5 [pdf]
• Übung 6 [pdf], Präsenzübung 6 [pdf]

Prüfungsleistung

Die Prüfung für das Modul Mathematische Logik findet in Form einer Klausur mit einer Bearbeitungszeit von 120 Minuten statt.

Sie erhalten die Klausurzulassung, wenn Sie sowohl 50 % aller Übungspunkte als auch 50 % aller eTest-Punkte erreichen.

Inhalt

• Aussagenlogik (Grundlagen, algorithmische Fragen, Kompaktheit, Resolution, Sequenzenkalkül)
• Strukturen, Syntax und Semantik der Prädikatenlogik
• Einführung in weitere Logiken (modale und temporale Logiken, Logiken höherer Stufe)
• Auswertungsspiele, Modellvergleichsspiele
• Beweiskalküle, Termstrukturen, Vollständigkeitssatz
• Kompaktheitssatz und Anwendungen
• Entscheidbarkeit, Unentscheidbarkeit und Komplexität von logischen Spezifikationen

Lernziele

Die Studierenden sollen Sachverhalte in geeigneten logischen Systemen formalisieren und mit diesen Formalisierungen umgehen, grundlegende Begriffe und Methoden der mathematischen Logik verstehen (Syntax und Semantik logischer Systeme, Folgerungsbeziehung, Erfüllbarkeit, Beweiskalküle, Definierbarkeit, etc.), die Ausdrucksstärke und Grenzen logischer Systeme beurteilen können sowie einige der fundamentalen Resultate der mathematischen Logik des 20. Jahrhunderts (z.B. Vollständigkeitssatz, Kompaktheitssatz, Unentscheidbarkeit der Prädikatenlogik) kennenlernen und ihre Bedeutung für Mathematik und Informatik verstehen.

Literatur

[1]	S. Burris. Logic for Mathematics and Computer Science. Prentice Hall, 1998.
[2]	R. Cori and D. Lascar. Logique mathématique. Masson, 1993.
[3]	H. Ebbinghaus, J. Flum, and W. Thomas. Einführung in die mathematische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt, 1986.
[4]	M. Huth and M. Ryan. Logic in Computer Science. Modelling and reasoning about systems. Cambridge University Press, 2000.
[5]	B. Heinemann and K. Weihrauch. Logik für Informatiker. Teubner, 1992.
[6]	H. K. Büning and T. Lettman. Aussagenlogik: Deduktion und Algorithmen. Teubner, 1994.
[7]	S. Popkorn. First Steps in Modal Logic. Cambridge University Press, 1994.
[8]	W. Rautenberg. Einführung in die Mathematische Logik. Vieweg, 1996.
[9]	U. Schöning. Logik für Informatiker. Spektrum Verlag, 1995.
[10]	D. van Dalen. Logic and Structure. Springer, Berlin, Heidelberg, 1983.

Zuordnung

• Grundlagen der Informatik (B.Sc.) / Themenmodule / Themenmodul Wahlpflicht Mathematik
• Informatik (B.Sc.) / Modulbereich Theoretische Informatik
• Mathematik (B.Sc.) / Wahlpflichtbereich

Voraussetzungen

• Mathematische Grundkenntnisse aus den Vorlesungen Diskrete Strukturen und Lineare Algebra
• Grundkenntnisse über Berechenbarkeit und Komplexität

Nachfolgeveranstaltungen

• Mathematische Logik II
• Logik und Spiele
• Algorithmische Modelltheorie
• weitere Spezialvorlesungen zur Mathematischen Logik

Wiederholung

jedes Jahr im Sommersemester

Rückfragen

Erich Grädel, Lovro Mrkonjić