Système d’information en philosophie des sciences
Information system on philosophy of science

ImprimerEnvoyer le lien

ARTICLE

Vers un démonstrateur adaptatif

  • Pages : 159 à 195
  •  
  •  
  •  
  • Date de création : 04-01-2011
  • Dernière mise à jour : 04-01-2011

Résumé :

Français

Dans le traitement informatique de la preuve, trois courants principaux sont distingués, – à tendance formelle, – à tendance cognitive, – à tendance pragmatique. – 1. Introduction; – 2. Construire un démonstrateur adaptatif : un catalogue de problèmes; – 3. Le système de déduction (Le calcul des propositions; Un calcul de séquent); – 4. Généralisation à partir d’exemples; – 5. Généralisation de formules : les macro-connecteurs (Formules à généraliser. Cas particulier : les formules homogènes; Langage des généralisations : les macro-connecteurs; Méthode de généralisation; En résumé); – 6. Généralisation des lemmes (Les concepts à apprendre; Langage des généralisations : les schémas sous contraintes; Propriétés des schémas sous contrainte; Mécanismes de généralisation; En résumé); – 7. Conclusion.

 

Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Samedi 16 octobre 2021