只为小站
首页
域名查询
文件下载
登录
首页
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
上传者:
hrjzsb
|
上传时间: 2022-09-28 14:41:11
|
文件大小: 11.82MB
|
文件类型: PDF
数理逻辑
建模
推理
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
文件下载
立即下载
评论信息
其他资源
全系列丹佛斯gsd文件
ansys必会apdl代码,详细解释(中文)
DHTMLET - Cascading Style Sheet 2.0 中文手册
引导图像滤波器 Matlab实现
魔兽世界外挂 源码 Bubba's Warcraft Hack v1.4
Android设备投屏功能Demo
简单的战舰的三维模型
1433扫描大字典版
QT数据库操作实例
COMSOL使用中产生问题及解决办法
robocup 2d yushan底层代码
Pcm声音波形显示,用vc实现的,很有用啊!
第1专题 社会调查概述.ppt
javaWeb在线聊天室代码例子技术是简单的servlet
c#超市收银和货物管理系统
eclipse-jee-oxygen-3 64
C#版C/S、CC局域网聊天、文件传输(源码与实验报告)
租房系统 源代码 java jsp servlet技术 struts2技术
USB电路详解分析USB电路详解分析
2018CFA LEVEL 1-NOTES内容
密码学中的可证明安全性-杨波-扫描版
汇编debug.exe
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
2010年-2020中国地面气候资料数据集(V3.0)
多目标优化算法(四)NSGA3的代码(MATLAB)
科研伦理与学术规范 期末考试2 (40题).pdf
中小型企业网络建设.pkt
大唐杯资料+题库(移动通信)
基于MATLAB的水果图像识别
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
东南大学英语技术写作慕课所有答案
PSO-LSSVM的MATLAB代码.rar
java-spring-web-外文文献翻译40篇.zip
商用密码应用与安全性评估——霍炜.pdf
基于yolov4-keras的抽烟检测(源码+数据集)
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
(推荐)小爱触屏音箱LX04_2.34.5-官改-(开发版)SP5
中国地面气候资料日值数据集(V3.0)-201001201912.rar
最新下载
CG2H40010F PDK文件
计算机图形学——球的光照模型算法
event_listener.jsx
纯jQuery导出Excel_已测试可用.zip
中国shapefile
Windows Embedded CE 6.0
PcanView(汉化版)
无线通信仪表与测试应用(完整版)pdf
VTK源码+编译好的+属性表
系统辨识及其MATLAB仿真(pdf)