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/16 16:24] ecoquery [Supports] |
enseignement:logique:start [2019/01/06 14:04] (Version actuelle) ecoquery [Annales] |
| |
===== 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 ==== |
* 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é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 ==== |
| |
* {{: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}} |
| |
| |