没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
数理逻辑（王捍贫编著）
数理逻辑（王捍贫编著）
数理逻辑
5星
· 超过95%的资源
需积分: 16
64 下载量
178 浏览量
2010-11-26
14:50:42
上传
评论
2
收藏
3.43MB
PDF
举报
温馨提示
立即下载
这是王老师编写的数理逻辑，适合计算机专业人员学习，市面上已经缺货，学习数理逻辑的读者可以参考。
资源推荐
资源评论
北京大学数理逻辑_王捍贫
浏览：183
北京大学王捍贫老师2012-2013年的数理逻辑上课讲义，网络上有配套的视频
北京大学数理逻辑
浏览：188
4星 · 用户满意度95%
北京大学数理逻辑，讲述了数理逻辑的相关内容，希望对你的学习有帮助。
离散数学 第一分册：数理逻辑
浏览：42
这是去屈婉玲版离散数学三分册之一的:离散数学 第一分册：数理逻辑
计算机网络技术（国防科大教材课件）
浏览：101
计算机网络技术 （国防科大教材）
一个很好的数理逻辑教程ppt
浏览：130
4星 · 用户满意度95%
逻辑学（ logic ） 是一门研究思维形式及思维规律的科学。数理逻辑（mathematical logic)是用数学的方法来研究人类推理过程的一门数学学科。其显著特征是符号化和形式化，即把逻辑所涉及的“概念、判断、推理”用符号来表示，用公理体系来刻划, 并基于符号串形式的演算来描述推理过程的一般规律。 数理逻辑又称符号逻辑、现代逻辑。
数理逻辑引论-王宪均
浏览：192
王老师的经典之作，可以认真研读，尤其是关于独立性的证明，对数理逻辑的发展有清晰的解释
数理逻辑，王兵山，国防科技大学
浏览：32
国防科技大学，数理逻辑，考研考博用，电商网站都没这本书了。
离散数学一——数理逻辑
浏览：125
5星 · 资源好评率100%
北京大学离散数学教材 数理逻辑部分 王捍贫
数理逻辑答案数理逻辑
浏览：109
4星 · 用户满意度95%
数理逻辑答案，数理逻辑答案，数理逻辑答案，数理逻辑答案
面向计算机科学的数理逻辑课后习题答案_1-5章
浏览：101
5星 · 资源好评率100%
面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题...
数理逻辑PDF国防科大版(考博必读).rar
浏览：72
本书系统地介绍了逻辑演算，模型论和证明与反驳等数理逻辑的基本内容。全书分为五章，选材时充分考虑了适应逻辑系统的特征和计算机科学的要求_第一章介绍了形式系统的定义，结构及基本概念。第二章介绍了命题逻辑...
数理逻辑讲义(周晓聪)
浏览：154
5星 · 资源好评率100%
中山大学知名教授的讲义。...帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。
王浩.数理逻辑通俗讲话
浏览：89
5星 · 资源好评率100%
王浩.数理逻辑通俗讲话 王浩.数理逻辑通俗讲话
哈工大数理逻辑课后答案
浏览：146
哈工大数理逻辑的课后答案，帮助学习学妹完成作业哦，仅供参考。 哈工大数理逻辑的课后答案，帮助学习学妹完成作业哦，仅供参考。
数理逻辑习题答案（第二版）
浏览：132
3星 · 编辑精心推荐
数理逻辑部分习题答案：内容包括命题逻辑、一阶逻辑、集合及其运算、等部分的定义、定理、习题与解答
莫绍揆 数理逻辑初步.pdf
浏览：144
莫绍揆，数理逻辑初步，数理逻辑通俗教材，数理逻辑通俗教材。
数理逻辑基础
浏览：27
4星 · 用户满意度95%
数理逻辑基础 数理逻辑基础 数理逻辑基础
数理逻辑.pdf 数理逻辑图文版
浏览：181
数理逻辑简要版，图文并茂，容易理解
面向计算机科学的数理逻辑 第二版 答案
浏览：165
3星 · 编辑精心推荐
中文，扫描的数理逻辑答案，Pdf 清晰。请大家下载
中大数理逻辑教案-不错的数理逻辑教案
浏览：140
5星 · 资源好评率100%
中大数理逻辑教案-不错的数理逻辑教案。。
中科院数理逻辑作业
浏览：71
4星 · 用户满意度95%
这是中国科学院大学（简称：国科大）数理逻辑与程序理论课程的平时作业与答案
面向计算机科学的数理逻辑课后习题答案
浏览：41
4星 · 用户满意度95%
面向计算机科学的数理逻辑课后习题答案，英文版的，不过不用担心，很简单的，只要英语四级过了就没问题！
python大作业 含爬虫、数据可视化、地图、报告、及源码（整和为一个文件）（2014-2020全国各地区原油加工量）.rar
浏览：12
5星 · 资源好评率100%
（含源码及报告）本程序分析了自2014年到2020年每年我国原油加工的产量，并且分析了2019年全国各地区原油加工量，含饼状图，柱状图，折线图，数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运行。文件含2个excel表，4个csv文件以及一个名字为render的html文件（需要用浏览器打
仿真电路以及操作方法
浏览：9
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
浏览：152
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细，很适合给新是的实习生做培训用！是我一直在用的流程管理，很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览：195
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
OFDM完整仿真过程与教程.zip
浏览：96
5星 · 资源好评率100%
辛苦写了关于OFDM的详细仿真，从产生信息流到最终解调，包含星座图，误码率图。包括了相关技术的详细解释，（信道编码，扩频，导频，信道估计等）。注：本段程序不包括射频传输部分，即载波调制，基带调制为QPSK。具体的教程可以参考我的相关文章。
信号与系统——保研复习资料.pdf
浏览：127
本文档为本人保研复习过程中撰写的信号与系统复习文档，参考书籍为吴大正老师主编的信号与线性系统分析（第四版），全文共43页，包含以下内容： 一、信号与系统（绪论） 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题（保研）
Landsat_WRS2.zip
浏览：134
5星 · 资源好评率100%
本资源为WRS2全球条带号分幅情况SHP文件。WRS，即Worldwide Reference System，是Landsat系列卫星全球影像标记符号系统，用以区分全球各区域对应的Landsat系列卫星影像编号；其用“Path”与“Row”两个数值确定影像的编号与位置。其中，Landsat 1、2、3卫星对应编号系统为WRS-1，Landsat 4、5、7、8卫星对应编号系统为WRS-2。WRS-
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
不会游的小鱼
2013-10-14
比较好的书籍
星尘-世尘
2013-07-09
非常好的书，正在研究数理逻辑，真是所需的，多谢！
gwangbo
2012-06-24
是王老师的第一分册，非常好
carlvenzhou
粉丝: 0
资源:
3
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
华奥汽车销售集团网源码.rar
2020安装.zip
基于java的企业门户网站源码
Qt/opencv 二维码视频解析读取程序
libADLMIDI1-1.5.1-bp155.1.7.aarch64.rpm
pytorch transformer notebook 源代码
基于python和resnet50的垃圾分类识别项目源码+全部数据.zip
C语言进阶学习资料，关于预处理，文件处理，结构体，位移运算的学习 大学生期末复习资料，程序设计课程复习资料
c++少儿编程专业教师使用资料
box1234567890
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
