Kevin Fournier

vCard
Données administratives

Enseignement & Phd

Enseignement

Mathematics

Cours

Logique mathématique

Branche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique.