简单类型论
基本解释
简解
简单类型论的词语属性
拼音jiǎn dān lèi xíng lùn
拼音字母jian dan lei xing lun
拼音首字母jdlxl
简单类型论的百科含义
简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。
猜你喜欢
- ainidejuzi爱你的句子
- zhǔn què准确
- wuweizhurou五味猪肉
- dashuxiang大属相
- zhuangshenshaonvxiaochan装神少女小缠
- canlingbaishusan参苓白朮散
- jianyewa尖叶蛙
- bodakediyiji波达克第一季
- daojiaozhen道窖镇
- heiputao黑葡萄
- zhixiang志祥
- lianpianleice连篇累册
- zhishilaoren知识老人
- zhumiaomiao朱苗苗
- ranmaosong冉茂松
- yuhuoguo鱼火锅
- jianqieqi剪切器
- zhahuangbingxuejie札幌冰雪节
- minzutuanjiexiang民族团结乡
- xunqiu讯囚
- beiourongmaoquan北欧绒毛犬
- xinkongjianhuayuan新空间花园
- yangjinhuatiquwu洋金花提取物
- xiaoyuanjiaoxiangqu校园交响曲
- shoujitaopian手机套片
- jintiangongju金田工具
- taobadiqiuren逃吧地球人
- jiangjunjia蒋君稼
- xiaohuazijinniu小花紫金牛
- yujingjizhi预警机制