« Logique du premier ordre » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == 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. | 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. | ||
| Ligne 26 : | Ligne 22 : | ||
[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] | ||
[[Catégorie:Vocabulaire]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:24pm]] | |||
[[Catégorie:Scotty]] | |||
Version du 3 mai 2020 à 21:48
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
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
