lambda-calcul (Q242028)
Aller à la navigation
Aller à la recherche
système formel de la logique mathématique
- lambda calcul
- λ-calcul
| Langue | Libellé | Description | Également connu comme |
|---|---|---|---|
| français | lambda-calcul |
système formel de la logique mathématique |
|
| anglais | lambda calculus |
formal system in mathematical logic |
|
Déclarations
Identifiants
Calcul lambda
1 référence
Lambda-Kalkül
Churchscher Lambda-Kalkül
1 référence
Lambda calculus
1 référence
Lambda-calcul
1 référence
28 octobre 2013
Liens de site
Wikipédia(45 entrées)
- arwiki تكامل لامدا
- azwiki Lambda hesablaması
- bnwiki ল্যাম্ডা ক্যালকুলাস
- bswiki Lambda račun
- cawiki Càlcul lambda
- cewiki Лямбда-ларар
- ckbwiki جیاکاری و تەواوکاری لامدا
- cswiki Lambda kalkul
- dawiki Lambdakalkyle
- dewiki Lambda-Kalkül
- elwiki Λογισμός λάμδα
- enwiki Lambda calculus
- eowiki Lambda-kalkulo
- eswiki Cálculo lambda
- etwiki Lambda-arvutus
- fawiki حساب لامبدا
- fiwiki Lambdakalkyyli
- frwiki Lambda-calcul
- hewiki תחשיב למדא
- hrwiki Lambda račun
- huwiki Lambda-kalkulus
- hywiki Լամբդա արտահայտություն
- iowiki Lambda-kalkulo
- iswiki Lambda-reikningur
- itwiki Lambda calcolo
- jawiki ラムダ計算
- kowiki 람다 대수
- nlwiki Lambdacalculus
- nowiki Lambdakalkyle
- plwiki Rachunek lambda
- ptwiki Cálculo lambda
- ruwiki Лямбда-исчисление
- shwiki Lambda račun
- simplewiki Lambda calculus
- skwiki Lambda kalkul
- srwiki Ламбда рачун
- svwiki Lambdakalkyl
- tawiki லாம்டா நுண்கணிதம்
- thwiki แคลคูลัสแลมบ์ดา
- tlwiki Kalkulong lambda
- trwiki Lamda kalkülüs
- ukwiki Лямбда-числення
- viwiki Phép tính lambda
- zh_yuewiki Λ演算
- zhwiki Λ演算
Wikilivres(2 entrées)
- enwikibooks Lambda Calculus
- jawikibooks ラムダ計算