Archive 2019
Validationsans
EnseignantPatrick Simonetta et Pierre Letouzey
Horaires hebdomadaires 18 h CM
Années Master Logique et Fondements de l'Informatique

Syllabus

Le cours préliminaire sera du 2 au 13 septembre.

  • Calcul des propositions : tables de vérité, tautologies, formes normales, compacité.
  • Calcul des prédicats : langages du premier ordre, termes, formules, modèles ; satisfaction d’une formule dans un modèle ; sous-structures ; isomorphismes ; équivalence élémentaire.
  • Théorie des ensembles : axiomes de Zermelo-Frænkel ; cardinaux ; théorèmes de Cantor et de Cantor- Bernstein ; ensembles finis, ensembles dénombrables.
  • Introduction à la programmation : Mise à niveau en programmation fonctionnelle Ocaml ; Lien avec le lambda-calcul, récursivité, typage ML ; structures de données usuelles (booléens, entiers, listes, options, arbres, ...).