只为小站
首页
域名查询
文件下载
登录
首页
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
上传者:
hrjzsb
|
上传时间: 2022-09-28 14:41:11
|
文件大小: 11.82MB
|
文件类型: PDF
数理逻辑
建模
推理
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
文件下载
立即下载
评论信息
其他资源
遥感导论课后习题答案及考试复习资料
Vive开发之VR射箭(UE4)
广工数据库课程设计(多份)
usb 设备遍历
t3标准版11.0-11.1-10用户免狗补丁
operating system principles and practice 2nd version epub2pdf
qt界面跳转切换
Uncertain Rule-based Fuzzy Systems. Introduction and New Directions
光伏系统的PSpice建模
CiscoIPv6网络实现技术.pdf
快递包裹代收系统
SCOM监控配置管理
推挽式变压器设计方案
使用混合二氧化硅/聚合物波导结构的低功率和高速热光开关:设计,制造和测量
matrix-alertmanager:接收Alertmanager Webhook事件并将其转发到选定房间的机器人-源码
ATL SHELL EXTENSION编写的IE浏览器插件Cookie查看程序.zip
图书管理系统数据库设计
NAO机器人抓红球
flexsim4仿真软件
基于安卓的电子词典
Windows下实现进程间通信
c++标准库STL手册
51单片机pwm波,lcd1602,l298n带prtues仿真例程
Tws user guide
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
锁相环simulink建模仿真.rar
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
云视通扫描工具.zip
opcua服务器模拟器+opcua客户端工具.rar
2020年数学建模B题穿越沙漠全部代码全国赛二等奖.zip
拾荒者扫描器.zip
Spring相关的外文文献和翻译(含出处).zip
东南大学英语技术写作慕课所有答案
西安问题电缆-工程伦理案例分析.zip
quartus II13.0器件库.zip
基于matlab的车牌识别系统设计
IBM CPLEX 12.10 学术版 mac操作系统安装包
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
MATLAB之LSTM预测
2020年数学建模国赛C题论文
最新下载
Cortex-M3 反汇编器
Npcgen_zx v3.3
HP增霸卡使用指南.pdf
kbq_drv_AD7606_非设备树传统方式驱动,目前使用最快25k采样率.rar
arcgis景观空间格局分析插件Patch Analyst (10.X)斑块分析师
统计与自适应信号处理课后习题答案.pdf
8650平板电脑万能刷机包。2
动森amiibo.zip
磐石系列加密狗型号检测
OgreSE场景编辑器