题目
更新时间:2024-05-05 22:11:50
求解答,词语简单类型论是什么意思?再说说简单类型论有什么含义?答案
简单类型论的词语属性
拼音jiǎn dān lèi xíng lùn
拼音字母jian dan lei xing lun
拼音首字母jdlxl
简单类型论的百科含义
简单类型论(simple type theory),所谓类型是这样的变目组合 :已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ,也就是说,命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。