请输入您要查询的词汇:
词汇
lambda calculus
释义
lambda calculus
λ演算
一种对逻辑公式中限制变数或项的值进行代入为主要运算的演算,用於程式理论,尤其是程式设计语言的语义理论。
随便看
後发制人
後发症
後盾
後空翻
後窗
後缀
後继
後继乏人
後继有人
後继者
後续
後续报导
後续成本
後续会议
後续部队
後置
後置词
後者
後肢
後腔静脉
後脑
後肠
後腿
後膛枪
後膛炮
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2024/9/17 4:00:44