没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
数理逻辑课件
数理逻辑课件
共5个文件
ppt:5个
数理逻辑课件
需积分: 0
6 下载量
136 浏览量
2012-06-05
21:16:43
上传
评论
收藏
17MB
RAR
举报
温馨提示
立即下载
计算机理论基础,讲的很清楚,证明很详细。
资源详情
资源评论
资源推荐
收起资源包目录
数理逻辑.rar
(5个子文件)
数理逻辑
第1章 命题逻辑的非形式演算
第1章 命题逻辑的非形式演算.ppt
1.96MB
第3章 命题逻辑的形式演算
第3章 命题逻辑的形式演算.ppt
3.8MB
第5章 数学系统与不完全性定理
第5章 数学系统与不完全性定理.ppt
4.91MB
第4章 一阶逻辑的形式演算
第4章 一阶逻辑的形式演算.ppt
7.19MB
第2章 一阶逻辑的非形式演算
第2章 一阶逻辑的非形式演算.ppt
2.96MB
共 5 条
1
评论0
去评论
高级数理逻辑课件PPT
浏览:4
4星 · 用户满意度95%
西交大的课件。不错 很好的 课件哦 有时间看看啊看看阿奎
高级数理逻辑课件下载
浏览:28
5星 · 资源好评率100%
高级数理逻辑课件下载,包含7章内容和绪论,含丰富的例题
数理逻辑教材
浏览:162
3星 · 编辑精心推荐
这是一本有关于数理逻辑的教材。计算机专业背景的朋友都会用到这本书的。
形式化数理逻辑(课件)
浏览:131
形式化数理逻辑(课件)形式化数理逻辑(课件)
哈工大(威海)数理逻辑课件
浏览:72
哈工大(威海)数理逻辑课件、哈工大(威海)数理逻辑课件
哈工大计算机专业数理逻辑课件
浏览:195
这是哈工徐永东老师的课件,数理逻辑,内容挺丰富,挺全的,希望能对大家有点帮助
数理逻辑课件(福州大学)
浏览:101
数理逻辑课件~~~ 对付考试还是相当好用的。。。 有例题。。。
数理逻辑课件,有需要 的 赶快下
浏览:82
数理逻辑课件 非常经典 这是比较详细的了
数理逻辑
浏览:154
GTM 053 - ISBN978-1-4419-0615-1 - Yu. I. Manin - A Course in Mathematical Logic for Mathematicians.
1 数理逻辑.pdf
浏览:189
1 数理逻辑.pdf
数理逻辑基础
浏览:116
数理逻辑课程的入门课件。讲解了数理逻辑这门课程的基础概念。
数理逻辑(新)
浏览:178
4星 · 用户满意度95%
中山大学数理逻辑课后习题答案 无加密 实用 练习 专业 考博
数理逻辑答案
浏览:139
4星 · 用户满意度95%
数理逻辑的课后答案,是王庭芳版的,基本上都有的,大家可以看看
数理逻辑课件 虽然抽象但是讲的很好
浏览:21
很好的数理逻辑课件!让数理逻辑不再抽象,好好看看肯定没问题
高等数理逻辑2018
浏览:144
高等数理逻辑课件,2018复习资料,utf8面向计算机的数理逻辑电子版
离散数学 数理逻辑课件(英文)
浏览:48
4星 · 用户满意度95%
数理逻辑 离散数学入门 课件 英文版 LOGIC MATHEMATICAL REASONING
复旦大学数理逻辑课程课件
浏览:74
4星 · 用户满意度95%
赵老师的数理逻辑课程所用的课件。希望对能对大家的学习有所帮助
高级数理逻辑
浏览:179
5星 · 资源好评率100%
北京邮电大学学硕和专硕的高级数理逻辑课件(学硕是word文档错误较多难度较大)(专硕是ppt比较实用容易理解)
数理逻辑(俞瑞钊)
浏览:141
数理逻辑---讲的非常清楚: 形式系统,命题逻辑,谓词逻辑,归结原理, 还有递归论等内容.
数理逻辑入门
浏览:197
3星 · 编辑精心推荐
数理逻辑入门经典教材,国外教材的经典教材,数理逻辑热门教材
考博数理逻辑
浏览:79
考博数理逻辑 考博数理逻辑 考博数理逻辑
模态逻辑 数理逻辑
浏览:85
4星 · 用户满意度95%
一本详细的关于模态逻辑的书 一本经典的研究计算机科学中的数理逻辑的必读物
数理逻辑答案数理逻辑
浏览:155
4星 · 用户满意度95%
数理逻辑答案,数理逻辑答案,数理逻辑答案,数理逻辑答案
数理逻辑ppt
浏览:30
数理逻辑课件,关于计算机方面的知识!值得我们看看,如果可以喔继续上传!
哈尔滨工业大学-数理逻辑
浏览:179
5星 · 资源好评率100%
哈尔滨工业大学计算机学院数理逻辑课程课件
数理逻辑中离散数学
浏览:122
数理逻辑中离散有关内容~包括基本的真假概念,及与或非操作等
评论
收藏
内容反馈
立即下载
luomumumu
粉丝: 0
资源:
2
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
编译LL1文法预测,编译原理课程设计
机器学习项目实战(内含单机/分布式/深度学习)部署
论文研究 - 使用指数时差方法求解刚性反应扩散方程
Matlab-汽车三自由度 非线性状态微分方程 S函数
OC-YYModel(字符串)
python烟花代码.zip
2024数模.zip
电赛-双向DC-DC变换器(原理图+PCB源文件+源代码+论文)-全国
openmv数字识别之多数字识别 1~8
DETRs Beat YOLOs on Real-time Object Detection组会汇报
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0