语林词典 - 汉语词语大全 聊天词典

请问「简单类型论」是什么意思?

2026-07-13 03:00:26

「简单类型论」读音

拼音 jiǎn dān lèi xíng lùn,注音 ㄐㄧㄢˇ ㄉㄢ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ

拼音字母jian dan lei xing lun
拼音首字母jdlxl
注音符号ㄐㄧㄢ ㄉㄢ ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ
注音首符号ㄐㄉㄌㄒㄌ

「简单类型论」释义

扩展释义 简单类型论(simple type theory),所谓类型是这样的变目组合 :已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ,也就是说,命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。

推荐