Page du TD de logique du premier ordre (M1)

Le TD a lieu tous les lundis à 13h45 en salle 191 (bât. grands moulins), et un jeudi sur deux à 13h15 en salle 164 (bât. Olympe de Gouges). Le cours est assuré par Antoine Chambert-Loir, et un poly ainsi qu'un résumé du cours sont disponibles sur sa page web.

Devoirs

Exercices