“λ演算”的概念、定义、翻译、参考文献-科学参考

单词	λ演算
释义	λ演算 Encyclopedia 理学类型理论释 λ-calculusλ演算一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。 Mathematics lambda-calculusλ演算^† λ-calculusλ演算^† Computer 理论计算机科学可计算性与计算复杂性释文 λ-calculusλ演算
随便看	航空发动机趋势分析航空发动机转子结构航空发动机转速航空发动机转速测量航空发动机载荷航空发动机进气畸变试验航空发动机进气装置航空发动机进气部件试验航空发动机适航航空发动机部件系统试验航空发动机间隙测量航空发动机防冰系统航空发动机附件传动系统试验航空发动机降噪设计航空发动机隐身设计航空发动机雷达散射测量航空发动机风扇航空发动机飞行试验航空发动机验证机航空发动机高温测量航空发动机高空模拟试验航空可靠性工程航空器航空器事故航空器事故和征候调查

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。