Logique

Cette UE est composée de 12 cours, 12 séances de TD et 2 devoirs à la maison.
Les séances de cours avec Gilles Dowek ont lieu :

Les séances de TDs avec Luc Chabassier ou Amélie Ledein ont lieu :

Plus d'informations ici.

Descriptif de l'UE

L'objectif de cette UE est de découvrir les bases de la logique.
Le matériel du cours est disponible ici.

Modalités de validation

A venir.

Matériel pour les séances de TDs

Séance du 19/01 : TD 1
Séance du 20/01 : TD 1 bis
Séances du 26/01 et du 27/01 : TD 2
Séances du 02/02 et du 03/02 : TD 3
Séances du 09/02 et du 10/02 : TD 4
Séances du 16/02 et du 17/02 : TD 5
Séances du 23/02 et du 24/02 : TD 6
- Vacances
Séances du 09/03 et du 10/09 : Extra TD n°1
Séances du 16/03 et du 17/03 : TD 7
Séances du 23/03 et du 24/03 : TD 8
Séances du 30/03 et du 31/03 : TD 9
Séances du 06/04 et du 07/04 : TD 9 suite
Séances du 13/04 et du 14/04 : TD 10
Séances du 20/04 et du 21/04 : TD 10 (Retour sur le TD n°9)
- Vacances (2 semaines)
Séances du 11/05 et du 12/05 : TD 11
Séances du 18/04 et du 19/04 : A venir

Contact

Pour toutes questions relatives à cette UE, merci de nous contacter aux adresses suivantes :

Contact