Page des TD du cours de logique d'Adrien Deloro à l'ENS

(premier semestre 2020-2021)

Informations

La page du cours est disponible ici . Elle contient notamment les notes de cours, des informations sur l'organisation pratique du cours, le calendrier et des références bibliographiques.

Emploi du temps

La scéance de TD du vendredi 25 septembre débute exceptionellement à 11h. Le TD débutera à 10h15 les vendredi suivants. Le TD du mardi débute à 17h30. En cas de doute, l'emploi du temps est disponible sur le site du département en suivant ce lien. Le contenu de chacune des deux scéances hebdomadaires sera à peu près isomorphe à l'autre (du moins pour les exercices jugés primordaux).

Partiel

Suite au confinement, le partiel prendra la forme d'un devoir à la maison sur la semaine du 16 au 23 novembre. Le sujet est disponible ici. Le corrigé est disponible là.

Examen

Le 25 janvier 2021, de 14h à 17h.

Les feuilles de TD

Des sujets d'étude pour s'amuser :

Les sujets ci-dessous sont des compléments au cours (plus ou moins lointains) présentés sous forme d'exercices (plus ou moins longs). Ils ne sont en aucun cas obligatoires, et ne feront pas l'objet d'une correction en TD. Si vous voulez rendre un exercice pour correction ou simplement discuter d'un des sujets, vous pouvez me contacter par mail ou venir me chercher dans mon bureau (je ne suis plus sur site pendant le confinement).