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).