« Calcul des prédicats » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵↵↵==Sources== » par « ==Sources== ») |
||
| (3 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 2 : | Ligne 2 : | ||
Mécanisme de résolution de problème dérivé du calcul des propositions, qui exploite l'utilisation de variables. | 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 == | == Français == | ||
| Ligne 18 : | Ligne 18 : | ||
'''first-order logic''' | '''first-order logic''' | ||
==Sources== | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8393924 Source : Le grand dictionnaire terminologique ] | [http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8393924 Source : Le grand dictionnaire terminologique ] | ||
| Ligne 28 : | Ligne 28 : | ||
[https://www.accenture.com/us-en/applied-intelligence-glossary Source : Accenture - applied intelligence glossary ] | [https://www.accenture.com/us-en/applied-intelligence-glossary Source : Accenture - applied intelligence glossary ] | ||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 29 janvier 2024 à 10:00
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
