Carte Rare
Théorie des types
fondation des mathématiques sur des expressions typées et des preuves construites comme objets
- Valeur
- 50 W
- Attaque
- 271
- Défense
- 217
- Joueurs
- 0
509 vues Wikipédia ces 30 derniers jours
En mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques.
Obtiens Théorie des types 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