没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
数理逻辑(俞瑞钊)
数理逻辑(俞瑞钊)
数理逻辑
人工智能
需积分: 9
13 下载量
23 浏览量
2013-09-16
22:02:59
上传
评论
1
收藏
8.64MB
PDF
举报
温馨提示
立即下载
数理逻辑---讲的非常清楚: 形式系统,命题逻辑,谓词逻辑,归结原理, 还有递归论等内容.
资源推荐
资源评论
哈尔滨工业大学-数理逻辑
浏览:162
5星 · 资源好评率100%
哈尔滨工业大学计算机学院数理逻辑课程课件
哈工大(威海)数理逻辑课件
浏览:97
哈工大(威海)数理逻辑课件、哈工大(威海)数理逻辑课件
数理逻辑.(美)Herbert.B.Enderton.pdf
浏览:51
4星 · 用户满意度95%
数理逻辑.(美)Herbert.B.Enderton.pdf
莫绍揆 数理逻辑初步.pdf
浏览:32
莫绍揆,数理逻辑初步,数理逻辑通俗教材,数理逻辑通俗教材。
高级数理逻辑试卷参考答案-附件资源
浏览:127
高级数理逻辑试卷参考答案-附件资源
哈工大数理逻辑课后答案
浏览:18
哈工大数理逻辑的课后答案,帮助学习学妹完成作业哦,仅供参考。 哈工大数理逻辑的课后答案,帮助学习学妹完成作业哦,仅供参考。
[数理逻辑].(美)Herbert.B.Enderton.清晰版.djvu
浏览:171
5星 · 资源好评率100%
数理逻辑在计算机科学中起着奠基作用。这本数理逻辑教材以可读性强而著称,在美国大学中采用率很高,是数理逻辑方面的经典教材之一。
数理逻辑
浏览:117
GTM 053 - ISBN978-1-4419-0615-1 - Yu. I. Manin - A Course in Mathematical Logic for Mathematicians.
数理逻辑教材
浏览:8
3星 · 编辑精心推荐
这是一本有关于数理逻辑的教材。计算机专业背景的朋友都会用到这本书的。
数理逻辑专著
浏览:80
推荐国防工业出版社2015年专著《证明方法与理论》。是计算机基础理论类的。涉及计算机原理、定理自动证明等。
数理逻辑教程
浏览:20
springer出版的S.M. Srivastava的数理逻辑中级教程,比较简明扼要。适合初中级的读者阅读。
数理逻辑基础
浏览:175
数理逻辑课程的入门课件。讲解了数理逻辑这门课程的基础概念。
数理逻辑(中文版 H.B.Enderton)
浏览:66
5星 · 资源好评率100%
数理逻辑(中文版 H.B.Enderton)是翻译的H.B.Enderton的英文原著。
哈尔滨工业大学(深圳)2019年数理逻辑试卷答案
浏览:125
哈尔滨工业大学(深圳)2019年数理逻辑试卷答案,试卷在本人上传的另一个文件中,有需要的小伙伴可以下载进行学习
数理逻辑答案数理逻辑
浏览:144
4星 · 用户满意度95%
数理逻辑答案,数理逻辑答案,数理逻辑答案,数理逻辑答案
哈工大数理逻辑历年考试题
浏览:82
3星 · 编辑精心推荐
哈工大数理逻辑的历年考试题,一共三套,提供给学弟学妹们复习使用。
数理逻辑习题答案(第二版)
浏览:136
3星 · 编辑精心推荐
数理逻辑部分习题答案:内容包括命题逻辑、一阶逻辑、集合及其运算、等部分的定义、定理、习题与解答
数理逻辑答案
浏览:12
本文挡是关于计算机科学专业的,一本数理逻辑的部分课后答案
数理逻辑入门
浏览:200
3星 · 编辑精心推荐
数理逻辑入门经典教材,国外教材的经典教材,数理逻辑热门教材
数理逻辑(新)
浏览:111
4星 · 用户满意度95%
中山大学数理逻辑课后习题答案 无加密 实用 练习 专业 考博
哈工大数理逻辑2006-2007试卷A+答案
浏览:66
3星 · 编辑精心推荐
哈工大数理逻辑2006-2007试卷A+答案
北京大学数理逻辑
浏览:57
4星 · 用户满意度95%
北京大学数理逻辑,讲述了数理逻辑的相关内容,希望对你的学习有帮助。
1 数理逻辑.pdf
浏览:63
1 数理逻辑.pdf
考博数理逻辑
浏览:26
考博数理逻辑 考博数理逻辑 考博数理逻辑
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
work-u012150552
粉丝: 0
资源:
2
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
51单片机输出PWM波,可调频率、占空比
fclqdq_247006.apk
蓝桥杯python真题解析
stm32单片机调试can总线上位机软件
YOLOv5水下目标检测权重+数据集+ptqt界面
基于qt和C++的ROS人机交互界面源码+运行使用说明+效果图.zip
STM32F407(HAL库)移植modbus从机rs232通信携带freerots系统
STM32F407(HAL库)移植modbus从机rs485通信携带freerots系统
yolov5垃圾检测+检测模型+标注好的数据集+pyqt界面
YOLOv5水下垃圾检测+训练好的模型+标注好的数据集+pyqt可视化界面
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功