没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
面向计算机科学的数理逻辑
面向计算机科学的数理逻辑
数理逻辑
4星
· 超过85%的资源
需积分: 41
112 下载量
84 浏览量
2008-04-24
14:46:42
上传
评论
收藏
3.28MB
PDF
举报
温馨提示
立即下载
很经典的一本国内数理逻辑教材。
资源推荐
资源评论
面向计算机科学的数理逻辑课后习题答案_1-5章
浏览:66
5星 · 资源好评率100%
面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题
面向计算机科学的数理逻辑习题答案
浏览:200
4星 · 用户满意度95%
面向计算机科学的数理逻辑习题答案
面向计算机科学的数理逻辑课后答案
浏览:56
4星 · 用户满意度95%
面向计算机科学的数理逻辑课后答案,英文版课后答案 logic
面向计算机科学的数理逻辑第二版-陆钟万 习题答案
浏览:191
5星 · 资源好评率100%
面向计算机科学的数理逻辑第二版-陆钟万 习题答案
面向计算机科学的数理逻辑课后习题答案
浏览:19
4星 · 用户满意度95%
面向计算机科学的数理逻辑课后习题答案,英文版的,不过不用担心,很简单的,只要英语四级过了就没问题!
面向计算机科学的数理逻辑系统建模与推理
浏览:5
4星 · 用户满意度95%
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑 第二版 答案
浏览:32
3星 · 编辑精心推荐
中文,扫描的数理逻辑答案,Pdf 清晰。请大家下载
面向计算机科学的数理逻辑 系统建模与推理(全部) 答案
浏览:175
面向计算机科学的数理逻辑 系统建模与推理 答案(全部) logic in computer science modelling and reasoning about systems solutions
计算机科学的数理逻辑 、系统建模与推理的答案
浏览:121
课程作业,面向计算机科学的数理逻辑 系统建模与推理的答案,针对这个课程,可以进行强化训练
面向计算机科学的数理逻辑(PDF:陆钟万)
浏览:154
5星 · 资源好评率100%
1) PDF格式,带目录 2) 陆中万著,科学出版社
面向计算机科学的数理逻辑:系统建模与推理(英文版)
浏览:167
5星 · 资源好评率100%
面向计算机科学的数理逻辑:系统建模与推理
面向计算机科学的数理逻辑第一章.ppt
浏览:153
面向计算机科学的数理逻辑,是计算机专业必修课,但目前课程资源较少,故上传自己做的,供大家参考
面向计算机的数理逻辑
浏览:149
计算机方面的书,主要是数理逻辑,在数学方面也可以参考。
面向计算机科学的数理逻辑系统与建模1-2章课后习题答案
浏览:26
5星 · 资源好评率100%
面向计算机科学的数理逻辑系统建模与推理1-2章的课后习题答案,答案为英文版,与中文版的课后习题一致,需要者可下载!
面向计算机科学的数理逻辑课后习题答案_1-5章.rar
浏览:27
面向计算机科学的数理逻辑课后习题答案_1-5章.rar
北邮大三上2022年《算法设计与分析》期末试题-A卷
浏览:120
北邮大三上2022年《算法设计与分析》期末试题-A卷-计科专业-5.0
1000套计算机毕业设计带源码
浏览:37
5星 · 资源好评率100%
1000套计算机毕业设计带源码 可直接用带ppt 1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算
计算机毕业设计答辩PPT模板(11套).zip
浏览:63
5星 · 资源好评率100%
计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PPT模板(11套) 计算机毕业设计答辩PP
2019city.zip
浏览:38
5星 · 资源好评率100%
最近因项目需要最新版的五级省、市、区、街镇、居委五级数据, 网上的大多数都是2019年以前的老版数据,2019年全国做过新的行政区划划分,故而有了我这篇资源。 表结构如下: CREATE TABLE `city` ( `id` bigint(20) NOT NULL COMMENT '区划代码', `name` varchar(50) DEFAULT NULL COMMENT '名称',
MATLABSimulink电力系统建模与仿真
浏览:166
4星 · 用户满意度95%
MATLABSimulink电力系统建模与仿真
计算机统考408思维导图xmind
浏览:190
5星 · 资源好评率100%
报考浙大计算机时,自己做的思维导图,包含数学一、英语一、政治、408。内容为重要知识点以及常见、重要题型的思路总结。希望能对考计算机的学弟学妹们有所帮助。
头歌实践教学平台 MIPS流水CPU设计---HUST
浏览:196
5星 · 资源好评率100%
本实验从 MIPS 单周期 CPU 开始逐步构建无冲突冒险的理想指令流水线,能处理分支相关的指令流水线,采用气泡处理数据相关的气泡式流水线,采用重定向解决数据相关的重定向流水线。并最终在 MIPS 五段流水线上实现动态分支预测技术。 第1关:单周期CPU(24条指令).txt 第2关:理想流水线设计.txt 第3关:气泡流水线设计(EX段分支3624版本).txt 第4关:重定向流水线(EX段分
计算机理论问答集锦包括OS、计算机组成原理等课程
浏览:13
适合计算机相关专业面试人群
AAAI2023 会议论文集合(Oral)
浏览:163
AAAI2023 会议论文集合(Oral),包括了论文分类和论文名字,作者列表。共42页
机器学习期末复习题选择题库
浏览:168
5星 · 资源好评率100%
机器学习期末复习题选择题库
计算机保研 / 考研复试面试常问问题
浏览:105
计算机保研 / 考研复试面试常问问题
计算机网络谢希仁第七版课后答案完整版
浏览:64
3星 · 编辑精心推荐
计算机网络谢希仁第七版课后答案完整版
李治军计算机操作系统课件.zip
浏览:28
5星 · 资源好评率100%
李治军计算机操作系统课件.zip
Logisim组成原理实验-存储器实验
浏览:17
3星 · 编辑精心推荐
计算机组成原理存储器实验,包含MIPS RAM、MIPS 寄存器文件、Cache硬件设计(直接相联,全相联,组相联)
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
winston728
2011-10-16
是pdg格式的,需要下载超星阅读器,书很不错,讲解系统清晰
vivianj
2012-08-09
经典的数理逻辑教材,感谢您 的分享,很好
treewater
粉丝: 7
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
test_kong.zip
springboot权限验证学习-下
SeetaFace6人脸质量评估C++代码实现Demo
OCAuxiliaryTools
制药公司QC顶岗实习专题报告
Rust 全面指南:从基础到高级,一网打尽 Rust 的编程知识
stm32f407-dm9161-drv
新沂市健儿乐药店销售专员实习专题报告
基于Django框架开发简单的物联网平台
基于UC3842+LTS26Q1565A设计PC机充电器 硬件(原理图+PCB)工程文件.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功