Démonstrateur automatique de théorèmes

Démonstrateur automatique de théorèmes

Démonstration automatique de théorèmes

La démonstration automatique de théorèmes est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet sans l'aide de l'utilisateur.


Voir aussi

Ce document provient de « D%C3%A9monstration automatique de th%C3%A9or%C3%A8mes ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Démonstrateur automatique de théorèmes de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Extension Conservatrice — En logique mathématique, une théorie logique T2 est une extension conservatrice d une théorie T1 si le langage de T2 étend le langage de T1, si chaque théorème de T1 est un théorème de T2 et si tout théorème de T2 qui est dans le langage de T1… …   Wikipédia en Français

  • Extension conservatrice — En logique mathématique, une théorie logique T2 est une extension conservatrice (ou conservative) d une théorie T1 si le langage de T2 étend le langage de T1, si chaque théorème de T1 est un théorème de T2 et si tout théorème de T2 qui est dans… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”