Lambda-calcul

Système formel de la logique mathématique

Mythique · Savoir · modèle mathématique

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

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 885
Richesse : 38 déclarations, comparé aux autres cartes du même type.
Défense: 8 958
Rayonnement : 47 sitelinks, comparé aux autres cartes du même type.

Résumé Wikipédia

Le lambda-calcul est un système formel inventé par Alonzo Church dans les années 1930. Ce système fonde les concepts de fonction et d'application qui forment un cadre pour manipuler des expressions appelées λ-expressions. La lettre grecque λ est utilisée pour lier une variable. Par exemple, si est une λ-expression, alors représente la fonction qui à x associe .

Lire l'article sur Wikipédia

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

Données : Wikidata (CC0). Image : Un terme avec liens version 2.png 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 à Lambda-calcul dans Wikidata. En combat, posées sur le même territoire, les cartes liées se renforcent : +1 par lien (jusqu'à +3).

6Lambda

Savoir, lettre grecqueM

Érudition. En arrivant : pioche une carte.

onzième lettre de l'alphabet grec

8 779

8 991

Pl. 1400440WikiArcana

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

5Théorie du calcul

Savoir, disciplineÉ

Érudition. En arrivant : pioche une carte.

branche de la logique mathématique et de l'informatique théorique

7 334

7 443

Pl. 2334718WikiArcana

5Alonzo Church

Personnage, humainM

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

mathématicien américain

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

mathématicien américain

7 454

7 093

Pl. 2239255WikiArcana

Cette carte peut sortir de tes packs

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

Recevoir mes 10 packs

ShinyChance : 3 %

Le lambda-calcul est un système formel inventé par Alonzo Church dans les années 1930. Ce système fonde les concepts de fonction et d'application qui forment un cadre pour manipuler des expressions appelées λ-expressions. La lettre grecque λ est utilisée pour lier une variable. Par exemple, si est une λ-expression, alors représente la fonction qui à x associe .

Lire l'article sur Wikipédia

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