Marc Chevalier's Teaching Website


Current lectures

Mathématiques S1 — 2019-2020
CRI, Licence FDV

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

  • Propositional logic & reasoning
  • Set theory
  • Function theory

Former lectures

2018-2019

Semantics and application to verification — 2018-2019
ENS

Semantics, Hoare triples, abstractions.

Project: here

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

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