Carte Rare
Logique d'ordre supérieur
logique formelle permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats
- Valeur
- 50 W
- Attaque
- 249
- Défense
- 200
- Joueurs
- 0
311 vues Wikipédia ces 30 derniers jours
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.
Obtiens Logique d'ordre supérieur dans ta collection
Chaque carte de Wikilord est un article Wikipédia. Ouvre des paquets gratuitement, échange, combats et grimpe au classement.
Ouvrir un paquet gratuit