Logique du premier ordre


De DataFranca
(Redirigé depuis First-order logic)

en construction

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


Termium

Mémo : Cours logique - Mémo n˚5, Logique du premier ordre, Emmanuel Coquery,


Source : Wikipedia


Source : 24pm Academy


Si on ne peut se serrer la main, on va se serrer les coudes!

Contributeurs : Pierre Labreche, admin
Vous devez demander un compte pour contribuer à cette page.