Logique

Cours de L3 à l'ENS Cachan, édition 2015-2016.

Cours: David Baelde et Gilles Dowek.

Travaux dirigés: Jérémy Dubut et Lucca Hirschi.

Cette page contient le contenu relatif aux cours donnés par David Baelde seulement. Cliquer sur les noms des autres intervenants pour accéder aux contenus relatifs.

Cours

Devoir

Devoir à la maison sur la logique de Gödel-Löb, à rendre le 14 avril en TD (ou par mail au TD-man): énoncé, corrigé.