Je ne donne plus ce cours depuis septembre 2016.

Cours optionnel de niveau L3 destiné aux étudiants de MIASHS et de MIAGE de Paris 1.

Programme

  • automates
  • logique (calcul propositionnel)
  • preuves de programme (logique de Hoare)

L'évaluation se fait par trois interrogations écrites de contrôle continu et un examen partiel. Les aides mémoire indiqués ci-dessous sont fournis lors des évaluations, sous la forme suivante. Les autres documents ne sont pas autorisés.

Actualités

Supports

Automates

Aide mémoire sur les langages rationnels.

Logique

Aide mémoire de calcul propositionnel.

Preuves

Aide mémoire sur la logique de Hoare.

Annales

Année scolaire 2015-2016

Année scolaire 2014-2015

Références

Générales

Un cours mathématiques pour l'informatique extrêmement complet est donné tous les ans au MIT. Le programme du cours est assez différent du présent cours, mais le support de cours proposé est de grande qualité et donne une idée de la richesse du sujet.

Automates

Logique

Preuve de programme

Archives

Programme 2012

  • preuves de programme
  • complexité
  • induction structurelle
  • automates

Exercices

Annales