Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
Dernière révision Les deux révisions suivantes
enseignement:logique:start [2018/12/03 15:17]
ecoquery
enseignement:logique:start [2018/12/09 21:32]
ecoquery
Ligne 6: Ligne 6:
  
 ===== Année 2018-2019 ===== ===== Année 2018-2019 =====
 +
 +<note important>
 +**TP Noté du 10/12/2018**
 +
 +Unique document autorisé: {{ :enseignement:logique:liflc-2018a-coqnat.pdf |}}
 +
 +Lien vers le sujet de 10h00: [[https://perso.liris.cnrs.fr/ecoquery/enseignement/liflc/LIFLC-TPNote-SujetA.v|LIFLC-TPNote-SujetA.v]] (actif à 10h)
 +
 +Lien vers le sujet de 10h45: [[https://perso.liris.cnrs.fr/ecoquery/enseignement/liflc/LIFLC-TPNote-SujetB.v|LIFLC-TPNote-SujetB.v]] (actif à 10h45)
 +</note>
 +
  
 ==== Supports ==== ==== Supports ====
Ligne 18: Ligne 29:
   * Séance du 6/11: {{ :enseignement:logique:liflc-2018a-cm5.pdf |diapositives}}   * Séance du 6/11: {{ :enseignement:logique:liflc-2018a-cm5.pdf |diapositives}}
   * Séances du 12/11: {{ :enseignement:logique:liflc-2018a-cm6.pdf |diapositives}}, {{ :enseignement:logique:liflc-2018a-td5-correction.pdf |TD5+correction}}   * Séances du 12/11: {{ :enseignement:logique:liflc-2018a-cm6.pdf |diapositives}}, {{ :enseignement:logique:liflc-2018a-td5-correction.pdf |TD5+correction}}
-  * Séances du 19/11: [[https://perso.liris.cnrs.fr/emmanuel.coquery/enseignement/liflc/LIFLC-TP3.v|TP3]], [[https://perso.liris.cnrs.fr/emmanuel.coquery/enseignement/liflc/LIFLC-TP3-correction.v|TP3-correction]] (jusqu'à F inclus), {{ :enseignement:logique:liflc-2018a-td6-correction.pdf |TD6+correction}}. +  * Séances du 19/11: [[https://perso.liris.cnrs.fr/emmanuel.coquery/enseignement/liflc/LIFLC-TP3.v|TP3]], ([[https://perso.liris.cnrs.fr/emmanuel.coquery/enseignement/liflc/LIFLC-TP3-correction.v|correction]](jusqu'à F inclus), {{ :enseignement:logique:liflc-2018a-td6-correction.pdf |TD6+correction}}. 
-  * Séances du 26/11: [[https://perso.liris.cnrs.fr/emmanuel.coquery/enseignement/liflc/LIFLC-TP4.v|TP4]], [[https://perso.liris.cnrs.fr/emmanuel.coquery/enseignement/liflc/LIFLC-TP4-correction.v|TP4-correction]].+  * Séances du 26/11: [[https://perso.liris.cnrs.fr/emmanuel.coquery/enseignement/liflc/LIFLC-TP4.v|TP4]], ([[https://perso.liris.cnrs.fr/emmanuel.coquery/enseignement/liflc/LIFLC-TP4-correction.v|correction]]).
   * Séance du 3/12: {{ :enseignement:logique:liflc-2018a-cm8.pdf |diapositives}}, {{ :enseignement:logique:liflc-2018a-td7-correction.pdf |TD7+correction}}, {{ :enseignement:logique:sem-imp.pdf |sémantique Imp}}.   * Séance du 3/12: {{ :enseignement:logique:liflc-2018a-cm8.pdf |diapositives}}, {{ :enseignement:logique:liflc-2018a-td7-correction.pdf |TD7+correction}}, {{ :enseignement:logique:sem-imp.pdf |sémantique Imp}}.
   * Séance du 10/12: TP Noté ([[https://perso.liris.cnrs.fr/emmanuel.coquery/enseignement/liflc/LIFLC-TPNote-SujetC.v|sujet d'entrainement]])   * Séance du 10/12: TP Noté ([[https://perso.liris.cnrs.fr/emmanuel.coquery/enseignement/liflc/LIFLC-TPNote-SujetC.v|sujet d'entrainement]])