| Wikipédia en français - L'encyclopé... |
Logique d'ordre supérieur
Les logiques d'ordre supérieur sont des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats. Elles étendent le calcul des prédicats du premier ordre.
| 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é.
