查询结果
简单类型论
jiǎn dān lèi xíng lùn
ㄐㄧㄢˇ ㄉㄢ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ
「简单类型论」是什么意思？
更新 2026-07-11 05:11:42
- 拼音字母jian dan lei xing lun
- 首字母jdlxl
- 注音符号ㄐㄧㄢ ㄉㄢ ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ
扩展释义
简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。
拆字组词
相关词语
- 万里查含义
- 三色莓查含义
- 不负流年查含义
- 云灵查含义
- 仁风社区查含义
- 仲春查含义
- 到期时间查含义
- 南珠查含义
- 十门辩惑论查含义
- 味事达查含义
- 姚家泉查含义
- 小顶冰花查含义
- 尺蠖之屈查含义
- 张红辉查含义
- 曾志祥查含义
- 李选生查含义
- 杭城建查含义
- 板料冲压查含义
- 栗黑小卷蛾查含义
- 棒距玉凤花查含义
- 水磨胡同查含义
- 溢洪道查含义
- 溽热查含义
- 燃料致密化查含义
- 牛头卡查含义
- 王家桥查含义
- 王吉平查含义
- 男孩啃女孩查含义
- 统计预测查含义
- 绝对天堂查含义
- 聖隆天龍居查含义
- 自身难保查含义
- 苻朗皁白查含义
- 苏和臣查含义
- 菌交替现象查含义
- 试应手查含义
- 赵宝军查含义
- 金科路查含义
- 陈祥军查含义
- 鬼形怪状查含义
- 魁斗镇查含义
- 麒麟家园查含义
- 旺苍县公安局查含义
- 安托山站查含义
- 古敦查含义
- 安冈紫音查含义
- 灼热之王查含义
- 广式蒸鱼查含义
- 六辊轧机查含义
- 夢如嫣查含义