Diplôme inter-universitaire : enseigner l’informatique au lycée

Cours de L3 informatique, orienté terminaison, correction partielle et complexité

Cours de M1 informatique, orienté calculabilité et NP-complétude

Travaux dirigés

Au choix :
  1. Exercices avec un solveur SAT
  2. Exercices en Dafny sur la programmation par contrat
  3. Rédiger deux diapos format PDF dans le style de ce document en sélectionnant un informaticien connu, comme par exemple Patrick Cousot, Bill Gates, Tony Hoare, Gérard Huet, Steve Jobs

Valid HTML5