请问「简单类型论」是什么意思？
关于「简单类型论」
拼音 jiǎn dān lèi xíng lùn，注音 ㄐㄧㄢˇ ㄉㄢ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ。数据更新于 2026-07-12 17:36:54。
| 拼音字母 | jian dan lei xing lun |
|---|---|
| 拼音首字母 | jdlxl |
| 注音符号 | ㄐㄧㄢ ㄉㄢ ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ |
| 注音首符号 | ㄐㄉㄌㄒㄌ |
扩展释义
简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。
拆字组词
相关词语
- 一笑了事是什么意思？
- 七支是什么意思？
- 中国的热度是什么意思？
- 乌药竹是什么意思？
- 伤痛跌打丸是什么意思？
- 冰糖梨是什么意思？
- 刀耕火耘是什么意思？
- 刘心宇是什么意思？
- 千总是什么意思？
- 十一想是什么意思？
- 副交感神经是什么意思？
- 四合院是什么意思？
- 寄麝硬蜱是什么意思？
- 安眠药是什么意思？
- 寿泉街道是什么意思？
- 收刀检卦是什么意思？
- 接地干线是什么意思？
- 接触冷凝器是什么意思？
- 楼房是什么意思？
- 柱顶红是什么意思？
- 杨海霞是什么意思？
- 泉源是什么意思？
- 琥珀色是什么意思？
- 王阔海是什么意思？
- 甘子河乡是什么意思？
- 碎割凌迟是什么意思？
- 美橙互联是什么意思？
- 萧琛是什么意思？
- 蒜泥黄瓜是什么意思？
- 袋鼠爸爸是什么意思？
- 蝴蝶的翅膀是什么意思？
- 转位构造是什么意思？
- 邹江是什么意思？
- 金基东是什么意思？
- 陈设品是什么意思？
- 雷公藤多甙是什么意思？
- 马丽君是什么意思？
- 骆驼奶是什么意思？
- 龙血武姬是什么意思？
- 岱山县中医院是什么意思？
- 漯河市地税局是什么意思？
- 惧狼是什么意思？
- 崎岖仙路是什么意思？
- 布鬘螺是什么意思？
- 幽似七齿虎甲是什么意思？
- 胎前损身是什么意思？
- 金疮生肌散是什么意思？
- 蕹菜白萝卜汁是什么意思？
- 定痛和血汤是什么意思？
- 色果查姆寺是什么意思？