只为小站
首页
域名查询
文件下载
登录
首页
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
上传者:
hrjzsb
|
上传时间: 2022-09-28 14:41:11
|
文件大小: 11.82MB
|
文件类型: PDF
数理逻辑
建模
推理
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
文件下载
立即下载
评论信息
其他资源
河北基层管理软件.zip
北航《操作系统》教学课件
公交查询管理系统 (含 数据库)
OPC 环境搭建详解
基于Qt和Opencv的OCR
水电煤气管理系统C++实现
综合评价方法的MATLAB实现
v4501v.lib
基于matlab的梯度下降法实现线性回归
tomcat8压缩包
TMS320LF2407 DSP最小系统原理图
思科(cisco)c7200 ios。适合学习CISCO交换机配置的朋友用。
声卡麦克风重采样
iPhone各种手机型号的Axure机身元件库
Siemens_S7-1200PLC与威纶触摸屏以太网通信教程.pdf
java myeclipse开发mvc项目 源代码
红外软件OMNIC.zip
ffmpeg+nginx+vlc
RationalRose2007下载 直接使用版
OpenMeetings安装配置
jfinal-3.6-all
决策树CART实现
空间抽样与统计推断(王劲峰)
交通灯控制器的EWB文件 电路图 课程设计
FPGA任意数分频器设计
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
2019综合测评仿真.zip
EasyMedia-ui.zip
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
故障诊断数据集及实现代码
2022学术英语写作(东南大学) 章节测试+期末test答案
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
超大规模集成电路先进光刻理论与应用.pdf
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
中国地面气候资料日值数据集(V3.0)2014-2019.zip
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
基于yolov4-keras的抽烟检测(源码+数据集)
多智能体的编队控制matlab程序(自己编写的,可以运行)
科研伦理与学术规范 期末考试2 (40题).pdf
非线性本构关系在ABAQUS中的实现.pdf
基于LSTM模型的股票预测模型_python
最新下载
AVS+ Decoder 7.1
黑莓手机截屏软件BBScreen
JOG100维修手册.pdf
fdk算法matlab程序
PT2259S.zip
Visual Basic串口通信与测控应用技术实战详解.(配书光盘).part3
Visual Basic串口通信与测控应用技术实战详解.(配书光盘).part2
Visual Basic串口通信与测控应用技术实战详解.(配书光盘).part1
基于单片机的数字FM收音机设计和实现.doc
89c51控制PGA2310音量调节(C语言)