Exemple d'une simulation argumentée pour l'apprentissage de Prolog
|
|
- Joëlle Raymond
- il y a 2 ans
- Total affichages :
Transcription
1 Dessalles, J-L. & Meyers, P. (1993). "Exemple d'une simulation argumentée pour l'apprentissage de Prolog". In M. Baron, R. Gras & J-F. Nicaud (Eds), Environnements interactifs d'apprentissage avec ordinateur. Paris : Eyrolles, Exemple d'une simulation argumentée pour l'apprentissage de Prolog Jean-Louis Dessalles TELECOM-Paris - 46 rue Barrault Paris Cedex 13 Tel.: (1) Fax: (1) E- : Pascal Meyers Université Catholique de Leuven (KUL) Département d'informatique RESUME : L'étudiant qui cherche à acquérir un savoir-faire, ici la maîtrise de Prolog, a aussi besoin de connaissances conceptuelles. Pour répondre à ce type de besoin, nous avons développé un système qui permet à l'étudiant de simuler l'exécution de son programme Prolog, mais qui lui offre aussi la possibilité de soumettre ce programme au regard critique de SAVANT 3. Ce dernier système a été conçu pour soutenir une argumentation avec l'étudiant. Il est utilisé ici pour critiquer la justesse et l'efficacité du programme écrit par l'étudiant, ce qui permet à celui-ci de corriger d'éventuelles fautes conceptuelles. L'étudiant peut ainsi faire tourner son programme et observer son exécution, pour ensuite "discuter" de ce qu'il a écrit avec SAVANT 3. Nous abordons la question de savoir s'il est possible et souhaitable d'étendre ce qui n'est pour l'instant qu'une maquette à des situations réelles (par ex. programme Prolog complexe) et à des sujets quelconques (économie, architecture de réseau, etc.). 1. Le rôle de la critique dans l'apprentissage de savoir-faire Contrairement à la plupart des produits d'assistance à l'enseignement, qui visent à faciliter l'acquisition de savoir-faire, le développement de SAVANT 3 a été motivé au départ par le souci d'enseigner des concepts, (cf. [dessalles 1990]). Dans certaines situations, en effet, l'étudiant est supposé acquérir des connaissances de nature conceptuelle (par exemple en biologie moléculaire ou en histoire). En observant les connaissances échangées dans les conversations naturelles [dessalles 1992b], nous avons pensé que l'argumentation était un bon moyen d'enseigner des notions nouvelles. SAVANT 3 est ainsi conçu pour argumenter avec l'étudiant en utilisant une stratégie simple : le système essaie de déceler une contradiction logique dans le discours de l'étudiant, et ce-dernier doit donc faire des déclarations qui soient cohérentes du point de vue du système, au besoin en révisant certaines d'entre elles [dessalles 1992a]. Environnements Interactifs d'apprentissage avec Ordinateur, Eyrolles, Paris, 1993.
2 SAVANT 3 a été appliqué à des contenus comme la théorie des systèmes, les communications analogiques et numériques. Dans chaque cas, il s'agissait d'enseigner des connaissances de nature conceptuelle : notion de filtre, transformées de Fourier et de Laplace, interférence entre symboles, etc. Bien que la majeure partie de l'enseignement à TELECOM-Paris soit consacrée à l'apprentissage de notions, nous nous sommes posé la question de savoir si SAVANT 3 pouvait être utile lors de l'acquisition d'un savoir-faire comme la programmation. Certes, nous faisons une distinction qualitative très nette entre concepts et savoir-faire [Dessalles 1990], [Inhelder & Piaget 1979], [Ohlsson 1991], [Sleeman 1989]. Mais il apparaît clairement qu'ils sont liés lors de l'accomplissement de tâches inhabituelles. Nous sommes donc partis de l'idée maintenant bien établie que de nombreuses erreurs lors de l'accomplissement d'une tâche non maîtrisée sont la conséquence de fautes conceptuelles (misconceptions) [Stevens et al. 1979], [Sleeman 1982], [Self 1992]. Prenons l'exemple qui a servi de base au développement de notre maquette de simulation argumentée : placer des "cuts'" aux bons endroits d'un programme Prolog constitue indéniablement un savoir-faire. La connaissance conceptuelle associée (un cut inhibe toutes les alternatives rencontrées depuis l'appel de la clause dans l'arbre de résolution) est insuffisante dans la pratique pour que le débutant place des "cuts" là où ils sont utiles. Mais elle est nécessaire, car il est difficile d'imaginer que le programmeur débutant trouve des indices, par exemples syntaxiques, pour placer correctement des cuts dont il ne comprendrait pas l'effet. De plus, des versions erronées de cette connaissance conduisent à des erreurs de placement : par ex. celui qui croit que le cut rend déterministes les buts (goals) qui le suivent placera des cuts trop tôt au sein d'une clause. Il existe plusieurs systèmes dont l'objectif est d'apporter un diagnostic ou une critique de type conceptuel sur un programme informatique qu'un étudiant vient d'écrire. Par exemple PROUST [Johnson & Soloway 1987], pour l'apprentissage du Pascal, peut introduire le concept de "test sentinelle" dans son analyse du programme de l'élève. Nowé et Jonkers [1991] disent utiliser des "concepts abstraits de programmation" pour formuler des diagnostics de haut niveau (en Lisp ou Pascal). Dans Lisp-Tutor [Anderson et al. 1989] les diagnostics utilisent des concepts comme "variable de comptage", "communication d'une valeur d'initialisation à une fonction". Intelligent-Prolog-Tutor [Lee 1991] signale à l'apprenant des erreurs comme des définitions circulaires. Lisp-Critic [Fischer et al. 1991] est capable de suggérer des transformations d'un programme Lisp en donnant des explications relatives à l'efficacité ou à la lisibilité. Dans tous ces systèmes qui ont pour objectif d'aider l'étudiant à acquérir un savoir-faire en programmation, on constate que les diagnostics sont généralement conceptuels puisqu'ils font intervenir des notions de programmation (par ex. PATAT [Nowé & Jonkers 1991] peut écrire : "variable result must be initialised to 0 because result is the running total variable and the unity element for the sum operator is 0", par opposition à un diagnostic non conceptuel qui pourrait être : "cette clause est erronée, voici la forme correcte"). Autrement dit l'effet pédagogique de tels diagnostics nécessite un examen par l'étudiant de ses propres connaissances. Notre approche consiste elle aussi à apporter une critique de type conceptuel à l'étudiant, mais elle diffère sur un point qui nous semble important. Dans son principe, la simulation argumentée que nous présentons ici ne consiste pas à fournir
3 un simple diagnostic. Il s'agit, à partir de ce que SAVANT 3 considère comme une anomalie de structure dans le programme de l'étudiant, de susciter un échange argumentatif avec ce-dernier. On rejoint ainsi l'idée de base de SAVANT 3 qui utilise une "conversation" pour tester la cohérence des connaissances de l'étudiant, et non une simple succession d'échanges question-feedback. Cette approche semble particulièrement indiquée dans le cas de l'apprentissage d'un langage de programmation, et ce pour plusieurs raisons : La possibilité de simuler le programme de l'étudiant permet à celui-ci de constater des exécutions anormales, ce qui est censé le motiver pour solliciter la critique de SAVANT 3. On peut imaginer que SAVANT 3 intervienne automatiquement en cas d'anomalie (critique active), mais nous n'avons pas implanté cette possibilité. Les critiques que l'on peut formuler sur un programme donné sont rarement définitives. L'étudiant peut avoir une motivation, non connue du programme, pour écrire par exemple une clause correcte mais très inefficace. L'échange d'arguments lui permet d'imposer son point de vue. Le diagnostic immédiat permet rarement de mettre la faute conceptuelle en évidence. C'est souvent lorsque l'élève se défend en donnant ses raisons que le dialogue remonte jusqu'aux présupposés erronés. 2. L'apprentissage d'un savoir-faire en Prolog avec un exercice simple Dans la maquette que nous avons mise au point, on demande à l'étudiant d'écrire un petit programme Prolog qui calcule la relation voiture(x,y) suivante : Pour X inférieur à 4000, Y doit être nul. Pour X entre 4000 et 10000, Y doit être égal à 10. Pour X supérieur à 10000, Y doit valoir 30. Ce programme est supposé calculer la taxe (Y) qu'un individu doit payer pour sa voiture d'après le montant de ses revenus (X). Mais nous ne laissons pas à l'étudiant la possibilité d'écrire un programme quelconque. Nous lui fournissons un éditeur très limité qui impose les contraintes suivantes : le programme comprend trois clauses la tête de chaque clause est imposée : voiture(revenus, 0) :- voiture(revenus, 10) :- voiture(revenus, 30) :- l'étudiant peut placer des buts pour construire ces clauses en les choisissant dans une liste : < 4000 >= 4000 < >= 10000! (cut)
4 Le nombre de programmes qu'il pourra écrire avec un tel éditeur est tout de même égal à 2 15 (32768) (chaque but est présent ou absent dans chacune des trois clauses). A chaque instant l'étudiant peut exécuter son programme : il fournit la valeur de Revenus dans voiture(revenus, Taxes), puis l'interpréteur Prolog cherche toutes les solutions possibles pour Taxes pendant qu'une fenêtre de trace montre les clauses appelées et leur échec éventuel (voir figure). voiture(revenus, 0) :- Revenus < voiture(revenus,10) :- Revenus < voiture(revenus,30) :- Revenus >= éditeur de programme SAVANT 3 simulateur Revenus = 3000 EXECUTION Essai clause 1 Clause 1:SUCC Essai clause 2 Clause 2:SUCC Essai clause 3 Clause 3:ECHEC Fin d'exécution solution(s) trouvú pour Taxes: [0,10] D'aprÞs vous, le programme est correct. C'est surprenant, si on admet que la clause 2 ne rúussit pas seulement pour les individus gagnant entre 4000 et 10000! pourquoi? Cet exercice est utilisé pour enseigner à l'étudiant certains savoir-faire nécessaires pour l'écriture et la compréhension de programmes Prolog. L'objectif est d'attirer son attention sur la justesse et l'efficacité de son programme. Par exemple, un programme peut être correct, mais très peu efficace : voiture(revenus, 0) :- Revenus < 4000, Revenus < voiture(revenus, 10) :- Revenus >= 4000, Revenus < voiture(revenus, 30) :- Revenus >= 4000, Revenus >= Ce programme est inefficace pour plusieurs raisons : il comporte des buts redondants dans les clauses 1 et 3, et l'aspect déterministe du programme n'est pas pris en considération (par ex. un cut peut être introduit en clause 1 pour éviter un appel inutile des clauses suivantes). L'interprète Prolog ne peut pas mettre clairement en évidence le manque d'efficacité du programme. Il peut simplement montrer que le programme a un comportement anormal, mais il ne peut pas relier ceci à une faute conceptuelle éventuelle sur le fait, par exemple, qu'il y a backtracking et que le programme peut donner plusieurs solutions, ou encore sur la signification des cuts, etc. C'est en cela que l'intervention de SAVANT 3 peut être utile.
5 3. Le regard critique de SAVANT 3 Pour rendre SAVANT 3 capable d'argumenter sur le programme écrit par l'étudiant, nous avons dû lui fournir une connaissance du problème. Celle-ci consiste en une centaine de règles comme les deux suivantes : règle 27 (1) : la clause 2 ne réussit pas pour les individus gagnant moins de 4000 la clause 2 est appelée pour les individus gagnant moins de 4000 un argument inférieur à 4000 satisfait tous les buts de la clause 2 règle 90 (0) : Revenus >= est utilisé en clause 3 le programme est le plus efficace possible la clause 3 n'est pas appelée pour les individus gagnant moins de 4000 la clause 3 n'est pas appelée pour les individus gagnant entre 4000 et Ces règles sont présentées (et stockées) sous forme symétrique, comme des ensembles de propositions incompatibles (clauses paradoxales). On peut lire la règle 27 par exemple ainsi : si la clause 2 est appelée pour les individus gagnant moins de 4000, et qu'un argument inférieur à 4000 satisfait tous ses buts, alors il serait paradoxal qu'elle ne réussît pas pour les individus gagnant moins de De telles règles sont utilisées par SAVANT 3 soit pour démontrer des faits (lorsque toutes les propositions d'une règle sont vraies sauf une qui est indéterminée, cette dernière est nécessairement fausse), soit pour s'étonner (lorsqu'une règle est saturée, c.à.d. que toutes ses propositions sont vraies). Le nombre entre parenthèses distingue les règles de bon sens (1) des règles a priori moins évidentes pour l'étudiant (0). A tout moment l'étudiant peut soumettre son programme à SAVANT 3. Il doit d'abord préciser s'il considère son programme comme correct et efficace, puis SAVANT 3 s'efforce de saturer une de ses règles. Dans l'extrait 1, une règle se trouve effectivement saturée, ce que le système exprime sous forme d'étonnement : extrait 1 voiture(revenus, 0) :- Revenus < voiture(revenus, 10) :- Revenus < voiture(revenus, 30). S3- D'après vous, le programme est correct. C'est surprenant si l'on admet que la clause 2 ne réussit pas que pour les individus gagnant entre 4000 et 10000! Et.- [la clause 2 ne réussit que pour les individus gagnant entre 4000 et ] S3- D'après vous, la clause 2 ne réussit que pour les individus gagnant entre 4000 et C'est surprenant si l'on admet que la clause 2 réussit pour les individus gagnant moins de 4000! Et.- [la clause 2 ne réussit pas pour les individus gagnant moins de 4000 ] S3- D'après vous, la clause 2 ne réussit pas pour les individus gagnant moins de C'est surprenant si l'on admet que la clause 2 est appelée pour les individus gagnant moins de 4000!
6 Et.- je mets un cut dans la clause 1 S3- Ok... La conversation s'arrête dès que l'étudiant apporte une modification à son programme. Cet extrait montre que SAVANT 3 tire des conclusions de longues chaînes d'inférence (parfois après 10 déductions). Lorsque SAVANT 3 est incapable de déceler une incohérence, il suggère qu'une proposition inconnue de lui est peut-être vraie, comme dans l'extrait 2 où l'étudiant n'a pas précisé que son programme était efficace. extrait 2 voiture(revenus,0) :- Revenus < 4000,!. voiture(revenus,10):- Revenus >= 4000, Revenus < 10000,!. voiture(revenus,30). S3- D'après ce que j'ai compris, la clause 2 contient [Revenus >= 4000]. Mais peut-être pensez-vous que le programme est le plus efficace possible? Et.- Pourquoi? S3- Il y a tout de même un problème... sauf si vous considérez que la clause 2 est appelée pour les individus gagnant moins de 4000 Et.- oui S3- D'après vous, la clause 2 est appelée pour les individus gagnant moins de C'est surprenant si l'on admet que la clause 1 réussit pour les individus gagnant moins de 4000! Et.- pourquoi est-ce surprenant? S3- Il y a tout de même un problème... D'après ce que j'ai compris : la clause 2 est appelée pour les individus gagnant moins de 4000 la clause 1 réussit pour les individus gagnant moins de 4000 il y a un cut dans la clause 1 Que proposez-vous comme solution? Et.- [la clause 2 n'est pas appelée pour les individus gagnant moins de 4000 ] S3- Mais attendez... D'après ce que vous avez dit : la clause 2 contient [Revenus >= 4000] la clause 2 n'est pas appelée pour les individus gagnant moins de 4000 Je m'avoue surpris! Et.- j'enlève [Revenus >= 4000] de la clause 2 S3- Ah bon!... Ok... Le fonctionnement de SAVANT 3 est simple dans son principe (cf. [dessalles 1992a]). Le système cherche à saturer l'une des règles de sa base de connaissances. S'il y parvient d'emblée, comme dans l'extrait 1 où la règle 27 donnée plus haut se trouve saturée, c'est à l'étudiant de sortir de la situation incohérente décelée par SAVANT 3. Lorsque aucune règle n'est saturée, le programme amène l'étudiant à spécifier davantage la situation, comme au début de l'extrait 2, dans le but de saturer la règle dont la plus grande proportion de propositions est vérifiée. Les messages donnés par SAVANT 3 mêlent des expressions fixes et des libellés de propositions. Les répliques de l'étudiant sont reconnues par détection de mots clés et d'une négation éventuelle, sauf lorsque l'étudiant préfère choisir dans un menu fermé (répliques entre crochets dans les extraits).
7 4. Les difficultés techniques rencontrées L'un des intérêts techniques de SAVANT 3 est d'être transposable. Pour lui permettre d'argumenter sur un sujet quelconque, l'auteur se contente de donner au système un ensemble statique de règles (typiquement de 15 à 20 règles pour une conversation d'une dizaine de répliques) en utilisant un système auteur spécifique. L'auteur n'a pas à se préoccuper de la gestion du dialogue et il n'a pas à modifier SAVANT 3 [dessalles 1992a]. La situation est malheureusement moins claire, pour l'instant, dans le cas de la simulation argumentée. Un premier problème vient de la réalisation de la base de règles. Ces règles sont issues de la structure du programme que l'étudiant peut écrire avec l'éditeur limité qui lui est offert, ainsi que de la sémantique du problème posé. Pour le problème de la voiture taxée, nous avons dû écrire une centaine de règles "à la main", de manière à rendre compte sous forme logique du fonctionnement du programme Prolog. Une telle approche n'est pas envisageable pour un programme Prolog quelconque. Nous avons aussi été confrontés à un problème de temps de réponse. SAVANT 3 résout à maintes reprises un problème de satisfiabilité d'un ensemble de règles ; or il s'agit d'un problème exponentiel. Alors que le temps de réponse est instantané pour moins de 20 règles, il peut atteindre plus de 10 secondes avec 100 règles, même après que nous avons opéré un certain nombre d'optimisations dans le moteur d'inférences. Enfin, l'interfaçage de SAVANT 3 avec l'éditeur de programme et avec l'interpréteur Prolog ne va pas de soi. Afin de respecter le principe d'un SAVANT 3 indépendant du sujet traité, nous n'avons pas poussé cet interfaçage aussi loin que souhaitable : situation éditeur SAVANT 3 SAVANT 3 éditeur interpréteur SAVANT 3 actuelle Ajout de faits à la Détection d'une néant base de connaissances modification du pour décrire le programme avec programme de sortie de SAVANT 3. l'étudiant. Mise à jour automatique Déclenchement de du programme SAVANT 3 par l'étudianttions d'après les déclara- de l'étudiant. souhaitable intervention automatique de SAVANT 3 (critique active). mise à jour simultanée du programme sans sortie systématique de SAVANT 3. détection d'anomalie de fonctionnement. SAVANT 3 interpréteur néant fabrication d'exemples d'exécutions anormales. Un certain nombre de solutions sont envisageables. L'idée principale pour résoudre le problème de la constitution de la base de connaissances et du temps de réponse consiste à imaginer une synthèse d'un nombre limité de règles pertinentes en temps réel (c.à.d. en fonction de ce que l'étudiant écrit) à partir de patrons généraux de règles, plutôt que de prévoir d'emblée un ensemble statique complet de règles spécifiques. C'est l'approche utilisée dans les autres systèmes d'aide à la rédaction de programmes. Elle reste toutefois dépendante du langage informatique enseigné et de l'exercice posé.
8 En ce qui concerne l'interfaçage de SAVANT 3, l'écueil à éviter est l'écriture d'une interface ad hoc. Il nous reste à définir le principe d'une interface générale entre SAVANT 3 et un programme de simulation quelconque. 5. Discussion : intérêt et difficultés de la simulation argumentée Deux causes d'erreurs sont généralement invoquées pour expliquer les erreurs commises par les débutants lors d'un apprentissage : les bogues procédurales (bugs & mal-rules) et les fautes conceptuelles (misconceptions). Les premières permettent parfois d'expliquer et de prédire des erreurs lors de l'apprentissage de procédures. La procédure à acquérir peut être modélisée par un graphe d'actions élémentaires [VanLehn 1981, 1988] ou par un ensemble de règles de production [Sleeman 1982], [Payne 1990]. Les erreurs sont expliquées par des règles erronées (mal-rules) ou des règles correctes improprement appliquées (bugs). En revanche, les fautes conceptuelles ont surtout été mentionnées dans des contextes d'apprentissage conceptuel [Stevens et al. 1979]. Après un processus d'apprentissage purement procédural, l'élève a acquis des automatismes (par ex. algorithme de la division), mais il est incapable de justifier ses actions (pourquoi abaisser le chiffre suivant, pourquoi soustraire...) en expliquant pourquoi l'action choisie est correcte et pourquoi une action alternative serait erronée. Il semble que dans un tel contexte, selon [Sleeman 1989] 1, donner des explications à propos d'une erreur soit inefficace par rapport à une simple correction procédurale ("ceci est faux, voici l'action correcte"). Un savoir-faire procédural semble déconnecté de toute construction conceptuelle! Toutefois, dès qu'il s'agit d'acquérir des procédures complexes mettant en jeu une combinatoire importante, si bien qu'il ne suffit pas d'appliquer un nombre restreint de règles condition action, il semble que le débutant doive comprendre ses erreurs pour progresser. C'est le cas dans l'apprentissage de la programmation. Or comprendre une erreur, c'est reconnaître une faute conceptuelle. Le diagnostic d'une faute conceptuelle est difficile, voire impossible à partir d'une performance unique [Wenger 1987]. Le pari qui est à la base de notre approche est qu'un tel diagnostic n'est pas nécessaire pour que le système commence à argumenter. Le système détecte une anomalie. Si cette anomalie est la conséquence d'une faute conceptuelle, une argumentation bien menée doit permettre à l'élève de prendre conscience de l'origine de la faute. Nous avons évoqué plus haut les difficultés techniques de la simulation argumentée. Les difficultés pédagogiques résident essentiellement dans la bonne perception de la pertinence des arguments que la machine oppose à l'étudiant. Nous avons cherché à copier les mécanismes argumentatifs que l'on peut observer dans les conversations naturelles [dessalles 1992b]. Toutefois, il n'est pas certain que l'effet logique souhaité d'un argument soit toujours perçu par l'étudiant. Par exemple, celuici doit comprendre les raisons qui poussent la machine à s'étonner (cf. extrait 2). Il s'agit là d'un problème non trivial sur lequel nous travaillons. En revanche, 1 D. Sleeman a mené son étude sur des élèves apprenant l'algèbre élémentaire.
9 l'amélioration de la forme des arguments (pour éviter la monotonie de l'extrait 1) ne semble pas constituer une difficulté majeure. 6. Conclusions Le programme présenté ici est une maquette, et il serait prématuré de tenter d'en faire un produit opérationnel. Nous devons encore résoudre les problèmes fondamentaux que nous venons d'évoquer en essayant de coupler SAVANT 3 à d'autres simulations ou à des systèmes qualitatifs. Cependant nous restons convaincus de l'efficacité pédagogique potentielle d'un tel système dans le créneau qui est le sien, celui de savoir-faire complexes. Lorsque nous serons parvenus à résoudre toutes les difficultés de principe, nous pourrons envisager de développer un système complet qui pourra intégrer, si besoin, un modèle de l'étudiant. Mais notre système ne saurait être considéré comme un "tuteur". La simulation argumentée est bâtie sur un principe qui rejoint plutôt celui des systèmes critiques [Fischer et al. 1991]. L'intervention du système est conditionnée par l'existence d'une situation anormale ou problématique. Nous avons pu observer que les interlocuteurs agissent ainsi au cours des conversations naturelles [dessalles 1992b]. Dans un contexte d'enseignement, nous pensons que l'élève sera motivé pour argumenter si le système "l'accuse" d'auto-contradiction [dessalles 1990] [Rätz 1992]. Si l'on conçoit la simulation argumentée comme un système critique et non comme un tuteur, alors on peut envisager les extensions les plus diverses, car il n'est plus nécessaire d'avoir un modèle complet de la tâche à résoudre et de sa solution. Le système émet les critiques qu'il est capable de formuler compte tenu de son champ de compétence, sans prétendre à l'omniscience. Nous avons pu ainsi envisager le couplage de SAVANT 3 avec une simulation économique et une simulation de mise en place de réseaux de télécommunications. L'intérêt spécifique de la simulation argumentée est de permettre l'argumentation des critiques. Cette argumentation peut permettre de remonter à une faute conceptuelle de l'élève, mais elle peut aussi conduire à une gestion d'exceptions : le système accepte un argument de l'utilisateur qui présente la situation présente comme faisant exception à la critique. Le système peut ainsi apprendre, tenir à jour un modèle de l'utilisateur, ou tout simplement reconnaître que l'utilisateur a raison. Nous travaillons à de tels développements. L'objectif que nous poursuivons est double : l'efficacité pédagogique, et l'acceptabilité. Nous avons tenté de montrer que l'approche qui consiste à s'inspirer des interactions argumentatives naturelles pourrait être prometteuse. Références Anderson John R., Conrad Frederick G, Corbett A.T. [1989]. Skill Acquisition and the LISP Tutor. Cognitive Science 13, 1989, pp Dessalles jean louis [1990]. Computer Assisted Concept Learning. In Norrie D.H., Six H.-W., Lecture Notes in Computer Science Computer Assisted Learning, Springer-Verlag, Berlin 1990, pp Dessalles jean louis [1992a]. SAVANT3 : un système d'eiao fondé sur l'explication conversationnelle. Actes des 2èmes journées Explication du PRC-GDR- IA (juin 1992), INRIA, Sophia-Antipolis 1992
10 Dessalles jean louis [1992b]. Les contraintes logiques des conversations spontanées. Rapport technique TELECOM-Paris 92-D-011, Paris 1992 Fischer Gerhard, Lemke Andreas C., et al. [1991]. The Role of Critiquing in Cooperative Problem Solving. ACM Transactions on Information Systems, Vol.9, n 3, 1991, pp Inhelder Bärbel, Piaget Jean [1979]. Procédures et structures. Archives de psychologie, XLVII, 181, 1979, pp Johnson W. Lewis, Soloway Elliot [1987]. PROUST : An Automatic Debugger for Pascal Programs. In Kearsley Greg P., Artificial Intelligence & Instruction - Applications and Methods, Addison-Wesley Publishing Company, Menlo Park, USA 1987, pp Lee M.C. [1990]. Designing an Intelligent Prolog Tutor. In Norrie D.H., Six H.- W., Lecture Notes in Computer Science Computer Assisted Learning, Springer-Verlag, Berlin 1990, pp Nowé Ann, Jonckers V. [1991]. The Use of Very High Level Clichés in PATAT : a Program Analysis Tool Using Algorithm Transformation. In Forte Eddy N., Proceedings of Calisce'91, Presses Polytechniques et Universitaires Romandes, Lausanne 1991, pp Ohlsson Stellan [1991]. Interview, by J.Sandberg and Y.Barbard. AICOM vol 4, n 4, 1991, pp Payne Stephen J., Squibb Helen R. [1990]. Algebra Mal-Rules and Cognitive Accounts of Error. Cognitive Science 14, 1990, pp Rätz Thomas, Lusti M. [1992]. Explanation Strategies : realization in a tutor for database normalization. In Brezillon Patrick, Proceedings of the ECAI-92 Workshop on Improving the Use of KBS with explanations, Rapp. LAFORIA 92/21 Univ. Paris VI, Paris 1992, pp Self John [1992]. Cognitive Diagnosis for Tutoring Systems. In Neuman Bernd, Proceedings of ECAI92, John Wiley, Vienne 1992, pp Sleeman Derek [1982]. Assessing aspects of competence in basic algebra. In Sleeman Derek, Brown J.S., Intelligent Tutoring Systems, Academic Press, Londres 1982, pp Sleeman Derek, Kelly A.E., Martinak R. [1989]. Studies of Diagnosis and Remediation with High School Algebra Students. R.D. Ward, J.L. Moore - Cognitive Science 13, 1989, pp Stevens Albert, Collins Allan, Goldin Sarah E. [1979]. Misconceptions in student's understanding. Int. J. Man-Machine Studies 11, 1979, pp VanLehn Kurt [1981]. On the Representation of Procedures in Repair Theory. CIS-16 (SSL-81-7), Xerox Palo Alto Research Center, 1981 VanLehn Kurt [1988]. Toward a Theory of Impasse-Driven Learning. In Mandl Heinz, Lesgold Alan, Learning Issues for Intelligent Tutoring Systems, Springer Verlag, Berlin 1988, pp Wenger Etienne [1987]. Artificial Intelligence and Tutoring Systems. Morgan Kaufmann Publishers, INC., Los Altos, Cal.,USA 1987, pp
Chapitre I - Introduction et conseils au lecteur
Chapitre I - Introduction et conseils au lecteur Cette partie introductive situe la place de l'algorithmique dans le développement logiciel et fournit au lecteur des conseils : conseils pour bien analyser
Les approches d enseignement supporté dans l ingénierie
Les approches d enseignement supporté dans l ingénierie Jan Bujnak Université de Zilina Slovaquie La parole dite et le texte écrit sur papier étaient la base ainsi que le seul moyen de transférer les informations
Équations et inéquations du 1 er degré
Équations et inéquations du 1 er degré I. Équation 1/ Vocabulaire (rappels) Un équation se présente sous la forme d'une égalité constituée de nombres, de lettres et de symboles mathématiques. Par exemple
Chapitre 1 I:\ Soyez courageux!
Chapitre 1 I:\ Soyez courageux! Pour ne rien vous cacher, le langage d'assembleur (souvent désigné sous le terme "Assembleur", bien que ce soit un abus de langage, puisque "Assembleur" désigne le logiciel
Apprendre en stage. Présentation aux référents 02.09.2010. C. MASIAS-VALDES Ch. BORALEY
Apprendre en stage Présentation aux référents 02.09.2010 C. MASIAS-VALDES Ch. BORALEY Et pour commencer De quoi un étudiant a-t-il besoin pour apprendre en stage? Contenu de la présentation Introduction
0- Le langage C++ 1- Du langage C au langage C++ 2- Quelques éléments sur le langage. 3- Organisation du cours
0- Le langage C++ 1- Du langage C au langage C++ 2- Quelques éléments sur le langage 3- Organisation du cours Le présent cours constitue une introduction pour situer le langage C++, beaucoup des concepts
L ÉVALUATION DANS LES DIFFÉRENTS PROCESSUS DE FORMATION
STONA Laurent ls@bepecaser.org L DANS LES DIFFÉRENTS PROCESSUS DE FORMATION Évaluer, c est donner une valeur. Puisque toute formation vise des objectifs, tout acte de formation ou de sensibilisation nécessite
Lecture critique et pratique de la médecine
1-00.qxp 24/04/2006 11:23 Page 13 Lecture critique appliquée à la médecine vasculaireecture critique et pratique de la médecine Lecture critique et pratique de la médecine Introduction Si la médecine ne
Enseigner par tâches complexes
Enseigner par tâches complexes Enseigner par tâches complexes pour permettre aux élèves d'acquérir les compétences du socle commun et favoriser la différenciation pédagogique. 1. Pourquoi enseigner par
Introduction à l Informatique
Introduction à l Informatique. Généralités : Etymologiquement, le mot informatique veut dire «traitement d information». Ceci signifie que l ordinateur n est capable de fonctionner que s il y a apport
Algorithmique et programmation. Cours d'algorithmique illustré par des exemples pour le picbasic
Algorithmique et programmation Cours d'algorithmique illustré par des exemples pour le picbasic Même s'il est possible d'écrire un programme petit à petit par touches successives, le résultat est souvent
Comment organiser une séance d EPS
Comment organiser une séance d EPS Ce qui est important pour l élève c est de : - comprendre quand il réussit quelle procédure reproductible a été utilisée et isolée pour cette procédure - apprendre pour
Technicien / Technicienne de l'automobile
Projet : Ecole Compétences Entreprise SECTEUR : 2 INDUSTRIE ORIENTATION D'ETUDES : Technicien / Technicienne de l'automobile COMPETENCE PARTICULIERE VISEE Diagnostiquer et réparer avec ou sans appareil
CATALOGUE DE PRESTATIONS SOLUTIONS GMAO. performed by PYC : Pierre-Yves COLLIN http://slicers.free.fr
CATALOGUE DE PRESTATIONS 1 2 3 SOLUTIONS GMAO performed by PYC : Pierre-Yves COLLIN http://slicers.free.fr Présentation de nos prestations ACSSIOM vous apporte : - Par sa présence régionale, une garantie
Alltech Young Scientist Conseils pour rédiger un papier
Alltech Young Scientist Conseils pour rédiger un papier Chers étudiants, De nombreux étudiants nous ont demandé, les années passées, si nous pouvions vous communiquer un article-type, ce qui est difficile,
14 Adopter une attitude professionnelle
14 Adopter une attitude professionnelle Pour mener à bien votre projet et instaurer des relations constructives le groupe doit adopter une attitude professionnelle et se montrer : 1. Mobilisé tous les
1 Concevoir et réaliser un projet de formation
1 Concevoir et réaliser un projet de formation Nous présentons, dans ce chapitre, la méthodologie générale de conception et de réalisation d un projet de formation. La caisse à outils du formateur 2 1.1
Fiche de présentation
1 / 8 Découvrir le code 1 5P-6P Fiche de présentation Titre de l'activité Sous-titre Degré(s) concerné(s) Durée estimée Résumé Contexte d'utilisation de la calculatrice Contenus et compétences mathématiques
Types et langages de programmation. Algorithmique et Programmation Unisciel/K.Zampieri
Types et langages de programmation Algorithmique et Programmation Unisciel/K.Zampieri 1 Généalogie partielle des langages de programmation FORTRAN BASIC PL/1 PROLOG ALGOL60 COBOL C PASCAL ADA MODULA-2
Programmation C++ (débutant)/les tableaux statiques
Programmation C++ (débutant)/les tableaux statiques 1 Programmation C++ (débutant)/les tableaux statiques Le cours du chapitre 6 : les tableaux statiques Les tableaux Une variable entière de type int ne
OUTILS D'ÉVALUATION DE LOGICIELS ÉDUCATIFS
131 OUTILS D' ÉDUCATIFS Philippe DESSUS, Pascal MARQUET MOTS-CLÉS Typologie des logiciels d'eao, Processus d'apprentissage, Mesure des performances didactiques. RÉSUMÉ A travers l'eao, l'informatique tente
Coaching, Une méthode scientifique
Coaching, Une méthode scientifique ROSELYNE KATTAR Tout le monde parle de coaching sans savoir exactement de quoi il s agit. Afin de clarifier cette approche selon moi, je vous propose de répondre à 3
Rentrée 2014 : L évaluation par compétences en accompagnement personnalisé
rue de Kerichen - BP 62506-29225 Brest Cedex 02 - Tél 02 98 80 88 00 - Fax 02 98 80 88 07 www.lycee-vauban-brest.ac-rennes.fr Rentrée 2014 : L évaluation par compétences en accompagnement personnalisé
GIND5439 Systèmes Intelligents. Septembre 2004
GIND5439 Systèmes Intelligents Septembre 2004 Contenu du cours Introduction aux systèmes experts Intelligence artificielle Représentation des connaissances Acquisition de connaissances Systèmes à base
Types de REA produites dans le cadre de la séquence pédagogique
Scénario pédagogique APPRENDRE À ENSEIGNER AUTREMENT Description générale du scénario Titre Les bases de données relationnelles Résumé Dans le cadre d'un cours à distance, la visioconférence est une REA
AEC en Techniques d éducation à l enfance
(JEE.0K) 322-101-MV Introduction à la profession Ce cours permet à l étudiant d explorer la profession d éducatrice à l enfance dans son ensemble et de bien cerner le contexte des services de garde au
Projet : Ecole Compétences Entreprise
Projet : Ecole Compétences Entreprise SECTEUR 7 ECONOMIE ORIENTATION D'ETUDES : AGENT/AGENTE EN ACCUEIL ET TOURISME COMPETENCE PARTICULIERE VISEE : VENDRE LE VOYAGE FORMATION EN COURS DE CARRIERE Avec
Intelligence Artificielle. Dorra BEN AYED
Intelligence Artificielle Dorra BEN AYED Chapitre 1 Introduction et Présentation Générale Sommaire Introduction Historique Définitions de l IAl Domaines d applicationd Les approches de l IA cognitive,
Création d un catalogue en ligne
5 Création d un catalogue en ligne Au sommaire de ce chapitre Fonctionnement théorique Définition de jeux d enregistrements Insertion de contenu dynamique Aperçu des données Finalisation de la page de
Bienvenue dans le monde de la construction logicielle
Chapitre 1 Bienvenue dans le monde de la construction logicielle Sommaire : 1.1 La construction logicielle, qu est-ce que c est? : page 3 1.2 Pourquoi la construction logicielle est-elle importante? :
Atelier de simulation APOLLO XIII
Atelier de simulation APOLLO XIII Les enjeux d une formation réussie Favoriser la participation, susciter l intérêt Enseigner les principes théoriques tout en l alliant à la pratique Motiver, impliquer,
ITIL V2 Processus : La Gestion des Configurations
ITIL V2 Processus : La Gestion des Configurations Auteur: Fabian PIAU, Master 2 MIAGE, Nantes La Gestion des Configurations est un processus issu d ITIL version 2 qui aide au soutien du service («Service
MODELE D UN RAPPORT DE STAGE DE BAC PRO ELECTROTECHNIQUE
MODELE D UN RAPPORT DE STAGE DE BAC PRO ELECTROTECHNIQUE [Prénom Nom] Rapport sur le stage effectué du [date] au [date] Dans la Société : [NOM DE LA SOCIETE : Logo de la société] à [Ville] [Intitulé du
Série 9: Intérêt des fonctions, portée des variables, variables statiques Buts
Série 9: Intérêt des fonctions, portée des variables, variables statiques Buts - La notion de fonction est fondamentale car elle permet d'atteindre deux objectifs: principe d'abstraction: offrir une vue
Algorithme Algorigramme page 1/10 Algorithmique Algorigramme
Algorithme Algorigramme page 1/10 Algorithmique Algorigramme Centre d'interêt : Analyser les constituants d'un système réel d'un point de vue structurel et comportemental Objectifs A la fin de la séquence,
Activité 1 : Ecrire en chiffres en utilisant les mots «cent» «vingt» «quatre» et «mille» - Ré apprentissage
Thème : NUMERATION Intentions pédagogiques : ré apprentissage de la numération par des activités ludiques, retour sur des notions connues autrement qu en situation de révision afin de permettre un nouveau
Algorithmique. Mode d application
I - Généralités Algorithmique T ale S Définition: Un algorithme est une suite finie d instructions permettant la résolution systématique d un problème donné. Un algorithme peut-être utilisé pour décrire
L efficacité de PowerPoint dans les cours de grammaire
Rencontres Pédagogiques du Kansaï 2007 Thème 2 L efficacité de PowerPoint dans les cours de grammaire Seïtaro YAMAKAWA Université d Economie d Osaka bpr5000?saturn.dti.ne.jp De nos jours, dans beaucoup
LES REPRESENTATIONS DES NOMBRES
LES CARTES A POINTS POUR VOIR LES NOMBRES INTRODUCTION On ne concevrait pas en maternelle une manipulation des nombres sans représentation spatiale. L enfant manipule des collections qu il va comparer,
Résoudre un problème mise en pratique
Résoudre un problème mise en pratique Objectifs généraux Rappel de certains concepts mathématiques. Analyse des problèmes et des procédures de résolution. Étude de notions élémentaires de didactique Apport
ECONOMIE ENREGISTRER LES OPERATIONS DANS LES JOURNAUX FINANCIERS
Projet : SECTEUR 7 Ecole Compétences Entreprise ORIENTATION D' ETUDES : ECONOMIE TECHNICIEN/TECHNICIENNE EN COMPTABILITE COMPETENCE PARTICULIERE VISEE : ENREGISTRER LES OPERATIONS DANS LES JOURNAUX FINANCIERS
6. Des objets bien conçus
Conception objet en Java avec BlueJ une approche interactive 6. Des objets bien conçus David J. Barnes, Michael Kölling version française: Patrice Moreaux Rédigé avec 1.0 Conception objet en Java avec
Claude Delannoy. Exercices C++ en langage. 3 e édition. Groupe Eyrolles, 1997, 1999, 2007, ISBN : 978-2-212-12201-5
Claude Delannoy Exercices en langage C++ 3 e édition Groupe Eyrolles, 1997, 1999, 2007, ISBN : 978-2-212-12201-5 Chapitre 3 Les fonctions Rappels Généralités Une fonction est un bloc d instructions éventuellement
Ebauche Rapport finale
Ebauche Rapport finale Sommaire : 1 - Introduction au C.D.N. 2 - Définition de la problématique 3 - Etat de l'art : Présentatio de 3 Topologies streaming p2p 1) INTRODUCTION au C.D.N. La croissance rapide
Vidéo partie 1. Logique Vidéo partie 2. Raisonnements Exercices Logique, ensembles, raisonnements
Exo7 Logique et raisonnements Vidéo partie 1. Logique Vidéo partie 2. Raisonnements Exercices Logique, ensembles, raisonnements Quelques motivations Il est important d avoir un langage rigoureux. La langue
Guide de conception d une épreuve écrite sous la forme d un questionnaire à choix multiples
Guide de conception d une épreuve écrite sous la forme d un questionnaire à choix multiples Aspects pratiques Aspects pédagogiques Conseils de conception 1 Introduction Terminologie spécifique à l IEP
encadrée par Pierre CRESCENZO et Michel GAUTERO (I3S) Université de Nice Sophia-Antipolis Le e-learning adaptatif 2004-2005 Par Sterenn AUBERT
Le e-learning adaptatif Université de Nice Sophia-Antipolis 2004-2005 Par Sterenn AUBERT encadrée par Pierre CRESCENZO et Michel GAUTERO (I3S) I. Présentation du sujet Définition du e-learning. Concept
La théorie des mouvements dans les formules Jean-François Nicaud Version initiale de Février 2013 jeanfrancois.nicaud@laposte.net
La théorie des mouvements dans les formules Jean-François Nicaud Version initiale de Février 2013 jeanfrancois.nicaud@laposte.net Article rédigé avec epsilonwriter puis copié dans Word La théorie des mouvements
Le schéma de l entretien de vente comporte quatre étapes :
I- Le schéma de l entretien de vente Le schéma de l entretien de vente comporte quatre étapes : Première étape : réussir le premier CONTACT. Deuxième étape : écouter le client, découvrir ce qui l intéresse.
NC 11 Norme comptable relative aux Modifications comptables
NC 11 Norme comptable relative aux Modifications comptables Objectifs 01. La divulgation des informations financières repose sur les caractéristiques qualitatives prévues par le cadre conceptuel, notamment,
Évaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
Utilisation du Numérique pour l Enseignement et l Evaluation des Compétences à l Université
1er Colloque International sur l Usage du Numérique dans l Enseignement Supérieur Utilisation du Numérique pour l Enseignement et l Evaluation des Compétences à l Université Farida Bouarab-Dahmani Maitre
5 formations indispensables pour une relation managériale efficace!
5 formations indispensables pour une relation managériale efficace! Edition 2010 Des formations -s & -s Nouveauté rentrée 2010 : Réduction de l offre : Le socle + 4 déclinaisons spécifiques www.management-progression.fr
PROGRAMME DE FORMATION DE FORMATEURS
MARIE-PAULINE ROUSSEAU, formatrice et consultante en développement des personnes ACADÉMIE DE TRANS-FORMATION A.R.Q. inc. NO. d'agrémentation de la SQDM : 3302 Programme FORMATION DE FORMATEURS PROGRAMME
Gestion des incidents. Honvault Mickaël Lycée Dampierre.
Gestion des incidents Honvault Mickaël Lycée Dampierre. Positionnement programme D2.2 Gestion des incidents et des demandes d assistance Connaissances techniques Installer et configurer un logiciel de
Procédure pour évaluer et/ou éditer un article
Procédure pour évaluer et/ou éditer un article Rôle des membres du comité de rédaction dans le processus de révision d un article : 1. Rôle de la Rédactrice en chef 2. Rôle des Rédacteurs adjoints 3. Rôle
18 Informatique graphique
Avant-propos En 1988, les Editions Hermès publiaient un ouvrage intitulé La synthèse d'images, qui présentait un état de l'art de ce domaine de l'informatique, vingt cinq ans environ après l'introduction
Norme d'audit suisse: Audit réalisé dans l environnement de la technologie de l information et de la communication (NAS 401)
Norme d'audit suisse: Audit réalisé dans l environnement de la technologie de l information et de la communication (NAS 401) "Préface explicative" Chiffre Cette NAS donne des instructions sur un audit
ENSEIGNEMENT DES SCIENCES ET DE LA TECHNOLOGIE A L ECOLE PRIMAIRE : QUELLE DEMARCHE?
ENSEIGNEMENT DES SCIENCES ET DE LA TECHNOLOGIE A L ECOLE PRIMAIRE : QUELLE DEMARCHE? Les nouveaux programmes 2008 confirment que l observation, le questionnement, l expérimentation et l argumentation sont
Atelier de programmation en python
Atelier de programmation en python Kévin Chewie Sztern et Christophe Sagane Vermorel Contents Introduction 2 L environnement de développement 2 Démarrer l IDE............................... 2 Premiers
STAGES D ENSEIGNEMENT EN FORMATION PROFESSIONNELLE ET TECHNIQUE Grille d évaluation du stagiaire par l enseignant associé
FORMATION PRATIQUE Département d éducation et formation spécialisées Unité de programme - formation professionnelle et technique STAGES D ENSEIGNEMENT EN FORMATION PROFESSIONNELLE ET TECHNIQUE Grille d
CONNAISSANCE DU MARCHE STRATEGIE COMMERCIALE ET COMMUNICATION ETUDIER SON MARCHE GRACE A L'EXPLORATION DOCUMENTAIRE
ET ETUDIER SON GRACE A L'EXPLORATION DOCUMENTAIRE L'objectif de ce module de formation en e-learning est de vous amener à établir un plan prévisionnel de ventes à trois ou cinq ans, en allant chercher
Gestion des erreur dans Excel
Des erreurs apparaissent parfois dans les formules de calcul ou lors de l'exécution d'une macro. Excel renvoie une valeur spécifique à l'erreur rencontrée Ces problèmes ont diverses causes: une faute de
RECADRER UN COLLABORATEUR
RECADRER UN COLLABORATEUR Le recadrage du collaborateur s effectue en entretien individuel. Ses objectifs sont nombreux : Il permet au manager d exprimer son désaccord afin de faire évoluer positivement
M1if22 - Logiciels éducatifs Conception & rôle de l enseignant
M1if22 - Logiciels éducatifs Conception & rôle de l enseignant Stéphanie Jean-Daubias Stephanie.Jean-Daubias@liris.univ-lyon1.fr http://liris.cnrs.fr/stephanie.jean-daubias/ Plan du cours Méthodologies
VISUBAT Votre partenaire BIM
VISUBAT Votre partenaire BIM MODÉLISATION BIM - AUDIT DE STRUCTURE - BIM MANAGER - BIM COORDINATEUR - AMO BIM - ACCOMPAGNEMENT des entreprises - MISE À NIVEAU de projets - SERVICE D ANALYSE du modele BIM
L approche Bases de données
L approche Bases de données Cours: BD. Avancées Année: 2005/2006 Par: Dr B. Belattar (Univ. Batna Algérie) I- : Mise à niveau 1 Cours: BDD. Année: 2013/2014 Ens. S. MEDILEH (Univ. El-Oued) L approche Base
Université Sidi Mohammed Ben Abdallah L école supérieure de technologie. la programmation neurolinguistique(pnl)
Université Sidi Mohammed Ben Abdallah L école supérieure de technologie. la programmation neurolinguistique(pnl) Introduction Plan Introduction Définition de la PNL Que veut dire la programmation neuro
Le web dans la formation des enseignants
Fatiha Mamache amamache@ushb.dz USTHB Avril 2013 Plan Introduction Pourquoi parle-t-on de formation des enseignants du supérieur? Comment accueillir et encadrer les enseignants débutants? L université
SECTION 2 BILAN DES COMPÉTENCES
SECTION 2 BILAN DES COMPÉTENCES Bilan des compétences INTRODUCTION... 3 LES OBJECTIFS DU BILAN DES COMPETENCES... 3 LE DEROULEMENT DE VOTRE BILAN DES COMPETENCES... 3 LE BILAN DES COMPETENCES DU PROGRAMME...
Evaluer la compétence en langue: C'estC'est quoi? C'est pourquoi? C'est comment? t quoi? C'est pourquoi? C'est?
Formation d enseignants Grenoble janvier 2011 Evaluer la compétence en langue: C'estC'est quoi? C'est pourquoi? C'est comment? t quoi? C'est pourquoi? C'est? Claire Bourguignon Maître de conférences HDR
5.1.1 La procédure pour la description d'une situation-problème
5 LE CHOIX DES PARTIES DE COURS : UNE PROGRESSION DES APPRENTISSAGES Éléments du cinquième chapitre 5.1 La description de la situation-problème finale 5.1.1 La procédure pour la description d'une situation-problème
IFT3913 Qualité du logiciel et métriques. Chapitre 5 Mesure de la qualité du logiciel
IFT3913 Qualité du logiciel et métriques Chapitre 5 Mesure de la qualité du logiciel Plan du cours Introduction Théorie de la mesure Qualité du logiciel Mesure du produit logiciel Mesure de la qualité
Répertoire de procédures de calcul mental CP et CE1
Répertoire de procédures de calcul mental CP et CE1 CP Dans toutes les situations de somme et de différence (rappel : on est dans les deux cas dans le «champ additif) on demandera aux élèves de ne pas
Primitives Cours maths Terminale S
Primitives Cours maths Terminale S Dans ce module est introduite la notion de primitive d une fonction sur un intervalle. On définit cette notion puis on montre qu une fonction admet une infinité de primitives
Problématique / Problématiser / Problématisation / Problème
Problématique / Problématiser / Problématisation / PROBLÉMATIQUE : UN GROUPEMENT DE DÉFINITIONS. «Art, science de poser les problèmes. Voir questionnement. Ensemble de problèmes dont les éléments sont
Etude réalisée. Présentation GCodeEdit. Conclusions
Etude réalisée Echange et partage de l information Présentation GCodeEdit Architecture logicielle Conclusions Introduction Les développements gigantesques des technologies informatiques avec leurs effets
PRINCIPES et METHODES de SPECIFICATION et de CONCEPTION GLOBALE des SYSTEMES INFORMATISES 10/20/02 1
PRINCIPES et METHODES de SPECIFICATION et de CONCEPTION GLOBALE des SYSTEMES INFORMATISES 10/20/02 1 CYCLE de VIE des SYSTEMES INFORMATISES Expression du besoin Développement du «système» Exploitation
Professionnelle. Construire un lien entre théorie et pratique
A.F.P. Ateliers de Formation Professionnelle Construire un lien entre théorie et pratique Plan de la présentation 1. Les A.F.P. Une nouveauté dans la réforme de la formation initiale des enseignants 2.
Chap. V : Les interruptions
UMR 7030 - Université Paris 13 - Institut Galilée Cours Architecture et Système Nous étudions dans ce chapitre les interruptions matérielles (ou externes), c est-à-dire déclenchées par le matériel (hardware)
COMMENT PROGRAMMER et EVALUER LE LANGAGE?
COMMENT PROGRAMMER et EVALUER LE LANGAGE? PROGRAMMER LES APPRENTISSAGES Programmation # Progression Progression: division du savoir en petites unités réparties dans le temps: aller du simple au complexe.
SERVICES RELATIFS A L EXPLOITATION DE RESEAUX DE TELECOMMUNICATIONS (Terrestres et satellitaires)
PROBLEMATIQUE - L APPROCHE JADE Telecom L exploitation de réseaux de télécommunications implique pour les entreprises la prise en compte de différents points importants : La mise en place de personnel
FORMATION L ÉVALUATION
FORMATION L ÉVALUATION Economie-gestion en lycée professionnel Académie de la Guyane 2014-2015 Formation Date : vendredi 05 Décembre 2014 Lieu : LP Raymond TARCY / Saint Laurent du Maroni Public : professeurs
Fonctions homographiques
Fonctions homographiques On donne ci-dessous deux définitions des fonctions homographiques, et on montre que ces deux définitions sont équivalentes. On décrit la courbe représentative d une fonction homographique.
Le chiffre est le signe, le nombre est la valeur.
Extrait de cours de maths de 6e Chapitre 1 : Les nombres et les opérations I) Chiffre et nombre 1.1 La numération décimale En mathématique, un chiffre est un signe utilisé pour l'écriture des nombres.
Sauvegarde d une base de données
Sauvegarde d une base de données Version 1.0 Grégory CASANOVA 2 Sauvegarde d une base de données Sommaire 1 Introduction... 3 2 Différents types de sauvegarde... 4 2.1 Sauvegarde complète de base de données...
Manuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2
éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........
Introduction à Windows Workflow Foundation
Introduction à Windows Workflow Foundation Version 1.1 Auteur : Mathieu HOLLEBECQ Co-auteur : James RAVAILLE http://blogs.dotnet-france.com/jamesr 2 Introduction à Windows Workflow Foundation [07/01/2009]
Travail Personnel Encadré
Travail Personnel Encadré Recherche bibliographique Alain Boucher - IFI Page 1 Etapes d un processus de recherche (1) Enoncé et analyse du problème de recherche (2) Recherche bibliographique (3) Solution
6.3 Détramage* d'un document
6.3 Détramage* d'un document *Disponibilité Versions Studio : offrent l'ensemble des nouvelles fonctions, y compris les deux fonctions entièrement automatiques. Dans les dernières versions Studio de SilverFast,
Logique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.
Logique binaire I. L'algèbre de Boole L'algèbre de Boole est la partie des mathématiques, de la logique et de l'électronique qui s'intéresse aux opérations et aux fonctions sur les variables logiques.
Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits
1 d Automatisation de la certification formelle de systèmes critiques par instrumentation d sous la direction de Michaël Périn Soutenance de Thèse de Doctorat Université de Grenoble - Laboratoire Verimag
Clément MILVILLE / Edouard SIMON. Projet CodeWar. Enseignant tuteur: Michaël Hauspie 1/17
Projet CodeWar Enseignant tuteur: Michaël Hauspie 1/17 2/17 Remerciements: Nous tenons à remercier tout particulièrement notre tuteur M. Michaël HAUSPIE pour son aide, ses conseils, ses avis et sa disponibilité
E-Forum sur l Approche par les Compétences
E-Forum sur l Approche par les Compétences Exposé liminaire Deux conceptions de l approche par compétences BIEF / 05.09.19 1 Quand on parle d approche par les compétences dans les curriculums, on pense
DIFFERENCIATION ET TICE
DIFFERENCIATION ET TICE 1ere partie Janvier- février 2015 Limoges 1 Nathalie Chabrely Garcia et Equipe Tice 87 Quelques définitions Il existe plusieurs sens de cette notion mais tous répondent à une même
Qu est-ce qu une problématique?
Fiche méthodologique préparée par Cécile Vigour octobre 2006 1 Qu est-ce qu une problématique? Trois étapes : 1. Définition de la problématique 2. Qu est-ce qu une bonne problématique? 3. Comment problématiser?
Présentation. Logistique. Résumé de la 1e Partie. Mise en place du système
Présentation Diapo01 Je m appelle Michel Canneddu. Je développe avec 4D depuis 1987 et j exerce en tant qu indépendant depuis 1990. Avant de commencer, je tiens à remercier mes parrains Jean-Pierre MILLIET,
SECONDE ÉPREUVE ORALE D ADMISSION Temps de préparation : 3 heures pour les deux parties de l épreuve Durée de l épreuve : 1 heure
SECONDE ÉPREUVE ORALE D ADMISSION Temps de préparation : 3 heures pour les deux parties de l épreuve Durée de l épreuve : 1 heure Première partie : préparation d une séquence d enseignement en français
Préparation aux épreuves écrites du CAPES Conseils de rédaction
Préparation aux épreuves écrites du CAPES Conseils de rédaction Claire Debord Le texte qui suit est une libre compilation de plusieurs textes sur le même thème, notamment ceux de Christophe Champetier
Rapport de Post- Campagne 1
Rapport de Post- Campagne 1 Résumé - La campagne Adwords que nous avons mené pour Galerie Photo-Originale a duré 21 jours (5.05-26.05) et nous a coûté $250,18. L objectif principal est en premier de stimuler