« Démonstrateur de théorèmes » : différence entre les versions

Version du 9 septembre 2024 à 04:21

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 et programmes informatiques, de circuits logiques, des conceptions techniques formalisées, etc.

voir Système de raisonnement

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

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

@@ Ligne 2 : / Ligne 2 : @@
 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 des circuits intégrés, des programmes logiciels, des conceptions techniques, etc.
+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 et programmes informatiques, de circuits logiques,  des conceptions techniques formalisées, etc.
 voir '''[[Système de raisonnement]]'''

« Démonstrateur de théorèmes » : différence entre les versions