没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
讲义
计算机科学中的数理逻辑
计算机科学中的数理逻辑
逻辑，计算机
需积分: 42
4 下载量
45 浏览量
2014-12-02
15:55:36
上传
评论
收藏
2.13MB
PDF
举报
温馨提示
立即下载
是计算机软件与理论方向的一本经典教材，书中对计算机科学中所涉及的数理逻辑知识有详细和深入的介绍。
资源推荐
资源评论
计算机科学的数理逻辑 、系统建模与推理的答案
浏览：115
课程作业，面向计算机科学的数理逻辑 系统建模与推理的答案，针对这个课程，可以进行强化训练
面向计算机科学的数理逻辑习题答案
浏览：8
4星 · 用户满意度95%
面向计算机科学的数理逻辑习题答案
面向计算机科学的数理逻辑系统与建模1-2章课后习题答案
浏览：50
5星 · 资源好评率100%
面向计算机科学的数理逻辑系统建模与推理1-2章的课后习题答案，答案为英文版，与中文版的课后习题一致，需要者可下载！
面向计算机科学的数理逻辑 系统建模与推理（全部） 答案
浏览：39
面向计算机科学的数理逻辑 系统建模与推理 答案（全部） logic in computer science modelling and reasoning about systems solutions
面向计算机科学的数理逻辑课后习题答案_1-5章
浏览：29
5星 · 资源好评率100%
面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题...
面向计算机科学的数理逻辑课后习题答案
浏览：45
4星 · 用户满意度95%
面向计算机科学的数理逻辑课后习题答案，英文版的，不过不用担心，很简单的，只要英语四级过了就没问题！
面向计算机科学的数理逻辑 第二版 答案
浏览：196
3星 · 编辑精心推荐
中文，扫描的数理逻辑答案，Pdf 清晰。请大家下载
面向计算机科学的数理逻辑系统建模与推理
浏览：168
4星 · 用户满意度95%
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑第二版-陆钟万 习题答案
浏览：2
5星 · 资源好评率100%
面向计算机科学的数理逻辑第二版-陆钟万 习题答案
面向计算机科学的数理逻辑
浏览：53
面向计算机科学的数理逻辑（第二版）-陆钟万(1).pdf
计算机科学中数理逻辑的金典必读阅读资料
浏览：151
3星 · 编辑精心推荐
模态逻辑 时序逻辑 LTL、CTL、CTL* 模型检验及其应用 演算及组合逻辑
面向计算机科学的数理逻辑课后答案
浏览：83
4星 · 用户满意度95%
面向计算机科学的数理逻辑课后答案，英文版课后答案 logic
面向计算机科学的数理逻辑(PDF:陆钟万)
浏览：173
5星 · 资源好评率100%
1) PDF格式，带目录 2) 陆中万著，科学出版社
面向计算机科学的数理逻辑:系统建模与推理(英文版)
浏览：66
5星 · 资源好评率100%
面向计算机科学的数理逻辑:系统建模与推理
面向计算机科学的数理逻辑第一章.ppt
浏览：185
面向计算机科学的数理逻辑，是计算机专业必修课，但目前课程资源较少，故上传自己做的，供大家参考
面向计算机科学的数理逻辑课后习题答案_1-5章.rar
浏览：113
面向计算机科学的数理逻辑课后习题答案_1-5章.rar
Vector Davinci官方帮助配置使用手册（AutoSAR）.pdf
浏览：56
5星 · 资源好评率100%
Vector官方帮助文档，配置使用手册。从新建DaVinci工程开始一步一步的讲解如何配置工程；如何编译生成C代码；如何导入CDD、DBC等文件。手册讲解细致，可以说是手把手教学了
c++入门，核心，提高讲义笔记
浏览：28
5星 · 资源好评率100%
最详细的c++入门，核心，提高讲义笔记，看会成为大佬没问题，下载后有疑问请私信。
离散数学及其应用 第八版 奇数编号练习答案.pdf
浏览：151
4星 · 用户满意度95%
离散数学及其应用 第八版本科教学版答案，有需要其他版本到的还可以去华章图书官网下载 地址：http://www.hzbook.com/
数字图像处理 冈萨雷斯 课后习题
浏览：111
数字图像处理 冈萨雷斯 第三版 课后习题。 免费下，没积分的朋友们，免费下。 百度文库网页链接转出来的，清晰，内容可能不太全，没积分的朋友们将就看吧。
科研伦理与学术规范 期末考试2 （40题）.pdf
浏览：76
科研伦理与学术规范 期末考试2 （40题）
最值得收藏的 考研线性代数 全部知识点思维导图整理(张宇, 汤家凤), 附带惯用思维/做题技巧/易错点整理.emmx
浏览：129
5星 · 资源好评率100%
用mindmaster打开文件,本文的思维导图根据张宇和汤家凤两人的课程整理而来并标记出重点内容，整合了很多技巧，题型，方法
软件著作权设计说明书模板（含填写说明）.docx
浏览：50
5星 · 资源好评率100%
软件著作权最新版设计说明书，每项都有填写说明，可供新人参考。
AUTOSAR培训教材.rar
浏览：117
3星 · 编辑精心推荐
AUTOSAR培训教材，共25.7M，17个PDF文件，十分详细，适合自学或者培训使用。 主要内容：00_AUTOSAR基础知识介绍、01_SWC应用层组件设计详解、02_OS操作系统详解、03_Communication Stack详解、04_Diagnosis Stack 详解、05_Mem Stack详解、06_IO Stack详解、07_WdgM Stack 详解、08_EcuM BswM
菜菜sklearn课程讲义.rar
浏览：156
5星 · 资源好评率100%
适合正在学习机器学习sklearn库的使用教程，关注即可下载哦~
“互联网+”大学生创新创业大赛项目计划书
浏览：189
4星 · 用户满意度95%
填 写 说 明 1.封面上“项目编号”一栏由秘书组编写； 2.项目名称力求简洁、明确，每个项目限报一名负责人； 3.请逐项认真填写； 4.本次大赛必须以团队形式报名参赛，每个团队成员不能少于 3人（包括项目负责人在内）； 5.请将撰写完成后的项目计划书按规定时间提交。
notepad++-7.9下载
浏览：76
Notepad++ 是一款非常有特色的编辑器，是开源软件，可以免费使用。 Notepad++是 Windows操作系统下的一套文本编辑器(软件版权许可证: GPL)，有完整的中文化接口及支持多国语言编写的功能(UTF8技术)。 Notepad++功能比 Windows 中的 Notepad(记事本)强大，除了可以用来制作一般的纯文字说明文件，也十分适合编写计算机程序代码。Notepad++ 不
HALCON快速入门手册.pdf
浏览：152
5星 · 资源好评率100%
本HALCON入门手册为本人于2020年初编写，旨在帮助刚开始接触HALCON，或者在一些设计中临时简单使用下HALCON的朋友快速上手这款优秀的机器视觉软件，配有入门操作每一步骤的截图及说明，并附有一些常用的模板和算子。最后，简单介绍了HALCON与C#的联合编程，便于希望使用HALCON进行windows窗体程序开发的朋友快速入门。
最值得收藏的 考研高等数学 全部知识点思维导图整理(张宇, 汤家凤), 附带做题技巧/易错点/知识点整理.emmx
浏览：44
5星 · 资源好评率100%
本文的思维导图根据张宇和汤家凤的基础和强化课程整理而来并标记出重点内容，汇总了各种题型和解法，以及各类题目的易错点，做题技巧
LabView 官方教程（全）
浏览：175
5星 · 资源好评率100%
National instrument （NI）美国国家仪器图形化编程软件LabView的教程 分基础和进阶，珍藏版pdf。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
duner0117
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
indy之路第一篇 UDP进行通讯（2）
portable.bouncycastle.1.9.0
按以下要求实现程序功能(java代码).docx
java实现获取今日天气源码
精品协同供应链集成解决方案V70.rar
最新租号平台系统源码，可选择单独租用或与他人合租.rar
备胎书屋2024-04-12.torrent
基于 HTTP 请求的快速数据驱动 pytest 接口自动化测试框架
汐鹤Key码查询+网站授权系统源码.rar
程序设计实践 邮件客户端的实现
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
