logiques d'ordre supérieur
Nom, Number:Plur, Gender:Fem, Nom féminin pluriel
source:wiki, dénombrable
Définitions
1. 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.
2. Les logiques d'ordre supérieur ( en anglais, higher-order logic ou HOL ) 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.
[F]
›
•
•
•
•
•
[F]
›
20
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
