查询结果
类型论
lèi xíng lùn
ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ
「类型论」是什么意思？
更新 2026-07-12 07:25:53
- 拼音字母lei xing lun
- 首字母lxl
- 注音符号ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ
扩展释义
在最广泛的层面上，类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。另外在社会学和心理学上也有相关应用。
拆字组词
相关词语
- 付友查含义
- 便携查含义
- 刘兆斌查含义
- 千福寺查含义
- 叨逼叨查含义
- 合河口乡查含义
- 吠陀时代查含义
- 块斑宝螺查含义
- 大港街道查含义
- 大正野球娘查含义
- 家美乐查含义
- 崇善寺查含义
- 尼冈氏拟鲆查含义
- 张宏鹏查含义
- 忍冬叶冬青查含义
- 康衢之谣查含义
- 悬浮查含义
- 断了气查含义
- 暂住共生查含义
- 李光日查含义
- 李万路查含义
- 杨明玉查含义
- 杨星查含义
- 柠檬色百合查含义
- 模特儿之恋查含义
- 毕刚查含义
- 沙窝镇查含义
- 活检查含义
- 漏失查含义
- 玻璃角奎查含义
- 监视雷达查含义
- 翟海燕查含义
- 苏赛克斯獚查含义
- 豪景商贸中心查含义
- 金盾出版社查含义
- 金王府查含义
- 郭剑查含义
- 铂热电阻查含义
- 铜殳查含义
- 靛青之夜查含义
- 青少年查含义
- 颁布查含义
- 首位城市查含义
- 飞猿查含义
- 马育良查含义
- 麦子熟了查含义
- 天台博物馆查含义
- 松尾贵司查含义
- 黑泽典子查含义
- 台湾噪眉查含义