« Démonstration de théorèmes » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| Ligne 13 : | Ligne 13 : | ||
==Sources== | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8398734 Source : Le grand dictionnaire terminologique ] | [http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8398734 Source : Le grand dictionnaire terminologique ] | ||
Version du 27 janvier 2024 à 22:17
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
