The written exam consists in the resolution of exercises.
Oral exam on the program, or on further materials.
students fora abroad, the course can be given in english.
formalise properties of systems, but the most used logic, classical logic, deals with all structures, finite and infinite. Thanks to the applications to Computer Science a new theory arises, the so called Finite Model Theory, which is very different from classical model theory and has application in
Foundation of Data Bases, Complexity Theory, Formal Languages and other parts of Computer Science.
This course aims to provide an introduction to Finite Model Theory with applications to the Foundation of Data Bases and Complexity Theory.
We will deal with the intertwine between Logic, Game theory, Computational Complexity and Data Bases queries.
– Foundation of Data Bases,
Abiteboul, Hull, Vianu, Addison Wesley.
Articles and the materials from the teacher.