i. introduction - Tecfa - Université de Genève
... questions ou de faire des exercices) et les environnements d'apprentissage (
par exemple, ..... précisé, généralisé ou réfuté, de façon récursive[1] jusqu'au
moment où il est ...... Ces erreurs, souvent corrigées par l'enseignant mais aussi
parfois par .... plus important que le fait de construire cette base en Lisp ou en
Prolog.