只为小站
首页
域名查询
文件下载
登录
首页
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
上传者:
hrjzsb
|
上传时间: 2022-09-28 14:41:11
|
文件大小: 11.82MB
|
文件类型: PDF
数理逻辑
建模
推理
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
文件下载
立即下载
评论信息
其他资源
猫里奥c语言源码 +头文件
北京理工大学小学期认知实习报告.docx
编译buildroot-2020.02.9.tar.bz2时自动下载所必需的源码
A星算法C++实现
利用snake算法实现数字图像的边缘检测,图像分割以及特征提取
数字ic面试更新.pdf
一个基于队列的舞伴配对系统的设计
MFC显示JPG图片
XML操作DLL
随机Hough变换提取圆
Linux(一)资源.zip
Arduino-NewPing-master.zip
ITU-T关于GPON的标准G.984.1-G.984.7
一个简单的壳
Java推箱子游戏源代码
最新版bibexcel
响应面法优化
origin2018
昆明理工大学创新实践大报告
温室大棚控制系统设计
tl494的中文资料
c# 真正的线控件(直线、斜线)而且不会遮盖
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
房价预测的BP神经网络实现_python代码
C4.5决策树算法的Python代码和数据样本
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
现代操作系统原理与实现.pdf
(推荐)小爱触屏音箱LX04_2.34.5-官改-(开发版)SP5
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
avantage 软件 xps 处理软件30天后不能使用问题
SSM外文文献和翻译(毕设论文精品).doc
拾荒者.exe同时ID扫描器IP扫描器
Vivado license 永久
校园网规划与设计(报告和pkt文件)
数据结构课后习题答案
python大作业--爬虫(完美应付大作业).zip
得到品控手册7.0.pdf
最新下载
Win7 通用扫描仪驱动VueScanPRO V9120 简体中文注册版(32位+64位)
clear mbr 0.9
pcmflash编程器最新版软件包版本1.3.4-2
深度学习大作业-纽约出租车流量预测python源码+数据集.rar
PB11.2编写POST接口样例
PB12.5参考手册.CHM版本(好用,方便)。
Introduction to Linear Algebra.pdf
全桥分立器件电机驱动,可驱动10A的大电机
Unity中pdf文件转图片的dll工程(较粗糙慎下)
luci-app-mentohust,luci管理界面