UE LIFLC: Logique classique, automne 2018

Année 2018-2019

<note important> TP Noté du 10/12/2018

Unique document autorisé: liflc-2018a-coqnat.pdf

Lien vers le sujet de 10h00: LIFLC-TPNote-SujetA.v (actif à 10h)

Lien vers le sujet de 10h45: LIFLC-TPNote-SujetB.v (actif à 10h45) </note>

Supports

Liens Coq

Organisation

Emploi du temps complet, semaine courante

GroupeIntervenant-eEmploi du temps
ASylvain Brandel ADE
BEmmanuel Coquery ADE
CRomuald Thion ADE
DXavier Urbain ADE
ELaure Gonnord ADE
FNicolas Louvet ADE

Année 2017-2018

Diapositives

Sujets de TD/TP

Organisation

Emploi du temps complet, semaine courante

Groupe A: Sylvain BRANDEL, Emploi du temps

Groupe B: Emmanuel COQUERY, Emploi du temps

Groupe C: Romuald THION, Emploi du temps

Groupe D: Xavier URBAIN, Emploi du temps

Groupe E: Ugo COMIGNANI, Emploi du temps


Année 2016

Mémos

TD

Projet

Voir le sujet ici.

Le sujet est également disponible dans l'archive fournie et sur un dépôt de la forge (hg pull https://forge.univ-lyon1.fr/hg/inf3034l-liflc-projet-2016).

Evaluation

  • Contrôle à mi-parcours le lundi 17 octobre 2016 à 9h45 → 11% 16% (1/6eme)
  • Projet à rendre pour le 18 décembre 2016 → 22% 16% (1/6eme)
  • Épreuve finale → 67% (2/3)

Emploi du temps

Annales

Références