Logik in der Informatik
Prof. Dr. Nicole Schweikardt

Vorlesung Logik und Komplexität

Sommersemester 2023

Literatur

[L] Leonid Libkin, Elements of Finite Model Theory. Springer-Verlag, 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.

[EF] Heinz-Dieter Ebbinghaus und Jörg Flum. Finite Model Theory. Springer-Verlag, 2. Auflage, 1999.
Für Angehörige der HU Berlin ist das Buch hier erhältlich: https://link.springer.com/book/10.1007/3-540-28788-4. 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.

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

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

[G] Martin Grohe, Descriptive Complexity, Canonisation, and Definable Graph Structure Theory, Lecture Notes in Logic, Volume 47. Cambridge University Press, 2017. LINK. Springer-Verlag, 2005.

[I] Neil Immerman, Descriptive Complexity. Springer-Verlag, 1999.

[S-LuK] Nicole Schweikardt, Skript zur Vorlesung "Logik und Komplexität" im Sommersemester 2007, Humboldt-Universität zu Berlin. Link

[S-LI] Nicole Schweikardt, Skript zur Vorlesung "Logik in der Informatik" im Wintersemester 2019/20, Humboldt-Universität zu Berlin. Link

[F] E. Grädel, P. Kolaitis, L. Libkin, M. Marx, J. Spencer, M. Vardi, Y. Venema und S. Weinstein, Finite Model Theory and Its Applications. Springer-Verlag, 2007.

[Grädel] E. Grädel, Finite Model Theory and Descriptive Complexity. Kapitel 3 des Buchs [F].

[K] P. Kolaitis, On the expressive power of logics on finite models. Kapitel 2 des Buchs [F].

Links

[LICS] IEEE Symposium on Logic in Computer Science (LICS)

[EACSL] European Association for Computer Science Logic (EACSL)

Last modified: 30.04.2020
Nicole Schweikardt

[L]	Leonid Libkin, Elements of Finite Model Theory. Springer-Verlag, 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.
[EF]	Heinz-Dieter Ebbinghaus und Jörg Flum. Finite Model Theory. Springer-Verlag, 2. Auflage, 1999. Für Angehörige der HU Berlin ist das Buch hier erhältlich: https://link.springer.com/book/10.1007/3-540-28788-4. 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.
[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 online 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.
[FG]	Jörg Flum und Martin Grohe, Parameterized Complexity Theory. Springer-Verlag, 2005.
[G]	Martin Grohe, Descriptive Complexity, Canonisation, and Definable Graph Structure Theory, Lecture Notes in Logic, Volume 47. Cambridge University Press, 2017. LINK. Springer-Verlag, 2005.
[I]	Neil Immerman, Descriptive Complexity. Springer-Verlag, 1999.
[S-LuK]	Nicole Schweikardt, Skript zur Vorlesung "Logik und Komplexität" im Sommersemester 2007, Humboldt-Universität zu Berlin. Link
[S-LI]	Nicole Schweikardt, Skript zur Vorlesung "Logik in der Informatik" im Wintersemester 2019/20, Humboldt-Universität zu Berlin. Link
[F]	E. Grädel, P. Kolaitis, L. Libkin, M. Marx, J. Spencer, M. Vardi, Y. Venema und S. Weinstein, Finite Model Theory and Its Applications. Springer-Verlag, 2007.
[Grädel]	E. Grädel, Finite Model Theory and Descriptive Complexity. Kapitel 3 des Buchs [F].
[K]	P. Kolaitis, On the expressive power of logics on finite models. Kapitel 2 des Buchs [F].

[LICS]	IEEE Symposium on Logic in Computer Science (LICS)
[EACSL]	European Association for Computer Science Logic (EACSL)