Chargement…
Système formel
5Système formel
Savoir, type de systèmeÉ
Érudition. En arrivant : pioche une carte.
modélisation mathématique d'un langage
7 228
7 420
Pl. 2269953WikiArcana
D'où viennent les stats
- Attaque
- 7 228
Richesse : 21 déclarations, comparé aux autres cartes du même type.
- Défense
- 7 420
Rayonnement : 38 sitelinks, comparé aux autres cartes du même type.
Résumé Wikipédia
Finitions
Chaque carte peut sortir d'un pack en plusieurs finitions ; le pourcentage est la chance qu'une carte tirée sorte dans celle-ci. Shiny et Gold renforcent aussi ses stats.
Cartes liées
Ces sujets sont reliés à Système formel dans Wikidata. En combat, posées sur le même territoire, les cartes liées se renforcent : +1 par lien (jusqu'à +3).
6Langage formel
Savoir, terme d'informatiqueM
Érudition. En arrivant : pioche une carte.
ensemble de chaînes de symboles contraintes par des règles
8 952
8 971
Pl. 1403274WikiArcana
6Lambda-calcul
Savoir, modèle mathématiqueM
Érudition. En arrivant : pioche une carte.
système formel de la logique mathématique
8 885
8 958
Pl. 1400433WikiArcana
5Système axiomatique
Savoir, ensembleÉ
Érudition. En arrivant : pioche une carte.
ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes
7 220
7 355
Pl. 2269617WikiArcana
5Théorie des types
Savoir, branche des mathématiquesÉ
Érudition. En arrivant : pioche une carte.
fondation des mathématiques sur des expressions typées et des preuves construites comme objets
7 411
7 294
Pl. 2334483WikiArcana
4Théorie des types homotopiques
Savoir, théorie des typesR
Érudition. En arrivant : pioche une carte.
théorie des types comprenant l'axiome d'univalence de Voïevodski
5 179
4 760
Pl. 2334666WikiArcana
2Système logique
Savoir, type de systèmeC
Érudition. En arrivant : pioche une carte.
système formel dédié au raisonnement et aux déductions logiques
1 704
1 193
Pl. 2270350WikiArcana