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
Prochaine révision Les deux révisions suivantes
enseignement:logique:start [2018/11/19 08:11]
ecoquery [Supports]
enseignement:logique:start [2018/12/03 15:17]
ecoquery
Ligne 14: Ligne 14:
   * 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}}   * 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é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]].+  * 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 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é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 ====