Démonstration de théorèmes


(Redirigé depuis Preuve de théorème)

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