Logique d'ordre supérieur
logique formelle permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Logique d'ordre supérieur?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
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.
Cet article est une ébauche concernant la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Pour les articles homonymes, voir HOL.