Logik in der Informatik
Prof. Dr. Nicole Schweikardt

Vorlesung Einführung in die formale Logik für IMP

Sommersemester 2023

Die Website zur Vorlesung ist hier erreichbar.

Literatur

Vorlesungsskript und Handout der in der Vorlesung verwendeten Folien:

[Skript] Nicole Schweikardt, Einführung in die formale Logik für IMP, Skript zur gleichnamigen Vorlesung am Institut für Informatik der Humboldt-Universität zu Berlin, 2023. Das Skript ist im moodle-Kurs erhältlich.

Haupthema der Vorlesung ist die formale Logik. Folgende Bücher werden dazu zur Vertiefung des Vorlesungstoffes empfohlen:

[EFT] Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas, Einführung in die Mathematische Logik. 6. Auflage, Springer Spektrum, 2018.
Für Angehörige der HU Berlin ist das Buch hier erhältlich: https://link.springer.com/book/10.1007%2F978-3-662-58029-5
Loggen Sie Sich dazu auf der Seite über Log In, Log in via Shibboleth or Athens, bei Or, find your institution (via Shibboleth) über Humboldt Universität zu Berlin auf Log in via Shibboleth mit Ihrem CMS-Account ein.

[B] S. Burris, Logic for Mathematics and Computer Science. Prentice Hall, 1998.

[KK] M. Kreuzer, S. Kühling. Logik für Informatiker. Pearson, 2006.

[S] U. Schöning, Logik für Informatiker. 5. Auflage, Spektrum Akademischer Verlag, 2000.

Als Ergänzung seien auch noch folgende Bücher genannt:

[E] Heinz-Dieter Ebbinghaus, Einführung in die Mengenlehre. 4. Auflage, Spektrum Akademischer Verlag, 2003.

[L] Leonid Libkin, Elements of Finite Model Theory. Springer, 2004. Die für die Vorlesung relevanten Teile des Buchs sind hier unter dem mit "Download table of contents and a sample chapter" beschrifteten Link erhältlich.

[FG] Jörg Flum, Martin Grohe, Parameterized Complexity Theory. Springer, 2005.

[C] P. J. Cameron, Sets, Logic and Categories. Springer Verlag, 1998.

[vD] D. van Dalen, Logic and Structure. 4th Edition, Springer Verlag, 2004.

[HR] M. Huth and M. Ryan, Logic in Computer Science – Modelling and Reasoning About Systems . 2nd Edition, Cambridge University Press, 2004.

Weitere Materialien

snippets-of-logic: Die in der Vorlesung angesprochenen snippets-of-logic finden sich für Aussagenlogik hier.

Last modified: 12.04.2022
Nicole Schweikardt

[EFT]	Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas, Einführung in die Mathematische Logik. 6. Auflage, Springer Spektrum, 2018. Für Angehörige der HU Berlin ist das Buch hier erhältlich: https://link.springer.com/book/10.1007%2F978-3-662-58029-5 Loggen Sie Sich dazu auf der Seite über Log In, Log in via Shibboleth or Athens, bei Or, find your institution (via Shibboleth) über Humboldt Universität zu Berlin auf Log in via Shibboleth mit Ihrem CMS-Account ein.
[B]	S. Burris, Logic for Mathematics and Computer Science. Prentice Hall, 1998.
[KK]	M. Kreuzer, S. Kühling. Logik für Informatiker. Pearson, 2006.
[S]	U. Schöning, Logik für Informatiker. 5. Auflage, Spektrum Akademischer Verlag, 2000.

[E]	Heinz-Dieter Ebbinghaus, Einführung in die Mengenlehre. 4. Auflage, Spektrum Akademischer Verlag, 2003.
[L]	Leonid Libkin, Elements of Finite Model Theory. Springer, 2004. Die für die Vorlesung relevanten Teile des Buchs sind hier unter dem mit "Download table of contents and a sample chapter" beschrifteten Link erhältlich.
[FG]	Jörg Flum, Martin Grohe, Parameterized Complexity Theory. Springer, 2005.
[C]	P. J. Cameron, Sets, Logic and Categories. Springer Verlag, 1998.
[vD]	D. van Dalen, Logic and Structure. 4th Edition, Springer Verlag, 2004.
[HR]	M. Huth and M. Ryan, Logic in Computer Science – Modelling and Reasoning About Systems . 2nd Edition, Cambridge University Press, 2004.