Logik in der Informatik
Prof. Dr. Nicole Schweikardt

Vorlesung Logik in der Informatik

Wintersemester 2022/23

Literatur

[Skript] Nicole Schweikardt, Logik in der Informatik, Skript zur gleichnamigen Vorlesung am Institut für Informatik der Humboldt-Universität zu Berlin, 2022.

Folgende Bücher werden dazu zur Vertiefung des Vorlesungstoffes empfohlen:

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

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

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

Im praktischen Teil der Veranstaltung beschäftigen wir uns mit der Programmiersprache Prolog. Hier basiert die Vorlesung auf den folgenden beiden Büchern:

[BBS] Patrick Blackburn, Johan Bos, Kristina Striegnitz, Learn PROLOG Now!. Kings College Publications, 2006. Online version.

[SS] Ehud Shapiro, Leon Sterling, The Art of PROLOG: Advanced Programming Techniques. 2nd Edition, MIT Press, 1994.

Weitere Materialien

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

Last modified: 20.09.2022
Nicole Schweikardt

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

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

[BBS]	Patrick Blackburn, Johan Bos, Kristina Striegnitz, Learn PROLOG Now!. Kings College Publications, 2006. Online version.
[SS]	Ehud Shapiro, Leon Sterling, The Art of PROLOG: Advanced Programming Techniques. 2nd Edition, MIT Press, 1994.