Logo Sips
Accueil

Abécédaire

Recherche

Intranet

Contact

Système d'information en philosophie des sciences

Logo Sips
ImprimerEnvoyer le lien

ARTICLE

Preuves de la déduction automatique et analogie

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

Résumé :

Français

Analyse de la déduction et mise en évidence de points de contrôle qui apparaissent dans une preuve effectuée sur une machine. Les raisonnements qui peuvent être menés pour les comparer, les exploiter, les réutiliser sont de nature analogique et ne sont pas eux-mêmes intégrés dans le mécanisme de principe de supervision. – Introduction; Motivations de la déduction automatique; Preuves de la déduction automatique et preuves mathématiques; L’analogie dans les preuves mathématiques et automatiques; Utiliser l’analogie en déduction automatique; Manipulation de preuves; Différence entre deux problèmes; Définir une différence; Analogie utilisant une différence élémentaire; Utilisation plus générale de la différence.

 

Résumé :

Français

Analyse de la déduction et mise en évidence de points de contrôle qui apparaissent dans une preuve effectuée sur une machine. Les raisonnements qui peuvent être menés pour les comparer, les exploiter, les réutiliser sont de nature analogique et ne sont pas eux-mêmes intégrés dans le mécanisme de principe de supervision. – Introduction; Motivations de la déduction automatique; Preuves de la déduction automatique et preuves mathématiques; L’analogie dans les preuves mathématiques et automatiques; Utiliser l’analogie en déduction automatique; Manipulation de preuves; Différence entre deux problèmes; Définir une différence; Analogie utilisant une différence élémentaire; Utilisation plus générale de la différence.

 
Haut de pageRetour à la page précédente