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.
随便看	schuller, gunther schuller, gunther alexander schuller, karl h.l.a. max schuller, karl hla max schuller phenomenon schuller, robert harold schuller's disease schuller syndrome schulman, irving schultenite schulte, rudi schultes schulthies schultz schultz, adolph h. schultz, arthur r.h. schultz, arthur rh schultz autogenic training schultz-charlton phenomenon schultz-charlton reaction schultz-dale reaction schultze schultze, bernhard schultze bundle schultze cells