Logik in der Informatik Prof. Dr. Nicole Schweikardt

Literatur

Vorlesungsskript und Handout der in der Vorlesung verwendeten Folien:

[Skript]	Nicole Schweikardt, Logik in der Informatik, Skript zur gleichnamigen Vorlesung am Institut für Informatik der Humboldt-Universität zu Berlin, 2018. Die Online-Version ist hier erhältlich.
[Handout]	Nicole Schweikardt, Logik in der Informatik, Handout der Folien zur gleichnamigen Vorlesung am Institut für Informatik der Humboldt-Universität zu Berlin, 2018. Die Online-Version ist hier erhältlich.

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.