Logique mathématique

Discipline des mathématiques étudiant celles-ci en tant que langage

Mythique · Savoir · branche des mathématiques

6Logique mathématique

Savoir, branche des mathématiquesM

Érudition. En arrivant : pioche une carte.

discipline des mathématiques étudiant celles-ci en tant que langage

8 951

8 994

Pl. 1484350WikiArcana

Cette carte peut sortir de tes packs

10 packs offerts, sans paiement · 1,58 million de cartes

Recevoir mes 10 packs

D'où viennent les stats

Attaque: 8 951
Richesse : 69 déclarations, comparé aux autres cartes du même type.
Défense: 8 994
Rayonnement : 105 sitelinks, comparé aux autres cartes du même type.

Résumé Wikipédia

La logique mathématique ou métamathématique est une discipline des mathématiques inventée à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que système formel.

Lire l'article sur Wikipédia

Texte : extrait de l'article Wikipédia « Logique mathématique », sous licence CC BY-SA 4.0.

Données : Wikidata (CC0). Image : Venn A intersect B.svg sur Wikimedia Commons ; auteur et licence sur la page du fichier.

Signaler cette carte

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 à Logique mathématique dans Wikidata. En combat, posées sur le même territoire, les cartes liées se renforcent : +1 par lien (jusqu'à +3).

6Mathématiques

Savoir, disciplineA

Érudition. En arrivant : pioche une carte.

ensemble de connaissances sur des objets abstraits tels que les nombres, les espaces, les applications, les relations

Savoir, branche de la philosophieA

Érudition. En arrivant : pioche une carte.

étude des principes et des critères de déductions et de démonstrations valides

9 986

9 999

Pl. 1484343WikiArcana

6Calcul des propositions

Savoir, système logiqueM

Érudition. En arrivant : pioche une carte.

théorie de logique mathématique

8 908

8 978

Pl. 464786WikiArcana

5Théorie de la calculabilité

Événement, logique mathématiqueM

Chaos. En arrivant : les cartes adverses déjà ici perdent 2.

domaine de la logique mathématique et de l’informatique théorique étudiant les fonctions calculables et les degrés Turing

7 687

8 443

Pl. 2334201WikiArcana

6Logique modale

Savoir, disciplineM

Érudition. En arrivant : pioche une carte.

type de système logique

8 958

8 928

Pl. 1484347WikiArcana

5Théorie des modèles

Savoir, théorie mathématiqueÉ

Érudition. En arrivant : pioche une carte.

branche de la logique mathématique

7 419

7 424

Pl. 2334208WikiArcana

Cette carte peut sortir de tes packs

10 packs offerts, sans paiement · 1,58 million de cartes

Recevoir mes 10 packs

ShinyChance : 3 %

5Théorie de la démonstration

Savoir, disciplineÉ

Érudition. En arrivant : pioche une carte.

branche de la logique mathématique

7 404

7 342

Pl. 2334227WikiArcana

5Logique temporelle

Événement, logique mathématiqueÉ

Chaos. En arrivant : les cartes adverses déjà ici perdent 2.

domaine de la logique modale en mathématiques

6 466

7 178

Pl. 1484355WikiArcana

4Énumération de Gödel

Savoir, concept mathématiqueR

Érudition. En arrivant : pioche une carte.

fonction qui attribue à chaque symbole et formule bien-formée de certains langages formels un entier naturel unique

5 234

5 267

Pl. 625261WikiArcana

4Démonstration automatique de théorèmes

Événement, logique mathématiqueR

Chaos. En arrivant : les cartes adverses déjà ici perdent 2.

procédé de démonstration par ordinateur

5 346

4 723

Pl. 805411WikiArcana

4Logique paracohérente

Événement, logique mathématiqueR

Chaos. En arrivant : les cartes adverses déjà ici perdent 2.

type de logique formelle rejetant le principe d'explosion (ex falso quodlibet)

4 924

5 325

Pl. 1484487WikiArcana

4Logique non monotone

Savoir, spécialitéR

Érudition. En arrivant : pioche une carte.

logique formelle dans laquelle l'opération d'implication n'est pas monotone

5 152

5 064

Pl. 1484437WikiArcana

4Littéral

Savoir, formule atomiqueR

Érudition. En arrivant : pioche une carte.

atome ou négation d'un atome d'une logique formelle, par exemple une variable propositionnelle dans le calcul des propositions

4 727

5 079

Pl. 1479043WikiArcana

3Logique algébrique

Savoir, branche des mathématiquesPC

Érudition. En arrivant : pioche une carte.

raisonnement obtenu en manipulant des équations avec des variables libres

3 261

3 142

Pl. 1484502WikiArcana

La logique mathématique ou métamathématique est une discipline des mathématiques inventée à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que système formel.

Lire l'article sur Wikipédia

Texte : extrait de l'article Wikipédia « Logique mathématique », sous licence CC BY-SA 4.0.