Logique, Langage, Calcul – Course details – Year 1

First semester:Numbers and sizes

  • Pythagorean Arithmetic (philosophy)
  • The theory of numbers: modern point of view (mathematics)
  • Back to the past: Euclid (mathematics)

Second semester: “Logics and demonstrations

  • Aristotle (philosophy)
  • Logic and ontology (history of sciences)
  • The Naive set theory (mathematics)
  • Predicate logic (mathematics)