没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
讲义
计算机专业使用 数理逻辑莫绍揆
计算机专业使用 数理逻辑莫绍揆
数理逻辑
需积分: 9
12 下载量
145 浏览量
2016-07-12
21:05:52
上传
评论
1
收藏
3.38MB
PDF
举报
温馨提示
立即下载
数理逻辑pdf(计算机专业适用) 经典中文离散数学图书 莫绍揆先生写的
资源推荐
资源评论
(莫绍揆)数理逻辑教程
浏览:44
(莫绍揆)数理逻辑教程
莫绍揆 数理逻辑初步.pdf
浏览:33
莫绍揆,数理逻辑初步,数理逻辑通俗教材,数理逻辑通俗教材。
王浩.数理逻辑通俗讲话
浏览:2
5星 · 资源好评率100%
王浩.数理逻辑通俗讲话 王浩.数理逻辑通俗讲话
面向计算机科学的数理逻辑课后习题答案_1-5章
浏览:25
5星 · 资源好评率100%
面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题...
莫绍揆著作
浏览:17
莫绍揆所著一系列涉及计算理论基础、数理逻辑方面的经典著作,包括递归函数论、递归论、可计算性理论、算法论、数理逻辑等
面向计算机科学的数理逻辑课后习题答案
浏览:194
4星 · 用户满意度95%
面向计算机科学的数理逻辑课后习题答案,英文版的,不过不用担心,很简单的,只要英语四级过了就没问题!
面向计算机科学的数理逻辑 第二版 答案
浏览:138
3星 · 编辑精心推荐
中文,扫描的数理逻辑答案,Pdf 清晰。请大家下载
面向计算机科学的数理逻辑系统建模与推理
浏览:11
4星 · 用户满意度95%
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑第二版-陆钟万 习题答案
浏览:98
5星 · 资源好评率100%
面向计算机科学的数理逻辑第二版-陆钟万 习题答案
计算机科学的数理逻辑 、系统建模与推理的答案
浏览:181
课程作业,面向计算机科学的数理逻辑 系统建模与推理的答案,针对这个课程,可以进行强化训练
面向计算机科学的数理逻辑
浏览:129
面向计算机科学的数理逻辑(第二版)-陆钟万(1).pdf
《递归函数论》作者 : 罗莎·培特 译者 : 莫绍揆 出版时间 : 1958年
浏览:171
《递归函数论》作者 : 罗莎·培特 译者 : 莫绍揆 出版时间 : 1958年 莫绍揆1917年8月13日诞生于广西桂平县,南京大学教授,广西桂平人。1939年毕业于中央大学教学系。曾在中央大学、中山大学任教。 1947年起,先后在...
面向计算机科学的数理逻辑习题答案
浏览:117
4星 · 用户满意度95%
面向计算机科学的数理逻辑习题答案
面向计算机科学的数理逻辑 系统建模与推理(全部) 答案
浏览:157
面向计算机科学的数理逻辑 系统建模与推理 答案(全部) logic in computer science modelling and reasoning about systems solutions
面向计算机科学的数理逻辑课后答案
浏览:4
4星 · 用户满意度95%
面向计算机科学的数理逻辑课后答案,英文版课后答案 logic
哈工大计算机专业数理逻辑课件
浏览:170
这是哈工徐永东老师的课件,数理逻辑,内容挺丰富,挺全的,希望能对大家有点帮助
数理逻辑答案数理逻辑
浏览:97
4星 · 用户满意度95%
数理逻辑答案,数理逻辑答案,数理逻辑答案,数理逻辑答案
面向计算机科学的数理逻辑(PDF:陆钟万)
浏览:66
5星 · 资源好评率100%
1) PDF格式,带目录 2) 陆中万著,科学出版社
面向计算机科学的数理逻辑:系统建模与推理(英文版)
浏览:142
5星 · 资源好评率100%
面向计算机科学的数理逻辑:系统建模与推理
北邮大三上2022年《算法设计与分析》期末试题-A卷
浏览:77
北邮大三上2022年《算法设计与分析》期末试题-A卷-计科专业-5.0
2019city.zip
浏览:70
5星 · 资源好评率100%
最近因项目需要最新版的五级省、市、区、街镇、居委五级数据, 网上的大多数都是2019年以前的老版数据,2019年全国做过新的行政区划划分,故而有了我这篇资源。 表结构如下: CREATE TABLE `city` ( `id` bigint(20) NOT NULL COMMENT '区划代码', `name` varchar(50) DEFAULT NULL COMMENT '名称',
计算机毕业设计答辩PPT模板(11套).zip
浏览:83
5星 · 资源好评率100%
计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PP
1000套计算机毕业设计带源码
浏览:140
5星 · 资源好评率100%
1000套计算机毕业设计带源码 可直接用带ppt 1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算
MATLABSimulink电力系统建模与仿真
浏览:108
4星 · 用户满意度95%
MATLABSimulink电力系统建模与仿真
计算机统考408思维导图xmind
浏览:175
5星 · 资源好评率100%
报考浙大计算机时,自己做的思维导图,包含数学一、英语一、政治、408。内容为重要知识点以及常见、重要题型的思路总结。希望能对考计算机的学弟学妹们有所帮助。
头歌实践教学平台 MIPS流水CPU设计---HUST
浏览:26
5星 · 资源好评率100%
本实验从 MIPS 单周期 CPU 开始逐步构建无冲突冒险的理想指令流水线,能处理分支相关的指令流水线,采用气泡处理数据相关的气泡式流水线,采用重定向解决数据相关的重定向流水线。并最终在 MIPS 五段流水线上实现动态分支预测技术。 第1关:单周期CPU(24条指令).txt 第2关:理想流水线设计.txt 第3关:气泡流水线设计(EX段分支3624版本).txt 第4关:重定向流水线(EX段分
计算机绘图大作业(有答案)
浏览:6
计算机绘图大作业(有答案)
计算机理论问答集锦包括OS、计算机组成原理等课程
浏览:62
适合计算机相关专业面试人群
AAAI2023 会议论文集合(Oral)
浏览:133
AAAI2023 会议论文集合(Oral),包括了论文分类和论文名字,作者列表。共42页
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
ttd0218
粉丝: 1
资源:
6
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
算法部署-使用OpenVINO+ONNX部署人脸关键点检测算法-支持68点+39点landmark-项目源码-优质项目分享
olap4j-0.9.7.309-JS-3.jar
自动增加HEX文件中的时间戳,使用CANboot刷写
matlab ISP仿真代码.zip
C# 读取image中的文字
制作启动U盘 PE 纯绿色无捆绑
安卓自定义动态折线(填充)图
利用python进行遥感影像数据压缩
《软件测试训练营》学习笔记-举例注册测试用例
机器学习预测.rar机器学习预测.rar机器学习预测.rar
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功