只为小站
首页
域名查询
文件下载
登录
首页
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
上传者:
hrjzsb
|
上传时间: 2022-09-28 14:41:11
|
文件大小: 11.82MB
|
文件类型: PDF
数理逻辑
建模
推理
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
文件下载
立即下载
评论信息
其他资源
VL53L1X驱动例程
java AWTUtilities库
小米游戏本2019黑苹果 OC引导文件分享
C#AJAX实例
基于神经网络的图像分类和bp算法 matlab实现 图像分类.zip
【全网首发】ASP.NET MVC4开发指南(附带源码)
GPS基本原理及其MATLAB仿真
有限元理论—世界名著(高清晰版)Zienkiewicz(辛克维奇)教授
SOP封装大全8/10/12/14/16/18/20/24/28/30封装
超高清卫星地图地球贴图
粒子群算法求解TSP问题
条码制作软件 Barcode Studio 15.14.1 中文多语版.zip
.config-源码
echarts 最全地图json加demo
操作系统内核——毕业设计
dw留言板制作
autoit 窗口标题样式例子
aliyun-java-sdk-dysmsapi.zip
传感器原理及工程应用ppt课件 郁有文
MCNP教程,绝对值得分享
Windouws 64 位Tomcat7.0.40 + 64位jdk1.7.0u21 绿色版
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
MVDR,Capon波束形成DO估计.zip
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
Monet智能交通场景应用
机械臂避障路径规划仿真 蚁群算法 三维路径规划
android开发期末大作业.zip
韦来生《数理统计》课后习题与答案
transformer_pytorch_inCV.rar
粒子群多无人机协同多任务分配.zip
全国河流水文站坐标.xls
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
银行笔试 信息科技岗部分真题
ChinaMeteorologicalDataHandler.R
基于STM32的FFT频谱分析+波形识别
最新下载
LE-DFE-BiDFE 代码
ntellij idea 来创建一个购物网站——易买网
python+labview0706.vi
高频开关稳压电源终稿tang.pdf
PH2.0封装(三维PCB封装库)AD用PCB封装库
VS2005_SP1补丁
空战中响尾蛇机动动作的Matlab仿真
110kV/10kV变电站电气一次部分设计(内含电气主接线图、电气总平面布置图、进出线间隔断面图等)
实战完美搭建Oracle 11gR2_RAC+ASM+DG(最新精编版)
MFC编程技巧与范例详解PDF(无水印 带书签)+源代码