Démonstration de théorèmes


La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

Définition

Dans un système formel, séquence de règles d'inférence appliquée pour obtenir des théorèmes.

Français

démonstration de théorèmes

preuve de théorème

preuve de théorèmes

Anglais

theorem proving

Sources

Source : Le grand dictionnaire terminologique

Source : UTexas Artificial Intelligence Vocabulary



Contributeurs: Isaline Hodecent, wiki