« Démonstration de théorèmes » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
m (Isaline a déplacé la page Theorem proving vers Démonstration de théorèmes) |
(Aucune différence)
| |
Version du 17 mars 2021 à 12:06
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
theorem proving
the process of proving a mathematical theorem, or solving a problem stated by means of axioms in predicate calculus, by mechanically deriving new formulas using rules of inference.
Contributeurs: Isaline Hodecent, wiki
