没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
讲义
数理逻辑.H.B.Enderton 中文版
数理逻辑.H.B.Enderton 中文版
logic
需积分: 47
22 下载量
89 浏览量
2019-05-27
22:22:12
上传
评论
收藏
11.67MB
PDF
举报
温馨提示
立即下载
数理逻辑.H.B.Enderton 中文版
资源推荐
资源评论
数理逻辑(中文版 H.B.Enderton)
浏览:131
5星 · 资源好评率100%
数理逻辑(中文版 H.B.Enderton)是翻译的H.B.Enderton的英文原著。
数理逻辑 Herbert.B.Enderton
浏览:140
该书以可读性强而著称, 在美国大学中采用率很高, 是数理逻辑方面的经典教材之一
数理逻辑(Herbert.B.Enderton)
浏览:112
5星 · 资源好评率100%
数理逻辑的经典教材, 经过OCR处理部清晰版.
enderton中英文混合版数理逻辑
浏览:98
命题逻辑、一阶逻辑、形式证明、一阶语言的结构与真值理论。
[数理逻辑].(美)Herbert.B.Enderton.清晰版.djvu
浏览:110
5星 · 资源好评率100%
数理逻辑在计算机科学中起着奠基作用。这本数理逻辑教材以可读性强而著称,在美国大学中采用率很高,是数理逻辑方面的经典教材之一。
数理逻辑.(美)Herbert.B.Enderton.pdf
浏览:42
4星 · 用户满意度95%
数理逻辑.(美)Herbert.B.Enderton.pdf
数理逻辑习题答案(第二版)
浏览:144
3星 · 编辑精心推荐
数理逻辑部分习题答案:内容包括命题逻辑、一阶逻辑、集合及其运算、等部分的定义、定理、习题与解答
数理逻辑PDF国防科大版(考博必读).rar
浏览:119
软件介绍: 国防科大王兵山主编数理逻辑教材,有点看着了,如果想考博可以下载。 逻辑和代数是计算机科学的两大理论基础。数理逻辑各个分支中的许多方面和计算机科学有着密切的联系。本书是作者在多年给硬士研究生讲授《数理逻辑》课程讲义的基础上编写面成的. 本书系统地介绍了逻辑演算,模型论和证明与反驳等数理逻辑的基本内容。全书分为五章,选材时充分考虑了适应逻辑系统的特征和计算机科学的要求
Logic for mathematicians
浏览:23
5星 · 资源好评率100%
稀缺资源,hamilton:数理逻辑
数学家的逻辑-hamilton
浏览:144
5星 · 资源好评率100%
数学家的逻辑-hamilton, 老版经典
可计算性与数理逻辑(第四版)(中文版)
浏览:14
5星 · 资源好评率100%
可计算性与数理逻辑(第四版)(中文版) 这是一本计算机科学领域很重要的一本书,讲解可计算性和数理逻辑方面的深入的内容。
数理逻辑.emmx思维导图
浏览:159
数理逻辑.emmx思维导图
数理逻辑.pdf 数理逻辑图文版
浏览:144
数理逻辑简要版,图文并茂,容易理解
1 数理逻辑.pdf
浏览:29
1 数理逻辑.pdf
离散数学:第一部分数理逻辑.emmx
浏览:77
离散数学:第一部分数理逻辑.emmx
王浩.数理逻辑通俗讲话
浏览:196
5星 · 资源好评率100%
王浩.数理逻辑通俗讲话 王浩.数理逻辑通俗讲话
汪芳庭 数理逻辑
浏览:120
3星 · 编辑精心推荐
作者: 汪芳庭 出版社: 中国科学技术大学出版社 出版年: 1990年9月 页数: 273
北京大学数理逻辑
浏览:115
4星 · 用户满意度95%
北京大学数理逻辑,讲述了数理逻辑的相关内容,希望对你的学习有帮助。
数理逻辑 汪芳庭 XPS文档(可用IE直接打开)
浏览:36
5星 · 资源好评率100%
国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。 下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。
高级数理逻辑
浏览:150
5星 · 资源好评率100%
北京邮电大学学硕和专硕的高级数理逻辑课件(学硕是word文档错误较多难度较大)(专硕是ppt比较实用容易理解)
数理逻辑讲义(周晓聪)
浏览:92
5星 · 资源好评率100%
中山大学知名教授的讲义。...帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。
数理逻辑答案数理逻辑
浏览:169
4星 · 用户满意度95%
数理逻辑答案,数理逻辑答案,数理逻辑答案,数理逻辑答案
莫绍揆 数理逻辑初步.pdf
浏览:91
莫绍揆,数理逻辑初步,数理逻辑通俗教材,数理逻辑通俗教材。
面向科学的数理逻辑
浏览:4
这是中科院研究生院开展数理逻辑所使用的课本。讲解数理逻辑中的基础知识,很有参考价值。
面向计算机科学的数理逻辑课后习题答案_1-5章
浏览:160
5星 · 资源好评率100%
面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题...
数理逻辑与集合论第二版·
浏览:7
4星 · 用户满意度95%
清华出的 数理逻辑与集合论,计算机专业研究生基础课。这本很精简,不错。
GTM037.Mathematical.Logic,.Monk.(数理逻辑)(1).djvu
浏览:76
GTM037.Mathematical.Logic,.Monk.(数理逻辑)(1)
(025200)专业学位研究生培养方案---上海师范大学数理学院.docx
浏览:26
(025200)专业学位研究生培养方案---上海师范大学数理学院.docx(025200)专业学位研究生培养方案---上海师范大学数理学院.docx(025200)专业学位研究生培养方案---上海师范大学数理学院.docx(025200)专业学位研究生培养...
【数学】数理逻辑(第二版,H._B.djvu
浏览:23
5星 · 资源好评率100%
美国普遍采用的数理逻辑
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
osakaanarg
粉丝: 30
资源:
474
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
main函数的加载过程
动态库加载一张图概括所有
筷手引流工具.apk
Android studio音乐播放器
论文(最终)_20240430235101.pdf
基于python编写的Keras深度学习框架开发,利用卷积神经网络CNN,快速识别图片并进行分类
基于Python 的 BP神经网络实现不同直径圆的分类
旅游网站设计源码.zip
最全空间计量实证方法(空间杜宾模型和检验以及结果解释文档).txt
5uonly.apk
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功