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


m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
m (Remplacement de texte : « ↵↵↵↵ » par «   »)
Ligne 11 : Ligne 11 :
== Anglais ==
== Anglais ==
'''theorem proving'''
'''theorem proving'''





Version du 29 janvier 2024 à 13:37

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



Contributeurs: Isaline Hodecent, wiki