Program requirementssans
TeacherPatrick Simonetta
Weekly hours 18 h CM
Years Master Logique Mathématique et Fondements de l'Informatique

Syllabus

  • Propositional calculus: truth tables, tautologies, normal forms, compactness.
  • Predicate calculus: first-order languages, terms, formulas, models; satisfaction of a formula in a model; substructures; isomorphisms; elementary equivalence.
  • Set theory: axioms of Zermelo-Frænkel; cardinals; Cantor and Cantor-Bernstein theorems; finite sets, countable sets.
  • Introduction to programming: introduction to Ocaml functional programming; connection to lambda-calculus, recursivity, ML typing; common data structures (Boolean, integers, lists, options, trees, etc.).

Bibliography

• R.CORI & D.LASCAR : Logique mathématique : cours et exercices (Dunod, 2 tomes, 2003).