Dr. Marc Chevalier's Teaching Website


Current lectures

None yet.

Former lectures

2019-2020

Semantics and application to verification — 2019-2020
ENS

Semantics, Hoare triples, abstractions.

Project: here

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

A first year bachelor course on linear algebra.

  • Vector spaces
  • Linear maps
  • Matrices
  • Eigenvalues, -vectors, -spaces
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

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