只为小站
首页
域名查询
文件下载
登录
首页
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
上传者:
hrjzsb
|
上传时间: 2022-09-28 14:41:11
|
文件大小: 11.82MB
|
文件类型: PDF
数理逻辑
建模
推理
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
文件下载
立即下载
评论信息
其他资源
联想IBM SystemX 3650 M5 8871 RAID卡、网卡、芯片组、USB官方驱动
Raptor编码
c语言实现http服务器
AVR 模拟IIC总线
利用emguVC人脸、人眼识别,自动保存图片C#
jdbc_clickhouse.zip
vad端点检测
网络协议分析_寇晓蕤_课件PPT合集
基于Jsp 网络在线考试系统源码,Java
易语言高级表格与折线图(源码)
人工智能:计算代理的基础Artificial Intelligence: Foundations of Computational Agents
opencart language 中文语言包 3.0.3.7
FSCapture_截长图.exe
IT售前顾问项目实践.pptx
CrazyBump.exe
PAP和CHAP的配置与实现应用实例.docx
附件2-上海市2020年下半年中小学教师资格考试面试考生安全考试承诺书.docx
基于模糊控制的纯电动轿车整车优化控制策略_王佳.pdf
历年论文 - 副本.xlsx
DataGrid增删改查
unigui delpi web开发利器
光纤无线通信系统产生毫米波技术
Vue.js 2.x by Example
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
Keil5安装包
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
python大作业--爬虫(完美应付大作业).zip
校园网规划与设计和pkt文件
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
数据结构课后习题答案
android开发期末大作业.zip
风电场风速及功率数据.zip
先进PID控制Matlab仿真第4版-PDF+代码.zip
基于LSTM模型的股票预测模型_python
采用K-means聚类,实现多维矩阵的聚类,并进行可视化展示(matlab)
2019综合测评仿真.zip
基于MQ2烟雾传感器的STM32F103程序
最新下载
2018年广东省电子设计竞赛一等奖作品报告及演示视频整理
Spine回滚工具.exe
全志A40i使用demo
内弹道计算
2017年研究生数学建模竞赛优秀论文-D-E-F
Krypton Suite 4.4.0 with Toolkit Cracked
自己动手写神经网络——随书代码
输电线路异物数据集(4517+VOC),包含约4k张8k分辨率的高质量图像 已由我们整理好分为训练集、测试集,可直接用于YOLO
PB http.zip
Android APP一段时间无操作显示屏保Demo