lambda calculus

n 1. (Logic) logic computing a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages 2. (Computer Science) logic computing a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages [C20: from the use of the symbol lambda (λ) to represent the mathematical functions]

Translations

лямбда-исчисление

单词	lambda calculus
释义	lambda calculus lambda calculus n 1. (Logic) logic computing a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages 2. (Computer Science) logic computing a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages [C20: from the use of the symbol lambda (λ) to represent the mathematical functions] Translations лямбда-исчисление lambda calculus lambda calculus [′lam·də ‚kal·kyə·ləs] (mathematics) A mathematical formalism to model the mathematical notion of substitution of values for bound variables.
随便看	ulsb ulsc ul-sch ulscr ulsd ulsdc ulsdcyp ulseb ulser ulsf ulsg ulsi ulsic ulsi circuit ulskii aul ulsm ulsnet ulso ulsp ulsr ulss ulssc uls server ulssis ulster