Logik in der Informatik
Prof. Dr. Nicole Schweikardt

Vorlesung Ausgewählte Kapitel der Logik: klassische Resultate

Sommersemester 2022

Im Logbuch finden Sie nach den Vorlesungen Informationen zum Inhalt der einzelnen Vorlesungsstunden und gelegentlich ergänzende Bemerkungen.

Literatur

[EFT] H.-D. Ebbinghaus, J. Flum, W. Thomas, Einführung in die mathematische Logik, Spektrum Akademischer Verlag, 4. Auflage, 1996

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

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

[BBJ] G. S. Boolos, J. P. Burgess, R. C. Jeffrey. Computability and Logic, 5th Edition, Cambridge University Press, 2007.

[S] N. Schweikardt, A short tutorial on order-invariant logics, Proceedings of the 8th International Computer Science Symposium in Russia (CSR'13), volume 7913 of Lecture Notes in Computer Science, pages 112-126, Springer-Verlag, 2013.
Eine Vorabversion des Artikels findet sich hier; Folien zu einer Vorlesungsreihe, die ich zum Thema "order-invariant logics" während der Scandinavian Summer School in Logic 2015 gehalten habe, finden sich hier.

Links

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

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

[Highlights] Highlights in Logic, Games and Automata

Last Modified: 11.04.2022
Nicole Schweikardt

[EFT]	H.-D. Ebbinghaus, J. Flum, W. Thomas, Einführung in die mathematische Logik, Spektrum Akademischer Verlag, 4. Auflage, 1996
[S-LI]	N. Schweikardt, Skript zur Vorlesung "Logik in der Informatik" im Wintersemester 2018/19, Humboldt-Universität zu Berlin. Link
[E]	H.-D. Ebbinghaus Einführung in die Mengenlehre, Spektrum Akademischer Verlag, 4. Auflage, 2003
[BBJ]	G. S. Boolos, J. P. Burgess, R. C. Jeffrey. Computability and Logic, 5th Edition, Cambridge University Press, 2007.
[S]	N. Schweikardt, A short tutorial on order-invariant logics, Proceedings of the 8th International Computer Science Symposium in Russia (CSR'13), volume 7913 of Lecture Notes in Computer Science, pages 112-126, Springer-Verlag, 2013. Eine Vorabversion des Artikels findet sich hier; Folien zu einer Vorlesungsreihe, die ich zum Thema "order-invariant logics" während der Scandinavian Summer School in Logic 2015 gehalten habe, finden sich hier.

[LICS]	IEEE Symposium on Logic in Computer Science (LICS)
[EACSL]	European Association for Computer Science Logic (EACSL)
[Highlights]	Highlights in Logic, Games and Automata