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
enseignement:logique:start [2018/10/15 08:28]
ecoquery [Supports]
enseignement:logique:start [2019/01/06 14:04] (Version actuelle)
ecoquery [Annales]
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 14: Ligne 25:
   * Séances du 01/10/2018: {{ :​enseignement:​logique:​liflc-2018a-cm4.pdf |diapositives}},​ code, {{ :​enseignement:​logique:​liflc-2018a-td3-correction.pdf |TD3+correction}}   * Séances du 01/10/2018: {{ :​enseignement:​logique:​liflc-2018a-cm4.pdf |diapositives}},​ code, {{ :​enseignement:​logique:​liflc-2018a-td3-correction.pdf |TD3+correction}}
   * Séances du 08/10/2018: [[https://​perso.liris.cnrs.fr/​ecoquery/​enseignement/​liflc/​LIFLC-TP1.v|TP1]] ([[https://​perso.liris.cnrs.fr/​ecoquery/​enseignement/​liflc/​LIFLC-TP1-correction.v|correction]]),​ {{ :​enseignement:​logique:​liflc-2018a-coqnat.pdf |Lien Coq - Déduction Naturelle}},​ {{ :​enseignement:​logique:​liflc-2018a-td4-correction.pdf |TD4+correction}}   * Séances du 08/10/2018: [[https://​perso.liris.cnrs.fr/​ecoquery/​enseignement/​liflc/​LIFLC-TP1.v|TP1]] ([[https://​perso.liris.cnrs.fr/​ecoquery/​enseignement/​liflc/​LIFLC-TP1-correction.v|correction]]),​ {{ :​enseignement:​logique:​liflc-2018a-coqnat.pdf |Lien Coq - Déduction Naturelle}},​ {{ :​enseignement:​logique:​liflc-2018a-td4-correction.pdf |TD4+correction}}
-  * Séances du 15/10/2018: [[https://​perso.liris.cnrs.fr/​ecoquery/​enseignement/​liflc/​LIFLC-TP2.v|TP2]]+  * Séances du 15/10/2018: [[https://​perso.liris.cnrs.fr/​ecoquery/​enseignement/​liflc/​LIFLC-TP2.v|TP2]] ([[https://​perso.liris.cnrs.fr/​emmanuel.coquery/​enseignement/​liflc/​LIFLC-TP2-correction.v|correction]]) 
 +  * Contrôle le lundi 22/10/2018, {{ :​enseignement:​logique:​liflc-2017a-partiel.pdf |annale 2017}} 
 +  * 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 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|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 10/12: TP Noté ([[https://​perso.liris.cnrs.fr/​emmanuel.coquery/​enseignement/​liflc/​LIFLC-TPNote-SujetC.v|sujet d'​entrainement]]) 
 + 
 +=== Liens Coq === 
 + 
 +  * [[http://​lim.univ-reunion.fr/​staff/​fred/​Enseignement/​IntroCoq/​Exos-Coq/​Petit-guide-de-survie-en-Coq.html|Petit guide de survie en Coq]] 
 +  * [[http://​www.inf.ed.ac.uk/​teaching/​courses/​tspl/​cheatsheet.pdf|Cheatsheet]] 
 +  * [[https://​coq.inria.fr/​refman/​|Documentations officielle de Coq]]
 ==== Organisation ==== ==== Organisation ====
  
Ligne 141: Ligne 165:
   * {{:​enseignement:​logique:​lif11-2015-ccf.pdf|Énoncé contrôle terminal 2015-2016}}   * {{:​enseignement:​logique:​lif11-2015-ccf.pdf|Énoncé contrôle terminal 2015-2016}}
   * {{ :​enseignement:​logique:​liflc-examen-2016-2017-s1.pdf |Énoncé de l'​examen 2016-2017, première session}}   * {{ :​enseignement:​logique:​liflc-examen-2016-2017-s1.pdf |Énoncé de l'​examen 2016-2017, première session}}
 +  * {{ :​enseignement:​logique:​liflc-examen-2017-2018-s1.pdf |Énoncé de l'​examen 2017-2018, première session}}