只为小站
首页
域名查询
文件下载
登录
首页
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
上传者:
hrjzsb
|
上传时间: 2022-09-28 14:41:11
|
文件大小: 11.82MB
|
文件类型: PDF
数理逻辑
建模
推理
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
文件下载
立即下载
评论信息
其他资源
基于STM32的多路数据采集及SD实时存储的系统
编译好的libtiff dll与lib (32位与64位)
FX5U以太网口MC协议通信说明书
在Echarts 地图上画柱状图
JRT 0201-2020 金融科技发展指标.pdf
计算机毕业设计,java向小游戏
智能优化算法选址,源代码,有注解,能运行.zip
北邮计算语言学课件_王小捷老师
基于遗传算法和非线性规划的函数寻优算法
rudin数学分析原理答案
MSP430G2553频率计
利用百度人脸识别API和pyqt5实现基于人脸识别的可视化课堂签到管理系统.zip
nRF51802_PS_v1.2【中文规格书】
浏览器渲染机制.png
OC Control UIControl+PQ_EventExtension(按键点击延时).zip
基于数据挖掘的客户知识管理模型研究
林业生物技术课件4.基因工程原理.ppt
汽车发动机unity模型包
C# 图片管家
瑞丽衰落信道仿真
excel最强插件,datachart
3D模型 fvx
中国电信物联网开放平台北向应用LiteNADemo_https
负电压转成正电压电路.docx
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
android开发期末大作业.zip
全国河流水文站坐标.xls
2010年-2020中国地面气候资料数据集(V3.0)
先进PID控制Matlab仿真第4版-PDF+代码.zip
MTALAB NSGA2算法
voc车辆检测数据集(已处理好,可直接训练)
基于MATLAB的水果图像识别
校园网规划与设计和pkt文件
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
西安问题电缆-工程伦理案例分析.zip
基于蒙特卡洛生成电动汽车充电负荷曲线程序
西门子逻辑控制设计开发_3部10层
PSO-LSSVM的MATLAB代码.rar
校园网规划与设计(报告和pkt文件)
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
最新下载
AVM-360全景C++代码(第一版)
Programming Massively Parallel Processors, Second Edition
最新版windows jdk-8u381-windows-x64.zip
qppleid登录
dynamic-ip-restrictions
iTunes登录协议方案[可运行源码]
jdk 1.8 windows安装包 版本:1.8.0-381
组合数学引论 第二版 许胤龙 最高清 最完整 中科大出版
Surface3 校屏幕软件.zip
esp32S3 播放SD卡里的音乐