没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
讲义
数理逻辑.(美)Herbert.B.Enderton.pdf
数理逻辑.(美)Herbert.B.Enderton.pdf
数理逻辑
4星
· 超过85%的资源
需积分: 47
145 下载量
183 浏览量
2015-06-13
09:48:38
上传
评论
2
收藏
11.57MB
PDF
举报
温馨提示
立即下载
开通VIP（低至0.43/天）
买1年送3月
数理逻辑.(美)Herbert.B.Enderton.pdf
资源推荐
资源评论
数理逻辑 Herbert.B.Enderton
浏览：31
该书以可读性强而著称， 在美国大学中采用率很高， 是数理逻辑方面的经典教材之一
[数理逻辑].(美)Herbert.B.Enderton.清晰版.djvu
浏览：62
5星 · 资源好评率100%
数理逻辑在计算机科学中起着奠基作用。这本数理逻辑教材以可读性强而著称，在美国大学中采用率很高，是数理逻辑方面的经典教材之一。
数学家的逻辑
浏览：152
5星 · 资源好评率100%
详细介绍了数理逻辑与集合论的相关知识，是一个很好的参考资料，能够培养个人的逻辑意识，使自己的思想更具有逻辑条理性
数理逻辑.H.B.Enderton 中文版
浏览：46
数理逻辑.H.B.Enderton 中文版
数理逻辑.pdf 数理逻辑图文版
浏览：150
数理逻辑简要版，图文并茂，容易理解
符号逻辑资料
浏览：182
符号逻辑学经典资料，数学计算机相关资料，基础书籍，共计算机相关人员阅读
汪芳庭 数理逻辑
浏览：40
3星 · 编辑精心推荐
作者: 汪芳庭 出版社: 中国科学技术大学出版社 出版年: 1990年9月 页数: 273
数理逻辑习题答案（第二版）
浏览：115
3星 · 编辑精心推荐
数理逻辑部分习题答案：内容包括命题逻辑、一阶逻辑、集合及其运算、等部分的定义、定理、习题与解答
北京大学数理逻辑
浏览：100
4星 · 用户满意度95%
北京大学数理逻辑，讲述了数理逻辑的相关内容，希望对你的学习有帮助。
数理逻辑（中文版 H.B.Enderton）
浏览：165
5星 · 资源好评率100%
数理逻辑（中文版 H.B.Enderton）是翻译的H.B.Enderton的英文原著。
数理逻辑基础
浏览：199
4星 · 用户满意度95%
数理逻辑基础 数理逻辑基础 数理逻辑基础
数理逻辑讲义 电子版 通俗易懂
浏览：75
4星 · 用户满意度95%
数理逻辑讲义，较为通俗。适合入门，很好的入门教材。 适合入门，很好的入门教材。
数理逻辑PDF国防科大版(考博必读).rar
浏览：61
软件介绍: 国防科大王兵山主编数理逻辑教材，有点看着了，如果想考博可以下载。 逻辑和代数是计算机科学的两大理论基础。数理逻辑各个分支中的许多方面和计算机科学有着密切的联系。本书是作者在多年给硬士研究生讲授《数理逻辑》课程讲义的基础上编写面成的． 本书系统地介绍了逻辑演算，模型论和证明与反驳等数理逻辑的基本内容。全书分为五章，选材时充分考虑了适应逻辑系统的特征和计算机科学的要求
面向科学的数理逻辑
浏览：150
这是中科院研究生院开展数理逻辑所使用的课本。讲解数理逻辑中的基础知识，很有参考价值。
数理逻辑 汪芳庭 XPS文档（可用IE直接打开）
浏览：89
5星 · 资源好评率100%
国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。 下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。
面向计算机科学的数理逻辑(PDF:陆钟万)
浏览：14
5星 · 资源好评率100%
1) PDF格式，带目录 2) 陆中万著，科学出版社
数理逻辑导论(罗素著)
浏览：42
有助于提高逻辑的严密性，对于计算机编程也是有一定好处的
逻辑学基础讲义
浏览：201
逻辑学教材
数理逻辑讲义附件.
浏览：34
数理逻辑讲义附件
一个很好的数理逻辑教程ppt
浏览：78
4星 · 用户满意度95%
逻辑学（ logic ） 是一门研究思维形式及思维规律的科学。数理逻辑（mathematical logic)是用数学的方法来研究人类推理过程的一门数学学科。其显著特征是符号化和形式化，即把逻辑所涉及的“概念、判断、推理”用符号来表示，用公理体系来刻划, 并基于符号串形式的演算来描述推理过程的一般规律。 数理逻辑又称符号逻辑、现代逻辑。
（莫绍揆）数理逻辑教程
浏览：81
（莫绍揆）数理逻辑教程
高级数理逻辑
浏览：55
5星 · 资源好评率100%
北京邮电大学学硕和专硕的高级数理逻辑课件（学硕是word文档错误较多难度较大）（专硕是ppt比较实用容易理解）
莫绍揆 数理逻辑初步.pdf
浏览：163
莫绍揆，数理逻辑初步，数理逻辑通俗教材，数理逻辑通俗教材。
哈尔滨工业大学-数理逻辑
浏览：11
5星 · 资源好评率100%
哈尔滨工业大学计算机学院数理逻辑课程课件
中科院数理逻辑作业
浏览：20
4星 · 用户满意度95%
这是中国科学院大学（简称：国科大）数理逻辑与程序理论课程的平时作业与答案
Vector Davinci官方帮助配置使用手册（AutoSAR）.pdf
浏览：172
5星 · 资源好评率100%
Vector官方帮助文档，配置使用手册。从新建DaVinci工程开始一步一步的讲解如何配置工程；如何编译生成C代码；如何导入CDD、DBC等文件。手册讲解细致，可以说是手把手教学了
c++入门，核心，提高讲义笔记
浏览：177
5星 · 资源好评率100%
最详细的c++入门，核心，提高讲义笔记，看会成为大佬没问题，下载后有疑问请私信。
数字图像处理 冈萨雷斯 课后习题
浏览：122
数字图像处理 冈萨雷斯 第三版 课后习题。 免费下，没积分的朋友们，免费下。 百度文库网页链接转出来的，清晰，内容可能不太全，没积分的朋友们将就看吧。
评论
收藏
内容反馈
立即下载
开通VIP（低至0.43/天）
买1年送3月
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
灵曦2016
2019-09-24
有点晦涩难道，学习学习
smk108
粉丝: 79
资源:
2
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
用Excel表体验梯度下降法,附带标识版本
用Excel表体验梯度下降法,附带标识版本
用Excel表体验梯度下降法
GZ036 区块链技术应用赛项赛题第1套附件.zip
typora免费正版安装包
1_烽火HG680-KA-mv310(四川湖北湖南新疆河北山东甘肃等）免拆固件.zip
install_dmt.apk
量化交易-RSI策略（vectorbt实现）
Java答题期末考试必须考
组播报文转发原理的及图解实例
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
