Cours préliminaire de logique
0 ECTS, semestre 1, 2 semaines
| Validation | sans |
| Enseignant | Patrick Simonetta et Pierre Letouzey |
| Horaires hebdomadaires | 18 h CM |
| Années | Master Logique Mathématique et Fondements de l'Informatique |
Syllabus
- 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, ...).