数理逻辑 汪芳庭 XPS文档(可用IE直接打开)

所需积分/C币:12 2010-03-19 3.58MB APPLICATION/X-ZIP
评分

国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。 下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。

...展开详情
立即下载 最低0.43元/次 身份认证VIP会员低至7折
举报 举报 收藏 收藏 (3)
分享

评论 下载该资源后可以进行评论 19

「已注销」 还可以的书,详细
2017-10-09
回复
laomao22311 扫描质量一般。内容还可以i
2016-04-26
回复
xiaoqian321 很好的书,写的条理清晰,容架构很好
2016-03-15
回复
egg90 接触最早的数理逻辑书之一,内容架构还不错
2016-02-15
回复
wangxingfeng1989 不错這的参考
2016-01-20
回复
6.18MB
数理逻辑(Herbert.B.Enderton)

译者序 数理逻辑作为基础数学的一个重要分支, 在计算机科学中起着奠基作用, 在模糊数学和 人工智能等方面也都有着广泛的应用, 有关它的教材和参考书有许多. 我们选择Herbert B. Enderton 教授编写的这本数理逻辑教材是因为该书以可读性强而著称, 在美国大学中采用 率很高, 是数理逻辑方面的经典教材之一. 同时, 在第2 版的修订中, 作者增加了模型论和 递归论的一些基础知识, 其中有限模型、解析算法、有限计算和可判定性等内容都与计算机 科学密切相关, 这些内容是目前多数数理逻辑教材所没有的. 而这些知识, 无论对于计算机 专业还是基础数学专业的学生来说都是很重要的. 通过对这些内

2015-04-22
4.28MB
数理逻辑(中文版.原书第2版)-A.G.汉密尔顿-华东师范大学出版社-1986.pdf )

数理逻辑(中文版.原书第2版)-A.G.汉密尔顿-华东师范大学出版社-1986.pdf

2015-08-22
1.28MB
数理逻辑答案数理逻辑

数理逻辑答案,数理逻辑答案,数理逻辑答案,数理逻辑答案

2011-06-01
3.63MB
汪芳数理逻辑

作者: 汪芳庭 出版社: 中国科学技术大学出版社 出版年: 1990年9月 页数: 273

2016-02-13
3.05MB
数理逻辑(中文版 H.B.Enderton)

数理逻辑(中文版 H.B.Enderton)是翻译的H.B.Enderton的英文原著。

2014-03-30
715KB
数理逻辑ppt

数理逻辑课件,关于计算机方面的知识!值得我们看看,如果可以喔继续上传!

2011-10-11
11.57MB
数理逻辑.(美)Herbert.B.Enderton.pdf

数理逻辑.(美)Herbert.B.Enderton.pdf

2015-06-13
3.88MB
数理逻辑导论(罗素著)

有助于提高逻辑的严密性,对于计算机编程也是有一定好处的

2015-05-28
47.99MB
高级数理逻辑

北京邮电大学学硕和专硕的高级数理逻辑课件(学硕是word文档错误较多难度较大)(专硕是ppt比较实用容易理解)

2019-01-02
img
harrysummer

关注 私信 TA的资源

上传资源赚积分,得勋章
相关内容推荐