title神逻辑2百度云网盘PDF下载 - PDF电子书免费下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有3,000项符合查询结果项。（搜索耗时：0.0144秒）

为您推荐：神逻辑2 title神逻辑不讲道理的人怎么总有理神逻辑神逻辑正版图书新经典神逻辑正版图书神逻辑不讲道理的人怎么总有理

您是不是要找：

titleæ²³è¾¹ç é神逻辑ʮ ȫ2ᣩ

信息、智能与逻辑智能科学的逻辑基础研究第2卷中

查看PDF目录购买本书
何华灿主编2010 年出版816 页ISBN：9787561227698
信息、智能与逻辑智能科学的逻辑基础研究第2卷下

查看PDF目录购买本书
何华灿主编2010 年出版1187 页ISBN：9787561227698
信息、智能与逻辑智能科学的逻辑基础研究第2卷上

查看PDF目录购买本书
何华灿主编2010 年出版434 页ISBN：9787561227698
应用逻辑第2版

查看PDF目录购买本书
（美）尼罗德（Nerode，A.），（美）肖尔（ Shore，R.A.）著；丁德成等译2007 年出版284 页ISBN：7111214048
本书是一本介绍数理逻辑的基础教材。
数理逻辑第2版

查看PDF目录购买本书
（美）Herbert B.Enderton著；沈复兴，陈磊，孙运传译2007 年出版240 页ISBN：7115143110
本书是数理逻辑课程的经典教材。
数理逻辑第2版英文版

查看PDF目录购买本书
（美）恩德滕著2006 年出版330 页ISBN：7115141452
本书是数理逻辑课程的教材。
数学的历史、逻辑和基础资料选辑非标准分析 2

查看PDF目录购买本书
中国科学院计算技术研究所九室编1978 年出版404 页ISBN：
东西方矛盾观的形式演算第2卷正反数理逻辑概论

查看PDF目录购买本书
罗翊重著1998 年出版393 页ISBN：7541610704
应用逻辑第2版

查看PDF目录购买本书
（美）尼罗德（Nerode，A.）等著2006 年出版457 页ISBN：7111197720
本是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。虽然本书覆盖了所有传统的逻辑主题（语法、语义、完备性和紧致性），但是书中大部分内容讨论的是其他主题...
数理逻辑基本原理与形式演算第2版

查看PDF目录购买本书
李未著2014 年出版289 页ISBN：9787030401557
本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...

1 2 3 4 5 6 7 8 9 10 下一页

学科分类