Démonstration de théorèmes


Révision datée du 31 janvier 2024 à 10:06 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵↵↵==Sources== » par «  ==Sources== »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Définition

Dans un système formel, séquence de règles d'inférence appliquée pour obtenir des théorèmes.

Français

démonstration de théorèmes

preuve de théorème

preuve de théorèmes

Anglais

theorem proving

Sources

Source : Le grand dictionnaire terminologique

Source : UTexas Artificial Intelligence Vocabulary

Récupérée de « https://datafranca.org/wiki/index.php?title=Démonstration_de_théorèmes&oldid=95770 »

Contributeurs: Isaline Hodecent, wiki