查询结果
类型论
lèi xíng lùn
ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ
「类型论」是什么意思？
更新 2026-07-14 21:27:01
- 拼音字母lei xing lun
- 首字母lxl
- 注音符号ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ
扩展释义
在最广泛的层面上，类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。另外在社会学和心理学上也有相关应用。
拆字组词
相关词语
- 万寿庵查含义
- 二路查含义
- 佐藤智仁查含义
- 体细胞杂种查含义
- 俞士菘查含义
- 包硕查含义
- 卧床不起查含义
- 去羟肌苷散查含义
- 反向转录查含义
- 国际财源中心查含义
- 唐继炳查含义
- 夏家桥村查含义
- 婼玛的十七岁查含义
- 审计制度查含义
- 完全性查含义
- 寂寞大道查含义
- 张鸿斌查含义
- 德国足球查含义
- 影院查含义
- 指甲盖查含义
- 时行感冒查含义
- 易地皆然查含义
- 杨容查含义
- 步行巴士查含义
- 歼二十查含义
- 汤晓丹查含义
- 王学磊查含义
- 狭叶毛水苏查含义
- 百合熘鸡片查含义
- 绝对不能犯查含义
- 讨我欢喜查含义
- 超级贤婿查含义
- 负荆查含义
- 连带保证责任查含义
- 青达门乡查含义
- 鲸吞查含义
- 大秦线查含义
- 南充高中查含义
- 广东省司法厅查含义
- 晓起村查含义
- 柳泽慎也查含义
- 假剑齿虎类查含义
- 唐儿查含义
- 貂熊指名亚种查含义
- 深红莲瓣查含义
- 鸟巢兰族查含义
- 喉梅毒查含义
- 猪甲散查含义
- 黄柏蜜查含义
- 理气丹查含义