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

Dernière version du 21 juillet 2025 à 16:26

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 aussi 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

Español

demostrador de teoremas

Un demostrador de teoremas utiliza técnicas de razonamiento automatizado para demostrar teoremas matemáticos. También puede utilizarse para verificar demostraciones existentes. Además del uso académico, las aplicaciones típicas de un sistema demostrador de teoremas incluyen la verificación de la corrección de software o programas informáticos, circuitos lógicos, diseños formalizados de ingeniería, etc. Véase también: sistema de razonamiento

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 101 MOTS DE L' IA
Ce terme est sélectionné pour le livre « Les 101 mots de l'intelligence artificielle »

@@ Ligne 1 : / Ligne 1 : @@
 == 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.
+Un démonstrateur de théorèmes utilise des techniques de raisonnement automatisées pour faire la preuve de théorèmes mathématiques.
-voir '''[[Système de raisonnement]]'''
+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 aussi '''[[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 provers'''
+''' theorem prover'''
+'''automatic theorem prover'''
+'''automated theorem prover'''
+'''mechanical theorem prover'''
+'''theorem solver'''
+==Español==
+''''' demostrador de teoremas '''''
-<small>
+''Un demostrador de teoremas utiliza técnicas de razonamiento automatizado para demostrar teoremas matemáticos.
+También puede utilizarse para verificar demostraciones existentes.''
+''Además del uso académico, las aplicaciones típicas de un sistema demostrador de teoremas incluyen la verificación de la corrección de software o programas informáticos, circuitos lógicos, diseños formalizados de ingeniería, etc. Véase también: sistema de razonamiento''
-[https://en.wikipedia.org/wiki/Reasoning_system     Source : Wikipedia ]
+==Sources==
+[https://en.wikipedia.org/wiki/Reasoning_system  Wikipedia]
-[[Catégorie:publication]]
+[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
+{{Modèle:101}}
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
+[[Catégorie:101]]

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