lambda-reikningur

Icelandic

A calque of the English lambda calculus from the Greek character lambda (“lambda; λ”) and reikningur (“mathematics, arithmethic”).

lambda-reikningur m (genitive singular lambda-reiknings, nominative plural lambda-reikningar)

(computer theory) lambda calculus; (any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions)

单词	lambda-reikningur
释义	lambda-reikningur Icelandic Etymology A calque of the English lambda calculus from the Greek character lambda (“lambda; λ”) and reikningur (“mathematics, arithmethic”). Noun lambda-reikningur m (genitive singular lambda-reiknings, nominative plural lambda-reikningar) (computer theory) lambda calculus; (any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions)
随便看	владели владелиц владелица владелицам владелицами владелицах владелице владелицей владелицею владелицу владелицы владело владельца владельцам владельцами владельцах владельце владельцев владельцем владельцу владельцы владельческий владение владением владении