« 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 |
||
| (8 versions intermédiaires par 3 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== | == Définition == | ||
Un démonstrateur de théorèmes utilise des techniques de raisonnement automatisées pour faire la preuve de théorèmes mathématiques. | |||
Il peut également être utilisé pour vérifier des preuves existantes. Outre l'utilisation académique, les applications typiques d'un démonstrateur de théorèmes incluent la vérification de l'exactitude de logiciels ou programmes informatiques, de circuits logiques, des conceptions techniques formalisées, etc. | |||
voir '''[[Système de raisonnement]]''' | voir '''[[Système de raisonnement]]''' | ||
== Français == | == Français == | ||
''' | '''démonstrateur de théorèmes''' | ||
'''démonstrateur automatique de théorèmes''' | |||
''' prouveurs de théorème''' | |||
== Anglais == | == Anglais == | ||
''' | ''' theorem prover''' | ||
'''automatic theorem prover''' | |||
'''automated theorem prover''' | |||
'''mechanical theorem prover''' | |||
'''theorem solver''' | |||
==Sources== | |||
[https://en.wikipedia.org/wiki/Reasoning_system | [https://en.wikipedia.org/wiki/Reasoning_system Wikipedia] | ||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=automatic+theorem+prover&index=alt&codom2nd_wet=1#resultrecs Termium | |||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
[[Catégorie: | [[Catégorie:101]] | ||
Dernière version du 9 septembre 2024 à 09:20
Définition
Un démonstrateur de théorèmes utilise des techniques de raisonnement automatisées pour faire la preuve de théorèmes mathématiques.
Il peut également être utilisé pour vérifier des preuves existantes. Outre l'utilisation académique, les applications typiques d'un démonstrateur de théorèmes incluent la vérification de l'exactitude de logiciels ou programmes informatiques, de circuits logiques, des conceptions techniques formalisées, etc.
Français
démonstrateur de théorèmes
démonstrateur automatique de théorèmes
prouveurs de théorème
Anglais
theorem prover
automatic theorem prover
automated theorem prover
mechanical theorem prover
theorem solver
Sources
Contributeurs: Claude Coulombe, Imane Meziani, wiki
