Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle
Publications de l'Institut de recherche mathématiques de Rennes, Fascicule de didactique des mathématiques et de l'E.I.A.O., no. 3 (1994-1995), Exposé no. 2, 13 p.
Voir la notice de l'acte provenant de la source Numdam
@article{PSMIR_1994-1995___3_A2_0,
author = {Durand-Guerrier, Viviane},
title = {Logique et raisonnement math\'ematique {Exemple} d'analyse de t\^aches \`a l'aide de la logique formelle},
journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
note = {talk:2},
pages = {1--13},
publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
number = {3},
year = {1994-1995},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/PSMIR_1994-1995___3_A2_0/}
}
TY - JOUR AU - Durand-Guerrier, Viviane TI - Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle JO - Publications de l'Institut de recherche mathématiques de Rennes N1 - talk:2 PY - 1994-1995 SP - 1 EP - 13 IS - 3 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://geodesic.mathdoc.fr/item/PSMIR_1994-1995___3_A2_0/ LA - fr ID - PSMIR_1994-1995___3_A2_0 ER -
%0 Journal Article %A Durand-Guerrier, Viviane %T Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle %J Publications de l'Institut de recherche mathématiques de Rennes %Z talk:2 %D 1994-1995 %P 1-13 %N 3 %I Département de Mathématiques et Informatique, Université de Rennes %U http://geodesic.mathdoc.fr/item/PSMIR_1994-1995___3_A2_0/ %G fr %F PSMIR_1994-1995___3_A2_0
Durand-Guerrier, Viviane. Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle. Publications de l'Institut de recherche mathématiques de Rennes, Fascicule de didactique des mathématiques et de l'E.I.A.O., no. 3 (1994-1995), Exposé no. 2, 13 p.. http://geodesic.mathdoc.fr/item/PSMIR_1994-1995___3_A2_0/