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 :

  • le lundi sur le créneau de 10h30 à 12h30

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

  • le mercredi de 15h35 à 17h, et
  • le jeudi de 17h20 à 18h45

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 :

  • chabassier (at) lsv (dot) fr
  • dowek (at) lsv (dot) fr
  • ledein (at) lsv (dot) fr