只为小站
首页
域名查询
文件下载
登录
首页
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
上传者:
hrjzsb
|
上传时间: 2022-09-28 14:41:11
|
文件大小: 11.82MB
|
文件类型: PDF
数理逻辑
建模
推理
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
文件下载
立即下载
评论信息
其他资源
FPGA数字信号处理(一)数字混频
GOCLOUD-S2A-4.3.0.14951底包.bin
TLE两行星历计算卫星轨道
HslCommunicationDemo.zip
JSP住宅小区物业管理系统(源代码+开题报告+论文+答辩PPT)
SVD分解结合ceemdan去噪
JLink_Pro 原理图下载
3D packing 问题
[神经科学.探索脑].Neuroscience.Exploring.the.Brain
ValidateCode.jar包下载含用法,Java生成图片验证码
天天新闻管理系统.zip
桥梁基础工程复习题.pdf
Student.zip
DJ NativeSwing.rar.rar
openswan-2.6.51.tar.gz
图像去雾实验代码.zip
教务管理系统(c#)完整代码+数据库
HOG-LBP+detection 行人检测
克鲁斯卡尔最小生成树算法
博思特电子阅览室管理系统
风电控制算法
用java eclipse做的英文打字测试
FPGA控制告诉ADC程序
产品经理必备工具---市场需求分析报告
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
ChinaMeteorologicalDataHandler.R
2022学术英语写作(东南大学) 章节测试+期末test答案
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
transformer_pytorch_inCV.rar
夏天IC助手1.8你们懂的
全国道路网SHP数据.zip
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
云视通扫描工具.zip
voc车辆检测数据集(已处理好,可直接训练)
机械臂避障路径规划仿真 蚁群算法 三维路径规划
基于OpenCV的车牌号码识别的Python代码(可直接运行)
多机器人编队及避障仿真算法.zip
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
机械臂碰撞检测 八组逆解碰撞检测 机械臂避障路径规划
Keil5安装包
最新下载
vqf:变分量子分解算法的实现-源码
JiYuTrainer.rar
安卓14使用Android/data(无需shizuku,无需授权)
毕业设计基于SpringBoot+Vue 的校园在线拍卖系统【源码+演示视频+包运行成功】
计算机操作系统(第四版),高清扫描版,汤小丹,梁红兵,哲凤屏,汤子瀛编著
基于单片机的毕业设计合集.doc
抽象代数 [王颖,南基洙 编著] 2013年版
Word2007SP1简体中文绿色便携版[139MB]
MT4指标EA反编译工具
yolo格式的密集行人检测数据集WiderPerson