Vers un calcul des constructions pédagogique
Les systèmes pédagogiques sont apparus récemment à propos des calculs propositionnels (jusqu'à l'ordre supérieur), et consistent à donner systématiquement des exemples des notions (hypothèses) introduites. Formellement, cela signifie que pour mettre un ensemble Delta de formules en hypothè...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Metz
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00838147 http://tel.archives-ouvertes.fr/docs/00/83/81/47/PDF/these.pdf http://tel.archives-ouvertes.fr/docs/00/83/81/47/ANNEX/slides.pdf |