只为小站
首页
域名查询
文件下载
登录
首页
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
上传者:
hrjzsb
|
上传时间: 2022-09-28 14:41:11
|
文件大小: 11.82MB
|
文件类型: PDF
数理逻辑
建模
推理
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
文件下载
立即下载
评论信息
其他资源
基于mfc(vc++6.0)的图书馆管理系统
matlab配电玩仿真模型
ArcGIS Editor for OSM 10.5.x Desktop
基于MATLAB的vibe算法的运动目标检测代码.docx
Optical Fiber Communication Systems with MATLAB and Simulink (2ed)
Thinkpad R61i R61e 升级 BIOS
操作系统=文件管理=实验报告
基于BP神经网络的信息系统综合评价模型的研究
wav转换成MP3格式(C#)
NOIP2016普及组初赛试题答案C++.pdf
Cloud_Admin.rar
lrzsz-0.12.20.tar.gz
碰撞检测的算法及一些算法的代码实现,包含一些论文
发送字符到指定的IP和端口
VC++MP3播放器课程设计实验报告
完整的黑盒测试报告(nextdate的)
调频接收机
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
雷达信号处理仿真程序(MTI,MTD等)
中小型企业网络建设.pkt
scratch版 我的世界.sb2
鲸鱼优化算法 WOA matlab源代码(详细注释)
android开发期末大作业.zip
2019年秋招—华为硬件工程师笔试题目.pdf
python爬虫数据可视化分析大作业.zip
Steam离线安装版
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
基于Matlab的PI/4 DQPSK的调制解调源代吗
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
2020年大学生数学建模竞赛C题省一论文(包括材料和代码)
ios无人直播 虚拟视频实用版 可以导入视频
最新下载
北京邮电大学数据链路层滑动窗口协议的设计与实现参考
数据链路层滑动窗口协议的设计与实现——北邮计算机网络实验
基于Ogre的场景编辑器OgreSE源代码+示例
基于OGRE开发的一个小场景编辑器tecnofreak_editor
ASP.NET二手汽车交易系统
discuz插件:【禾今】微信投票 32.0(增加了无需关注也能投票的功能)
基于javaWeb实现学生选课管理系统程序设计源码+数据库文件+文档说明分享
铭瑄MS-H61MEL最新BIOS,亲测完美支持3代i5,E3 1230 V2
Update.ZIP_TWRP_RK3368_3.1.0-0_170318
CMW Run.rar