查询结果
类型论
lèi xíng lùn
ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ
「类型论」是什么意思？
更新 2026-07-16 00:43:03
- 拼音字母lei xing lun
- 首字母lxl
- 注音符号ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ
扩展释义
在最广泛的层面上，类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。另外在社会学和心理学上也有相关应用。
拆字组词
相关词语
- 一露阳光查含义
- 五峰查含义
- 仿古建筑查含义
- 光学畸变查含义
- 利菌沙查含义
- 吊空查含义
- 四海升平查含义
- 失魂鱼查含义
- 她的歌查含义
- 宽痣头蜓查含义
- 安络化纤丸查含义
- 宋志查含义
- 小圩村查含义
- 小裁缝查含义
- 山寨天安门查含义
- 彩条查含义
- 斯坦利港查含义
- 明水县查含义
- 普里娅查含义
- 杜泰航查含义
- 来归查含义
- 椹涧乡查含义
- 毛山荆子查含义
- 江新查含义
- 油车查含义
- 滇北直瓣苣苔查含义
- 王志利查含义
- 玩具出租查含义
- 痛抱丧明查含义
- 真英雄查含义
- 秋八月查含义
- 等齿视星鲶查含义
- 誓词查含义
- 裴晶晶查含义
- 转换断层查含义
- 金花街查含义
- 铺道蚁属查含义
- 靠边儿站查含义
- 鞠建伟查含义
- 魔方少女查含义
- 高压法兰查含义
- 鹅黄灯台报春查含义
- 夜梦草之追日查含义
- 亥线查含义
- 盐霜白瓜子查含义
- 冷冻面查含义
- 葱油草菇查含义
- 栗腹唐纳雀查含义
- 巴西巨人金毛查含义
- 痔疮药查含义