« Démonstrateur de théorèmes » : différence entre les versions
(Page créée avec « ==en construction== == Définition == Les prouveurs de théorèmes utilisent des techniques de raisonnement automatisées pour déterminer des preuves de théorèmes math... ») |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
Les prouveurs de théorèmes utilisent des techniques de raisonnement automatisées pour déterminer des preuves de théorèmes mathématiques. Ils peuvent également être utilisés pour vérifier | Les prouveurs de théorèmes utilisent des techniques de raisonnement automatisées pour déterminer des preuves de théorèmes mathématiques. Ils peuvent également être utilisés pour vérifier des preuves existantes. Outre l'utilisation académique, les applications typiques des prouveurs de théorèmes incluent la vérification de l'exactitude des circuits intégrés, des programmes logiciels, des conceptions techniques, etc. | ||
voir '''[[Système de raisonnement]]''' | voir '''[[Système de raisonnement]]''' | ||
== Français == | == Français == | ||
''' | ''' prouveurs de théorème''' | ||
== Anglais == | == Anglais == | ||
''' | ''' theorem provers''' | ||
<small> | <small> | ||
| Ligne 17 : | Ligne 15 : | ||
[[Catégorie: | [[Catégorie:publication]] | ||
Version du 26 octobre 2021 à 21:47
Définition
Les prouveurs de théorèmes utilisent des techniques de raisonnement automatisées pour déterminer des preuves de théorèmes mathématiques. Ils peuvent également être utilisés pour vérifier des preuves existantes. Outre l'utilisation académique, les applications typiques des prouveurs de théorèmes incluent la vérification de l'exactitude des circuits intégrés, des programmes logiciels, des conceptions techniques, etc.
Français
prouveurs de théorème
Anglais
theorem provers
Contributeurs: Claude Coulombe, Imane Meziani, wiki
