大约有200项符合查询结果项。(搜索耗时:0.0084秒)
为您推荐:
数理逻辑基础
逻辑
数理逻辑基础教程
神逻辑
逻辑学
底层逻辑
-
石纯一,王家廞编著2000 年出版224 页ISBN:7302040427
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章,前8章介缗数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论,包括集合、关系、函数、实数集与...
-
王国俊著2000 年出版305 页ISBN:7030085442
本书大部分内容是作者近期的研究成果,全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发,建立了积分语义学...
-
孟宪鹏,卢东栋主编2000 年出版281 页ISBN:7810595202
-
彭孟尧著2000 年出版552 页ISBN:9577023819
-
王源生编著2000 年出版350 页ISBN:7810613251
-
杨向奎著2000 年出版261 页ISBN:7560711359
-
田粟著2000 年出版248 页ISBN:7536648839
-
刘英娴等编著2000 年出版273 页ISBN:7111013182
-
邹崇理著2000 年出版452 页ISBN:730104528X
-
孔庆荣主编2000 年出版318 页ISBN:7800836916