请输入您要查询的字词:
单词
type theory
释义
type theory
Encyclopedia
理学
类型理论
释
type theory
类型理论
数理逻辑的一个分支。
哲学
逻辑
释
type theory
类型论
由B.A.W.罗素提出的通过将讨论的对象(集合、命题函数、性质、谓词等)区分为不同类型而避免悖论的解悖方案。
Mathematics
type theory
类型论
Computer
理论计算机科学
程序理论
释文
type theory
类型论
随便看
涩肠止泻
涩脉
涩艺术
涪城区
涪江
涪陵北岩书院
涪陵区
涪陵水牛
涪陵白鹤梁题刻保护工程
涪陵石鱼
涪陵页岩气
涪陵页岩气田
涮辣
涯词
液
液3He的自旋极化
液^3He的自旋极化
液3He超流动性
液^3He超流动性
液HeII的准粒子能谱
液HeII的性质
液HeⅡ的准粒子能谱
液HeⅡ的性质
液yè泡
液下泡沫喷射灭火系统
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/4/6 13:03:39