下载  >  课程资源  >  专业指导  > 面向计算机科学的数理逻辑系统建模与推理.rar

面向计算机科学的数理逻辑系统建模与推理.rar 评分:

面向计算机科学的数理逻辑系统建模与推理,很好的电子书,对提高抽象思维能力和解决问题的能力很有益处

...展开详情
2009-11-11 上传 大小:1.8MB
举报 收藏
分享

评论 下载该资源后可以进行评论 共2条

ltk_xs 不错,很好的一本书
2015-04-26
回复
hjxiaopanghj 很不错的书,值得参考
2012-12-26
回复
面向计算机科学的数理逻辑 系统建模与推理 中文版

面向计算机科学的数理逻辑 系统建模与推理 第二版 中文版

立即下载
面向计算机科学的数理逻辑 系统建模与推理(全部) 答案

面向计算机科学的数理逻辑 系统建模与推理 答案(全部) logic in computer science modelling and reasoning about systems solutions

立即下载
面向计算机科学的数理逻辑即系统与建模(中文版-第二版)

本书是面向计算机科学的数理逻辑即系统与建模(中文版-第二版),是关于离散数学,数理逻辑方面很有用的参考书。

立即下载
计算机科学中的数理逻辑

是计算机软件与理论方向的一本经典教材,书中对计算机科学中所涉及的数理逻辑知识有详细和深入的介绍。

立即下载
面向计算机科学的数理逻辑系统建模与推理 中文版 logic in computer science

面向计算机科学的数理逻辑系统建模与推理(原书第二版) 绝对中文版

立即下载
计算机科学的数理逻辑 、系统建模与推理的答案

课程作业,面向计算机科学的数理逻辑 系统建模与推理的答案,针对这个课程,可以进行强化训练

立即下载
面向计算机科学的数理逻辑系统建模与推理

面向计算机科学的数理逻辑系统建模与推理

立即下载
面向计算机科学的数理逻辑系统与建模1-2章课后习题答案

面向计算机科学的数理逻辑系统建模与推理1-2章的课后习题答案,答案为英文版,与中文版的课后习题一致,需要者可下载!

立即下载
面向计算机科学的数理逻辑系统建模与推理.PDF

面向计算机科学的数理逻辑系统建模与推理.PDF

立即下载
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文

本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。

立即下载
面向计算机科学的数理逻辑:系统建模与推理

本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材,也可供相关研究人员和专业人士参考。

立即下载
html+css+js制作的一个动态的新年贺卡

该代码是http://blog.csdn.net/qq_29656961/article/details/78155792博客里面的代码,代码里面有要用到的图片资源和音乐资源。

立即下载
qBittorrent插件集合(22个)

btetree.py cpasbien.py divxtotal.py ilcorsaronero.py kickass.py leetx.py limetorrents.py linuxtracker.py nyaa.py nyaapantsu.py nyaasi.py pantsu.py psychocydd.py rarbg.py rutor.py skytorrents.py sukebei.py sumotorrent.py tntvillage.py torrent9.py torrentfunk.py zooqle.py

立即下载
压缩包爆破解密工具(7z、rar、zip)

压缩包内包含三个工具,分别可以用来爆破解密7z压缩包、rar压缩包和zip压缩包。

立即下载
服务器CPU天梯图_最全CPU天梯图

主要是服务器CPU天梯图_最全CPU天梯图,文字版,不是图片

立即下载
qbittorren下载某雷无法下载东东的神器(包含最近最全30余个插件)

Qbittorrent是一个跨Linux, Mac OS X, Windows, OS/2, FreeBSD平台的BT下载软件,,因而其界面和许多功能和Ut很像。相较其它优秀BT客户端比Vuze轻巧,比Deluge美观,比Transmission多很多功能,用过都说好。

立即下载
新年HTML网页

2018新年祝福网源码是以html+CSS进行开发的新年祝福网站。该软件无后台,直接上传空间即可使用,手机登录可自动打开手机版页面。

立即下载
RPG解包器 Rgss_Extract

这是一款用于提取由rpg制作大师的游戏的素材的解包器。

立即下载
C语言源代码 《烟花》

烟花表白程序,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,

立即下载