« Logique du premier ordre » : différence entre les versions
m (Remplacement de texte — « <small> loc. nom. fém. </small> » par « <small> féminin </small> ») |
Aucun résumé des modifications |
||
| Ligne 5 : | Ligne 5 : | ||
''' Logique du premier ordre''' <small> féminin </small> | ''' Logique du premier ordre''' <small> féminin </small> | ||
''' | '''Logique des prédicats''' <small> féminin </small> | ||
''' | '''Calcul des prédicats du premier ordre''' <small> masculin </small> | ||
| Ligne 29 : | Ligne 29 : | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Version du 11 janvier 2021 à 10:33
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 féminin
Logique des prédicats féminin
Calcul des prédicats du premier ordre masculin
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
