Correspondance de Curry-Howard
Correspondance de Curry-Howard est une carte à collectionner dans WikiMasters, de rareté super rare. Ses caractéristiques sont partagées par tous les exemplaires de sa version normale.
Caractéristiques de la carte
- Rareté
- Super rare
- Attaque
- 3 352
- Défense
- 6 703
L’attaque et la défense sont des valeurs du jeu, indépendantes des qualités du sujet représenté.
À propos de Correspondance de Curry-Howard
Lire sur WikipédiaLa correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l'informatique théorique et la théorie de la calculabilité. Ils établissent des relations entre les démonstrations formelles d'un système logique et les programmes d'un modèle de calcul. Les premiers exemples de correspondance de Curry-Howard remontent à 1958, lorsque H
Extrait de Wikipédia en français, éventuellement abrégé. Texte sous licence CC BY-SA 4.0.
Comment obtenir cette carte ?
Les packs contiennent cinq cartes sélectionnées aléatoirement dans le catalogue. Aucun pack ne garantit cette page précise. Tu peux aussi rechercher cette carte au marché des joueurs ou proposer un échange à un ami.
Les cartes super rares représentent 7 % du catalogue. Ce pourcentage concerne la rareté entière, pas cette carte seule.
Historique du marché
Aucune vente conclue pour la version normale de cette carte. Les WikiCoins sont la monnaie virtuelle du jeu.