"lambda calculus"을 한국어로 번역

람다 대수 은 "lambda calculus"을 한국어로 번역한 것입니다.

lambda calculus noun 문법

(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. [..]

+ 추가

영어-한국어 사전

  • 람다 대수

    formal system in mathematical logic

  • 알고리즘 방식으로 생성된 번역 표시

" lambda calculus "를 한국어로 자동 번역

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
추가

문맥에서 "lambda calculus"을 한국어로 번역, 번역 메모리