请输入您要查询的字词:
单词
兰姆达演算
释义
兰姆达演算
Encyclopedia
哲学
逻辑
释
Lambda calculus
兰姆达演算
美国逻辑学家A.丘奇于20世纪30年代提出的一套形式系统。又称λ-演算。
随便看
Runge-Kutta-Fehlberg method
Runge-Kutta-Felhberg method
Runge-Kutta-Gill method
Runge Kutta method
Runge-Kutta method
Runge method
Runge pair
Runge phenomenon
Runge rule
Runge theorem
Runge type theorem
Runge-Walsh theorem
Rungrado May Day Stadium
Rungwa Game Reserve
runic
Runic alphabet
run length coding
run-length coding
run length limited code
run length limited code, RLLC
Run Lola Run
Runlou
runnability
runner
runnerless injection molding
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/6/13 0:36:50