« Démonstrateur de théorèmes » : différence entre les versions
m (Claude COULOMBE a déplacé la page Prouveurs de théorème vers Démonstrateur de théorèmes) |
Aucun résumé des modifications |
||
| (7 versions intermédiaires par 4 utilisateurs non affichées) | |||
| 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. | 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 | 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 == | == Français == | ||
| Ligne 14 : | Ligne 14 : | ||
== Anglais == | == Anglais == | ||
''' theorem | ''' theorem prover''' | ||
'''automatic theorem prover''' | '''automatic theorem prover''' | ||
| Ligne 21 : | Ligne 21 : | ||
'''mechanical 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== | ==Sources== | ||
| Ligne 27 : | Ligne 37 : | ||
[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 | [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:GRAND LEXIQUE FRANÇAIS]] | ||
[[Catégorie:101]] | [[Catégorie:101]] | ||
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
[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 »
Contributeurs: Arianne Arel, Claude Coulombe, Imane Meziani, Espanol: Jean-Sébastien Zavalone, wiki
