Course program.


  • Algorithms and datastructures by Louis Jachiet
  • Statistics and probability by Tiphaine Viard
  • How to use a computer like a computer scientist  by Louis Jachiet
  • Formal languages  by Fabian Suchanek
  • Logic by Jean-Louis Dessalles








Introduction - Reminder on bases on logics (syntax, semantics...) and overview of several logics (propositional, first order, modal...)


Introduction - Reminder on bases on logics (syntax, semantics...) and overview of several logics (propositional, first order, modal...)