Wikipédia en français - L'encyclopé...
Download this dictionary
Calcul des prédicats
Le
calcul des prédicats du premier ordre
, ou
calcul des relations
, ou
logique du premier ordre
, ou tout simplement
calcul des prédicats
est une formalisation du langage des mathématiques proposée par les logiciens de la fin du et du début du .
Pour la suite, voir Wikipédia.org…
© Cet article se sert du contenu de
Wikipédia
®
et est autorisé sous les termes de la
Licence de Documentation libre GNU
et est distribué sous les termes de la
licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé
.