« Calcul des prédicats » : différence entre les versions


m (Remplacement de texte : « ↵↵↵==Sources== » par «  ==Sources== »)
m (Remplacement de texte : « ↵↵==Sources== » par «  ==Sources== »)
 
Ligne 17 : Ligne 17 :


'''first-order logic'''
'''first-order logic'''
==Sources==
==Sources==



Dernière version du 30 août 2024 à 13:53

Définition

Mécanisme de résolution de problème dérivé du calcul des propositions, qui exploite l'utilisation de variables.

Terme lié : Logique du premier ordre

Français

calcul des prédicats

calcul des prédicats du premier ordre

logique du premier ordre

Anglais

predicate calculus

first-order predicate calculus

first-order logic

Sources

Source : Le grand dictionnaire terminologique

Source : Wikipédia (Calcul des prédicats)

Source : Wikipédia (First-order logic)

Source : Accenture - applied intelligence glossary

Contributeurs: Isaline Hodecent, wiki