Scolarité M2 (sauf MIC, MIDS)
- Mme Chatoux
- bureau 5055
- 01 57 27 93 06
- Mme Prudlo
- bureau 5055
- 01 57 27 93 06
Preliminary Logic Course
0 ECTS, semester 1, 2 weeks
| Program requirements | sans |
| Teacher | Patrick Simonetta et Pierre Letouzey |
| Weekly hours | 18 h CM |
| Years | Master Logique et Fondements de l'Informatique |
Syllabus
The preliminary course will take place from September 2 to 13.
- 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.).