« Calcul des prédicats » : différence entre les versions
m (Remplacement de texte : « ↵↵<small> » par « ==Sources== ») |
m (Remplacement de texte : « ↵↵==Sources== » par « ==Sources== ») |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| 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)
Contributeurs: Isaline Hodecent, wiki
