Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes
Révision précédente
|
Prochaine révision
Les deux révisions suivantes
|
enseignement:logique:start [2018/12/03 11:16] ecoquery |
enseignement:logique:start [2018/12/03 15:17] ecoquery |
* 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|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é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}} | * 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]]) |
| |