Phép dịch "lambda calculus" thành Tiếng Việt
Phép tính lambda là bản dịch của "lambda calculus" thành Tiếng Việt.
lambda calculus
noun
ngữ pháp
(computing theory) 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. [..]
-
Phép tính lambda
formal system in mathematical logic
-
Hiển thị các bản dịch được tạo bằng thuật toán
Bản dịch tự động của " lambda calculus " sang Tiếng Việt
-
Glosbe Translate
-
Google Translate
Thêm ví dụ
Thêm