请输入您要查询的词汇:
词汇
lambda calculus
释义
lambda calculus
λ演算
一种对逻辑公式中限制变数或项的值进行代入为主要运算的演算,用於程式理论,尤其是程式设计语言的语义理论。
随便看
sphere
-spheric
spheric
spherical
spherical geometry
spherically
spherical triangle
spherical trigonometry
spherical type head
sphericity
spherics
spheroid
spheroidal
spheroidic
spherometer
spherular
spherule
spherulite
sphery
sphincter
sphingid
sphinx
sphragistics
sp ht
sphygmic
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2026/8/28 14:26:48