Calcul des séquents · WikiArcana

4Calcul des séquents

Savoir, concept mathématiqueR

Érudition. En arrivant : pioche une carte.

système de déduction mathématique

5 042

5 079

Pl. 464814WikiArcana

Système de déduction mathématique

Savoir · concept mathématique

En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen. Le nom de ce formalisme fait référence à un style particulier de déduction ; le système original a été adapté à diverses logiques, telles que la logique classique, la logique intuitionniste et la logique linéaire. Un séquent est une suite d'hypothèses suivie d'une suite de conclusions, les deux suites étant usuellement séparées par le symbole , « : » (deux-points) ou encore dans l'œuvre originale de Gentzen.

Lire l'article sur Wikipédia

Texte : extrait de l'article Wikipédia « Calcul des séquents », sous licence CC BY-SA 4.0.

Rare, savoir (concept mathématique)

Calcul des séquents

D'où viennent les stats

Attaque5 042
Richesse : 10 déclarations, comparé aux autres cartes du même type.
Défense5 079
Rayonnement : 14 sitelinks, comparé aux autres cartes du même type.

Données : Wikidata (CC0).

Signaler cette carte

Variantes

Chaque carte peut sortir d'un pack en plusieurs finitions. Shiny et Gold renforcent aussi ses stats.

4Calcul des séquents

Savoir, concept mathématiqueR

Érudition. En arrivant : pioche une carte.

système de déduction mathématique

5 042

5 079

Pl. 464814WikiArcana

Normale

4Calcul des séquents

Savoir, concept mathématiqueR

Érudition. En arrivant : pioche une carte.

système de déduction mathématique

5 042

5 079

Pl. 464814HoloWikiArcana

Holo

4Calcul des séquents

Savoir, concept mathématiqueR

Érudition. En arrivant : pioche une carte.

système de déduction mathématique

5 042

5 079

Pl. 464814Full artWikiArcana

Full art

4Calcul des séquents

Savoir, concept mathématiqueR

Érudition. En arrivant : pioche une carte.

système de déduction mathématique

5 546

5 587

Pl. 464814ShinyWikiArcana

Shiny

4Calcul des séquents

Savoir, concept mathématiqueR

Érudition. En arrivant : pioche une carte.

système de déduction mathématique

6 050

6 095

Pl. 464814GoldWikiArcana

Gold

Cartes liées

Ces sujets sont reliés à Calcul des séquents dans Wikidata. En combat, posées sur le même territoire, les cartes liées se renforcent : +1 par lien (jusqu'à +3).

4Gerhard Gentzen

Personnage, humainÉ

Meneur. Tes autres cartes de ce territoire : +1.

mathématicien allemand

Savoir, règle d'inférenceC

Érudition. En arrivant : pioche une carte.

règle d'inférence du calcul des séquent, géneralisation du modus ponens

1 728

1 382

Pl. 2087328WikiArcana