请输入您要查询的字词:
单词
λ演算
释义
λ演算
Encyclopedia
理学
类型理论
释
λ-calculus
λ演算
一种由项和规约操作组成,用于表述可计算函数的数理逻辑形式系统。
Mathematics
lambda-calculus
λ演算
†
λ-calculus
λ演算
†
Computer
理论计算机科学
可计算性与计算复杂性
释文
λ-calculus
λ演算
随便看
记忆恢复
记忆提取
记忆效应
记忆术
记忆梯度法
记忆电机
记忆电路
记忆痕迹
记忆的伤痕
记忆磁芯
记忆系统
记忆细胞
记忆结构
记忆编码
记忆缺失性贝毒
记忆虚构症
记忆训练
记忆长度
记忆障碍
记忆鼓
记数制
记数制理论
记数法
记时仪
记时图
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/4/6 5:39:21