Marc Chevalier's Teaching Website


Current lectures

Mathématiques S2 — 2018-2019
CRI, Licence FDV

A first year bachelor course on linear algebra.

  • Vector spaces
  • Linear maps
  • Matrices
  • Eigenvalues, -vectors, -spaces
Mathématiques S1 — 2018-2019
CRI, Licence FDV

A first year bachelor course on elementary logic. New edition.

  • Propositional logic & reasoning
  • Set theory
  • Function theory
  • Groups, rings & fields

Former lectures

2017-2018

Semantics and application to verification — 2017-2018
ENS

Semantics, Hoare triples, abstractions.

Project: here

Mathématiques S2 — 2017-2018
CRI, Licence FDV

A first year bachelor course on linear algebra.

  • Linear map
  • Matrices
Mathématiques S1 — 2017-2018
CRI, Licence FDV

A first year bachelor course on elementary logic.

  • Propositional logic & reasoning
  • Set theory
  • Function theory