INFO-F-302: Informatique Fondamentale


Ce cours porte sur certains fondements de la science informatique: logique (propositionnelle, premier ordre), introduction à la complexité et la décidabilité, preuve de programmes. L'évaluation se fera par un examen écrit (3/4) et un projet (1/4).

Théorie (36h): Emmanuel Filiot, Département Informatique, bureau 2. N8. 111
Exercices (12h): IsmaĆ«l Jecker, Département Informatique.

Support de cours

Transparents

Enonces des Exercices

Projet

  • Enoncé du projet
  • Problèmes de satisfaction de contraintes
  • Exemples de sujets d'examen

    D'autres sujets sont disponibles dans les archives des années précédentes.

    Archives

    Archives de l'année,2015-2016, 2014-2015 2013-2014, 2012-2013, 2011-2012, ainsi que des années précédentes: voici.