Systèmes formels et systèmes fonctionnels pédagogiques
Cette thèse introduit la notion de systèmes pédagogiques, qui sont des systèmes de d éducation naturelle contraints de la manière suivante : toutes les hypothèses posées dans une démonstration doivent être motivées par un exemple. Ces systèmes sont par essence sans négation. Nous étudions les systèm...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2008METZ024S/document |