只为小站
首页
域名查询
文件下载
登录
首页
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
上传者:
hrjzsb
|
上传时间: 2022-09-28 14:41:11
|
文件大小: 11.82MB
|
文件类型: PDF
数理逻辑
建模
推理
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
文件下载
立即下载
评论信息
其他资源
“数字集成电路——电路、系统与设计”部分课后问题及答案
103规约报文详解(详细)
虚拟机批量修改MAC克隆管理工具
适用于2016年电子设计竞赛江苏省以及辽宁省循迹小车题目的报告
绿色版SQL2000支持XPWIN7WIN8WIN10
ansys大体积混凝土温度场应力场命令流
紫微排盘destiny5.0完全破解版
双边滤波C++实现
汉语分词语料库
LMP91000中文资料
YGeni-源码
蝶形多模干涉耦合器的数值分析
结构化文本(ST)编程参考手册.pdf
NERDS-starterpack:用于NERDS堆栈的单页App样板-节点,Express,ReactRedux,带有SQL的数据库(PostgreSQL)-源码
CRYPTO SPECIAL REPORT BSV – Business Use Cases of the Bitcoin SV Blockchain.pdf
d3js多图—地图桑基饼图.7z
3D图形程序设计酷跑游戏
cleaniis清除工具
百度坐标转WGS84坐标程序
PCI设备初始化编程的过程
学籍管理系统java
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
大唐杯资料+题库(移动通信)
刚萨雷斯《数字图像处理》第四版答案.pdf
scratch版 我的世界.sb2
数字图像处理[冈萨雷斯]
RNN-LSTM卷积神经网络Matlab实现
matlab机器人工具箱实现机械臂直线轨迹&圆弧轨迹规划
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
空间谱估计理论与算法------程序.rar
科研伦理与学术规范 期末考试2 (40题).pdf
基于matlab的车牌识别系统设计
基于MATLAB的水果图像识别
mingw-w64-install.exe
IBM CPLEX 12.10 学术版 mac操作系统安装包
2020年数学建模B题(国二)论文.pdf
最新下载
sbc5r01.pdf
信号与系统重点综述与习题详解(刘泉).pdf
GigaDevice.GD32F3x0_DFP.1.0.0.pack
SolidWorks入门培训课件
戴尔H730 H730P阵列卡驱动
IBM Rational Software Architect 9.0破解文件
VDA-702_situation-catalog.pdf
以最小的损耗驱动感应电机:使用遗传算法的感应电机驱动中的损耗最小化-matlab开发
EPS三维测图专版.rar
DataLink.rar