« Démonstration de théorèmes » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 18 : | Ligne 18 : | ||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
[[Catégorie: | |||
Version du 17 mars 2021 à 15:44
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
Contributeurs: Isaline Hodecent, wiki
