« Prouveurs de théorème » : différence entre les versions

Dernière version du 28 janvier 2024 à 12:32

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.

voir Système de raisonnement

Français

prouveurs de théorème

Anglais

theorem provers

Sources

Source : Wikipedia

@@ Ligne 1 : / Ligne 1 : @@
-==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ématiques. Ils peuvent également être utilisés pour vérifier les preuves existantes. En plus de 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.
+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]]'''
 == Français ==
-'''  Prouveurs de théorème'''
+'''  prouveurs de théorème'''
 == Anglais ==
-''' Theorem provers'''
+''' theorem provers'''
-<small>
+==Sources==
 [https://en.wikipedia.org/wiki/Reasoning_system     Source : Wikipedia ]
-[[Catégorie:vocabulary]]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
-[[Catégorie:vocabulaire]]