http://www.tu-ilmenau.de

Logo TU Ilmenau



INHALTE

Logik in der Informatik

Mitteilungen

Die mündlichen Prüfungen nimmt Prof. Kuske am 15.08. und 16.08.2019 ab. Bitte wenden Sie sich vom 12.06.2019 bis spätestens 26.06.2019 an das Sekretariat, Frau Berlit, Raum Z1046, um eine mdl. Prüfung zu vereinbaren.

Termine

Vorlesung:

Dienstag, 11:00 - 12:30 Uhr, HU 210, Prof. D. Kuske

Donnerstag (G), 15:00 - 16:30 Uhr, Sr K 2002B, Prof. D. Kuske

 

 

 

Literaturempfehlung

  • L. Libkin: Elements of Finite Model Theory. Springer 2004.
  • H.-D. Ebbinghaus und J. Flum: Finite Model Theory. Springer 1995.
  • M. Grohe: Logic, graphs, and algorithms. In J.Flum, E.Grädel, T.Wilke (Herausgeber), Logic and Automata – History and Perspectives, Amsterdam University Press, 2007.