« Logique du premier ordre » : différence entre les versions
m (Remplacement de texte — « <small> féminin </small> » par « ») |
Aucun résumé des modifications |
||
| Ligne 8 : | Ligne 8 : | ||
'''Calcul des prédicats du premier ordre''' | '''Calcul des prédicats du premier ordre''' | ||
== Anglais == | == Anglais == | ||
| Ligne 21 : | Ligne 20 : | ||
[https://liris.cnrs.fr/~ecoquery/dokuwiki/lib/exe/fetch.php?media=enseignement:logique:logique-memo5.pdf Mémo : Cours logique - Mémo n˚5, Logique du premier ordre, Emmanuel Coquery, ] | [https://liris.cnrs.fr/~ecoquery/dokuwiki/lib/exe/fetch.php?media=enseignement:logique:logique-memo5.pdf Mémo : Cours logique - Mémo n˚5, Logique du premier ordre, Emmanuel Coquery, ] | ||
[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence Source : Wikipedia] | [https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence Source : Wikipedia] | ||
[https://www.24pm.com/117-definitions/360-logique-du-premier-ordre Source : 24pm Academy] | [https://www.24pm.com/117-definitions/360-logique-du-premier-ordre Source : 24pm Academy] | ||
Version du 24 mars 2021 à 20:53
Définition
La logique du premier ordre (également appelée logique des prédicats et calcul des prédicats du premier ordre) est un ensemble de systèmes formels utilisés en mathématiques, en philosophie, en linguistique et en informatique.
Français
Logique du premier ordre
Logique des prédicats
Calcul des prédicats du premier ordre
Anglais
First-order logic
Predicate logic
Mémo : Cours logique - Mémo n˚5, Logique du premier ordre, Emmanuel Coquery,
Contributeurs: Claude Coulombe, Imane Meziani, Pierre Labreche, wiki
