Logik in der Informatik
Prof. Dr. Nicole Schweikardt

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

Sommersemester 2022

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, 2020. Die Online-Version ist hier erhältlich.

[Handout] Nicole Schweikardt, Einführung in die formale Logik für IMP, Handout der Folien zur gleichnamigen Vorlesung am Institut für Informatik der Humboldt-Universität zu Berlin, 2020. Die Online-Version ist hier 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

[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, 2020. Die Online-Version ist hier erhältlich.
[Handout]	Nicole Schweikardt, Einführung in die formale Logik für IMP, Handout der Folien zur gleichnamigen Vorlesung am Institut für Informatik der Humboldt-Universität zu Berlin, 2020. Die Online-Version ist hier erhältlich.

[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.