只为小站
首页
域名查询
登录
首页
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
上传者:
hrjzsb
|
上传时间: 2022-09-28 14:41:11
|
文件大小: 11.82MB
|
文件类型: PDF
数理逻辑
建模
推理
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
文件下载
立即下载
评论信息
其他资源
hex&bin转换工具
ProIEC101ClientVer1.5基于IEC101的主站端仿真测试软件
java,狂神,超市订单管理系统,smbms,静态资源,包含b站视频教程中的四个文件夹
am335x gpmc 挂载dm9000 device驱动
模电课程设计.zip
matlab——psat2.1.8
qt,QTableView实现复选框,分页功能
bpa转matpower
asp图书管理系统源代码
基于RFID校园系统一卡通系统上位机
俄罗斯方块可行性研究报告
CC2540/CC2541主从一体化透传源码(支持串口和APP,带AT命令)
Google软件测试之道
shadowform.zip
基于SSM实现的在线商城系统【附源码】(毕设)
2007年--2013年四川大学计算机组成原理期末考试试题
VB内存搜索控件-仿CE快速搜索内存
java编的经典小游戏—吃豆人
springMVC+多线程+kafka的 demo基于maven
android 仿微信语音聊天demo
MCP3421 STM32 Driver
Synchronization: A Universal Concept in Nonlinear Science
雷达系统分析与设计(MATLAB)第二版matlab源代码
Fiddler2(汉化版)
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
MPC 模型预测控制matlab仿真程序
锁相环simulink建模仿真.rar
voc车辆检测数据集(已处理好,可直接训练)
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
空间谱估计理论与算法------程序.rar
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
avantage 软件 xps 处理软件30天后不能使用问题
MTALAB NSGA2算法
2021华为芯片研发岗位笔试题
科研伦理与学术规范 期末考试2 (40题).pdf
IBM CPLEX 12.10 学术版 mac操作系统安装包
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
BP_PID控制仿真.rar
雷达信号处理仿真程序(MTI,MTD等)
最新下载
PSW剪切波分析软件
网络课程中的网络构建pkt文件,配有报告说明文档
Xshell-7.0.0065p和Xftp-7.0.0063p.rar
WinXP Media Center 2005更新汇总包
FastReport VCL v6.8.2 Enterprise Installer.zip
FontSubsetGUI_2013
R4CM小米路由器4C原机Bootloader.bin+eeprom.bin文件
xshell6破解版
中控播放器 串口RS232,485,UDP,TCP协议控制
(AMX,快思聪,CREATOR,ITAV)中控编程教程