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.