« Démonstration de théorèmes » : différence entre les versions
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
m (Remplacement de texte : « ↵↵↵↵ » par « ») |
||
| Ligne 11 : | Ligne 11 : | ||
== Anglais == | == Anglais == | ||
'''theorem proving''' | '''theorem proving''' | ||
Version du 29 janvier 2024 à 12:37
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
Contributeurs: Isaline Hodecent, wiki
