只为小站
首页
域名查询
文件下载
登录
首页
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
上传者:
hrjzsb
|
上传时间: 2022-09-28 14:41:11
|
文件大小: 11.82MB
|
文件类型: PDF
数理逻辑
建模
推理
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
文件下载
立即下载
评论信息
其他资源
ENVI遥感图像处理方法 第2版(带pdf目录书签)
锐捷设备KEY加解密工具.exe
NAO机器人舞蹈 极乐净土
UWB超宽带信号仿真.rar
ISO11898 全套标准文档.7z
JDK-1.6u45-Windows 32位
Acoustics of Ducts and Mufflers.pdf
PMBOK第6版ITTO汇总+重点标准+每个ITTO的一句话概括
最新9个C# .NET Winform的多线程进度条源码
JAVA-缓存行对齐测试方法
反编译工具-jd-gui-windows.7z
FTP使用什么命令来定位服务器与本地硬盘的路径夹.rar
n1 2017.12真题.pdf
海康威视IP自动搜索软件
鲜花预定系统 C# asp.net
用Python写的电影推荐系统
黄色大气医疗网站模板
psapi.h、Psapi.Lib、psapi.dll
The Opengl Extension Wrangler Library
JAVA编写的打砖块程序源代码
随机最优化 stochastic programming
Xposed框架以及JustTrusetMe安装包
Android加法器
编译原理实验:词法分析,语法分析和中间代码生成及优化
MFC Windows程序设计(第二版)
sphinx使用rt实时索引源码
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
2020年数学建模B题穿越沙漠全部代码全国赛二等奖.zip
JPEG的Matlab实现
RNN-LSTM卷积神经网络Matlab实现
基于hadoop商品推荐系统课程设计
航迹融合算法MATLAB仿真程序
狂神说全部笔记内容.zip
狂神说Java系列笔记.rar
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
copula程序及算法.zip
scratch版 我的世界.sb2
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
韦来生《数理统计》课后习题与答案
MATLAB车牌识别系统
最新下载
IBM CPLEX 12.10 学术版 mac操作系统安装包
ADC参数测试资料&matlab源程序
城市规划GIS技术应用指南_随书练习数据
支付宝低保真原型作业.rp
数理统计(第二版)赵选民,徐伟等
python爬虫数据可视化分析大作业带文档
支付宝App低保真原型设计(课后答案).rp
《AxureRP9网站与App原型设计》教学教案-10支付宝App低保真原型设计.docx
支付宝原型设计低保真-Axure9.zip
企业级web-我的购物网-个人期末课程设计-包含文档