http://www.tu-ilmenau.de

Logo TU Ilmenau


INHALTE

Logik in der Informatik

Mitteilungen

Am 3.5. findet eine Vorlesung um 15 Uhr statt, Raum HU 117.

Termine

Vorlesung (Prof. D. Kuske):

Dienstag, 11:00 - 12:30 Uhr, Sr HU 210

Donnerstag U, 15:00 - 16:30 Uhr, Sr HU 013

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.