Lambda calculs et catégories
Comment on calcule lambda ?
Le R est égal au rapport entre l'épaisseur e en mètres (m) et la conductivité thermique lambda λ du matériau.
Cette valeur est donnée par la formule : R = e / λ.
Ainsi, pour un panneau isolant d'une épaisseur de 100 mm ayant un lambda 0,032 W/m.K, la résistance thermique R sera de : 0,1 / 0,032 = 3,13 m²K/W.
- Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application.
On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable.
Par exemple, si M est une λ-expression, λx.
Le λ-calcul est le calcul syntaxique ou formel des fonctions. Les expressions du λ-calcul sont appelés des λ-termes. Le λ-calcul est un calcul plutôt bizarre où Autres questions