Mathématiques pour l'informatique
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
18 février 2016 » Documents de cours
4 juin 2015 » Annales mathématiques pour l'informatique
16 septembre 2012 » Cours de mathématiques pour l'informatique : partiel et examen de 2012
avant le 16 septembre 2012 » Archives
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 2013-2014
- contrôle continu automates
- contrôle continu logique
- contrôle continu preuve : sujet et corrigé
- partiel de mai 2014
- examen de juin 2014
Année scolaire 2012-2013
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
- Notes de cours de F. Barthélemy
- Page du cours très complet de S. Julia
Logique
- la page du cours de systèmes experts de Christian Retoré contient des notes très intéressantes et adaptées au présent cours sur le calcul propositionnel et sur le calcul des prédicats.
- la page du cours NFP108 du CNAM contient des supports tout aussi intéressants, en particulier sur le calcul propositionnel et sur les séquents. Le CNAM propose aussi une application en ligne pour tester la déduction naturelle qui est une variante du calcul des séquents.
Preuve de programme
- Notes de cours de Pierre Courtieu sur la logique de Hoare (voir aussi son poly plus complet mais qui contient beaucoup de choses hors programme)
Archives
Programme 2012
- preuves de programme
- complexité
- induction structurelle
- automates
Exercices
- complexité : exercices et corrections de certains exercices.