没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
面向计算机科学的数理逻辑(PDF:陆钟万)
面向计算机科学的数理逻辑(PDF:陆钟万)
共1个文件
pdf:1个
数理逻辑
5星
· 超过95%的资源
需积分: 49
197 下载量
7 浏览量
2009-10-29
09:00:56
上传
评论
7
收藏
3.07MB
RAR
举报
温馨提示
立即下载
1) PDF格式,带目录 2) 陆中万著,科学出版社
资源推荐
资源详情
资源评论
面向计算机科学的数理逻辑
浏览:174
前言 绪论 第一章 预备知识 第二章 经典命题逻辑 第三章 经典一阶逻辑 第四章 可靠性和完备性 第五章 公理推演系统 第六章 构造性逻辑 第七章 模态命题逻辑 第八章 模态一阶逻辑 附录 自然推演中形式证明的简明形式 参考文献 符号表 名词表
面向计算机的数理逻辑
浏览:108
计算机方面的书,主要是数理逻辑,在数学方面也可以参考。
数理逻辑与机器证明(陆钟万)
浏览:18
5星 · 资源好评率100%
本书介绍数理逻辑在机器证明中的应用,陈述简明扼要,是入门的好书!
面向计算机科学的数理逻辑第二版-陆钟万 习题答案
浏览:24
5星 · 资源好评率100%
面向计算机科学的数理逻辑第二版-陆钟万 习题答案
面向计算机科学的数理逻辑 第二版 答案
浏览:66
3星 · 编辑精心推荐
中文,扫描的数理逻辑答案,Pdf 清晰。请大家下载
数理逻辑PDF国防科大版(考博必读).rar
浏览:65
软件介绍: 国防科大王兵山主编数理逻辑教材,有点看着了,如果想考博可以下载。 逻辑和代数是计算机科学的两大理论基础。数理逻辑各个分支中的许多方面和计算机科学有着密切的联系。本书是作者在多年给硬士研究生讲授《数理逻辑》课程讲义的基础上编写面成的. 本书系统地介绍了逻辑演算,模型论和证明与反驳等数理逻辑的基本内容。全书分为五章,选材时充分考虑了适应逻辑系统的特征和计算机科学的要求
汪芳庭 数理逻辑
浏览:5
3星 · 编辑精心推荐
作者: 汪芳庭 出版社: 中国科学技术大学出版社 出版年: 1990年9月 页数: 273
数理逻辑.(美)Herbert.B.Enderton.pdf
浏览:142
4星 · 用户满意度95%
数理逻辑.(美)Herbert.B.Enderton.pdf
最经典最简约的面向计算机科学的数理逻辑复习笔记.pdf
浏览:79
5星 · 资源好评率100%
最经典最简约的面向计算机科学的数理逻辑复习笔记.pdf
面向计算机科学的数理逻辑第一章.ppt
浏览:2
面向计算机科学的数理逻辑,是计算机专业必修课,但目前课程资源较少,故上传自己做的,供大家参考
数理逻辑.pdf 数理逻辑图文版
浏览:101
数理逻辑简要版,图文并茂,容易理解
面向计算机科学的数理逻辑 系统建模与推理(全部) 答案
浏览:55
面向计算机科学的数理逻辑 系统建模与推理 答案(全部) logic in computer science modelling and reasoning about systems solutions
计算机科学的数理逻辑 、系统建模与推理的答案
浏览:198
课程作业,面向计算机科学的数理逻辑 系统建模与推理的答案,针对这个课程,可以进行强化训练
莫绍揆 数理逻辑初步.pdf
浏览:70
莫绍揆,数理逻辑初步,数理逻辑通俗教材,数理逻辑通俗教材。
数理逻辑习题答案(第二版)
浏览:3
3星 · 编辑精心推荐
数理逻辑部分习题答案:内容包括命题逻辑、一阶逻辑、集合及其运算、等部分的定义、定理、习题与解答
一个很好的数理逻辑教程ppt
浏览:190
4星 · 用户满意度95%
逻辑学( logic ) 是一门研究思维形式及思维规律的科学。数理逻辑(mathematical logic)是用数学的方法来研究人类推理过程的一门数学学科。其显著特征是符号化和形式化,即把逻辑所涉及的“概念、判断、推理”用符号来表示,用公理体系来刻划, 并基于符号串形式的演算来描述推理过程的一般规律。 数理逻辑又称符号逻辑、现代逻辑。
数理逻辑导论(罗素著)
浏览:149
有助于提高逻辑的严密性,对于计算机编程也是有一定好处的
北京大学数理逻辑
浏览:192
4星 · 用户满意度95%
北京大学数理逻辑,讲述了数理逻辑的相关内容,希望对你的学习有帮助。
面向计算机科学的数理逻辑课后习题答案
浏览:76
4星 · 用户满意度95%
面向计算机科学的数理逻辑课后习题答案,英文版的,不过不用担心,很简单的,只要英语四级过了就没问题!
面向计算机科学的数理逻辑系统建模与推理
浏览:27
4星 · 用户满意度95%
面向计算机科学的数理逻辑系统建模与推理
计算机科学中的现代逻辑学王元元
浏览:19
3星 · 编辑精心推荐
计算机科学中的现代逻辑学王元元,适合研究生博士生学习
python大作业 含爬虫、数据可视化、地图、报告、及源码(整和为一个文件)(2014-2020全国各地区原油加工量).rar
浏览:173
5星 · 资源好评率100%
(含源码及报告)本程序分析了自2014年到2020年每年我国原油加工的产量,并且分析了2019年全国各地区原油加工量,含饼状图,柱状图,折线图,数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持,如果缺少某库请自行安装后再运行。文件含2个excel表,4个csv文件以及一个名字为render的html文件(需要用浏览器打
仿真电路以及操作方法
浏览:164
5星 · 资源好评率100%
用一片通用四运放芯片LM324组成电路,实现以下功能:用低频信号源产生ui1=0.1sin2πft(V),f=500Hz的正弦波信号,加至加法器的输入端,加法器的另输入端加入有自制振荡器产生的信号uo1。要求加法器的输出电压ui2=10 ui1+ uo1。ui2经选频滤波器滤除uo1频率分量,选出f信号为uo2,uo2为峰峰值等于9V的正弦信号。uo2信号经比较器后在1KΩ负载上得到峰峰值2V的输
【纯干货啊】华为IPD流程管理(完整版).pptx
浏览:72
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细,很适合给新是的实习生做培训用!是我一直在用的流程管理,很适合学习与交流。
收起资源包目录
.rar
(1个子文件)
面向计算机科学的数理逻辑.pdf
3.29MB
共 1 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
yangy801017
2013-12-18
陆老师的大作,很好
xingwuhen1230
2013-11-25
扫描版的,清晰度一般,能凑活着看清楚
wdan81
2013-09-09
还可以,扫描版的,不错。
stamp80
2012-02-28
还可以,扫描的,不是非常清楚,凑合着能看。
princool
2018-01-24
很好,谢谢分享
1
2
3
4
前往
页
dwlitt
粉丝: 3
资源:
13
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
test二叉树.c
信息化教学设计方案编写格式.doc
信息化项目建设方案书-.doc
信息化项目施工方案.doc
信息化项目申报和实施管理办法.doc
信息化项目规程流程图-PPT.ppt
信息化项目验收流程.doc
信息化项目验收规范.doc
信息化项目验收规范方案.doc
信息系统软件开发流程管理规范-初稿.doc
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
- 1
- 2
- 3
- 4
前往页