您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

img

CSDN APP(程序员高薪必备工具)

微信扫码购书

出版社直销 码农新选择

作者:CSDN

出版社:北京创新乐知信息技术有限公司 ISBN: 1111111111111

参考价 0
分享
收藏
书籍简介: 展开

CSDN APP是程序员得知识天堂(www.csdn.net),作为专业得IT技术社区,CSDN一直致力于为中国得软件开发者和IT从业者提供全方位服务。

更多资源 展开

面向计算机的数理逻辑(机械工业出版社) 评分:

面向计算机的数理逻辑(机械工业出版社)~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
面向计算机的数理逻辑

计算机方面的书,主要是数理逻辑,在数学方面也可以参考。

面向计算机科学的数理逻辑

面向计算机科学的数理逻辑 陆中万著,科学出版社

logic in computer science(面向计算机的数理逻辑)英文pdf附答案

经典计算机数理逻辑教材,被国内外高校采用。 作者 Michael Huth ,Mark Ryan 英文打印原版

面向计算机科学的数理逻辑习题答案

面向计算机科学的数理逻辑习题答案

面向计算机科学的数理逻辑课后答案

面向计算机科学的数理逻辑课后答案,英文版课后答案 logic

面向计算机科学的数理逻辑课后习题答案

面向计算机科学的数理逻辑课后习题答案,英文版的,不过不用担心,很简单的,只要英语四级过了就没问题!

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

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

面向科学的数理逻辑

这是中科院研究生院开展数理逻辑所使用的课本。讲解数理逻辑中的基础知识,很有参考价值。

面向计算机科学的数理逻辑 第二版 答案

中文,扫描的数理逻辑答案,Pdf 清晰。请大家下载

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

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

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

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

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

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

Python书籍全集(16,17年最新书籍,9本超清完整非扫描版)

《Python编程:从入门到实践》2016.7 《Python项目开发实战(第2版)》2017.1 《Python核心编程(第3版)》2016.6 《Python编程快速上手:让繁琐工作自动化》2016.7 《Python游戏编程快速上手》2016.8 《Python网络数据采集》2016.3 《Python机器学习:预测分析核心算法》2017.1 《精通Python设计模式》2016.7 《用Python写网络爬虫》2016.9

磁力种子搜索神器

磁力种子搜索神器

数字设计:原理与实践(第4版)_[J Wakerly著][机械工业出版社][2007]

数字设计:原理与实践(原书第4版) 的中文版pdf文件

win10远程桌面连接工具

用于win10远程桌面连接工具,方便多用户远程连接win10

国际学术会议poster海报模板(收集整理很全很多)

国际学术会议poster海报模板(收集整理很全很多)

C语言程序设计谭浩强第五版课后习题答案完整版

C语言程序设计谭浩强第五版课后习题答案完整版C语言程序设计谭浩强第五版课后习题答案完整版

《鸟哥的Linux私房菜-基础篇》第四版 简体中文 PDF 带完整书签

《鸟哥的Linux私房菜-基础篇》第四版 简体中文 PDF 带完整书签《鸟哥的Linux私房菜-基础篇》第四版 简体中文 PDF 带完整书签《鸟哥的Linux私房菜-基础篇》第四版 简体中文 PDF 带完整书签《鸟哥的Linux私房菜-基础篇》第四版 简体中文 PDF 带完整书签 具体目录请看 https://blog.csdn.net/csdn123456789xhy/article/details/80233445

https://pan.baidu.com/s/1E_UqdQMCzDERcq54gk6OJQ

Mui混合开发Mui混合开发Mui混合开发Mui混合开发Mui混合开发