Commune
Logique d'ordre supérieur
logique formelle permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats
Logique d'ordre supérieur
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.
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement