« Démonstration de théorèmes » : différence entre les versions
m (Isaline a déplacé la page Theorem proving vers Démonstration de théorèmes) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== 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 == | == Anglais == | ||
'''theorem proving''' | '''theorem proving''' | ||
<small> | <small> | ||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8398734 Source : Le grand dictionnaire terminologique ] | |||
[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:Publication]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:UTexas]] | |||
Version du 17 mars 2021 à 12:09
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
