下载 >  课程资源 >  专业指导 > 可计算性与数理逻辑(第四版)(中文版)

可计算性与数理逻辑(第四版)(中文版) 评分:

可计算性与数理逻辑(第四版)(中文版) 这是一本计算机科学领域很重要的一本书,讲解可计算性和数理逻辑方面的深入的内容。
2011-11-19 上传大小:8.19MB
分享
收藏 举报

评论 共11条

yangyiqwer 非常不错,下来打印了,上课用
2015-11-09
回复
iayz_piilo 学习数理逻辑很好的一本教材,而且是中文的便于学习
2015-10-12
回复
yuffonconnie 写的不错,涵盖的也可以
2015-05-26
回复
sheng_jianguo 很好,的确是一本计算机科学领域很重要的一本书。
2015-04-14
回复
zero73011 非常好 上学期的课程幸亏有它 不然看英文版要shi 了
2014-11-17
回复
wntdjmhh 我们用的是英语版的,看不太懂,这本汉语版的很不错
2013-11-07
回复
westkuzhu 非常不错,下来打印了
2013-09-28
回复
shenxh003 很好,内容比较多,不过稍微难了一些
2013-07-01
回复
j19890303 大致看了,应该我所需要的
2013-01-05
回复
coobj2008 是我需要的,非常感谢
2012-11-20
回复
面向计算机科学的数理逻辑 系统建模与推理 中文

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

立即下载
第一部分 数理逻辑 第三章 命题逻辑的推理理论
可计算性与数理逻辑里一些重要的定理概念
可计算性数理逻辑PDF中文.rar

软件介绍: PDF扫描版《可计算性与数理逻辑》语言是简体中文,清晰度尚可。    我们的最终目标是给出某些关于计算能力和证明能力局限性的重要定理.在此之前,需要分析可计算性和可证明性.最初,计算涉及正整数1,2,3,…,而证明由通常的字母A,B.C…或某些其他符号的序列组成。重要的是,要通过分析可计算性和可证明性,来理解正整数和符号序列之间的关系,以及本章提供的有关背景材料。讨论的主要问题是区分两类不同的无限集:可枚举集和不可枚举集。本章只是集合论著作中更全面阐述的无限集理论内容的一部分:与计算和证明密切相关的部分。1.1节引进可枚举性的概念,1.2节则列举一些可枚举集的例子。下一章

立即下载
高级数理逻辑第四章

高级数理逻辑第四章:谓词演算和一阶逻辑,一阶逻辑谓词

立即下载
面向计算机的数理逻辑

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

立即下载
数理逻辑答案数理逻辑

数理逻辑答案,数理逻辑答案,数理逻辑答案,数理逻辑答案

立即下载
计算机数理逻辑讲义111

数理逻辑讲义,内容全面,生动,适用与基础较好

立即下载
计算机专业使用 数理逻辑莫绍揆

数理逻辑pdf(计算机专业适用) 经典中文离散数学图书 莫绍揆先生写的

立即下载
计算机基础4 图论 数理逻辑

计算机编程必备的数学基础知识!图论 数理逻辑

立即下载
面向计算机科学的数理逻辑 第二 答案

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

立即下载
数理逻辑基础,数理逻辑基础

数理逻辑基础数理逻辑基础数理逻辑基础数理逻辑基础数理逻辑基础

立即下载
哈工大计算机专业数理逻辑课件

这是哈工徐永东老师的课件,数理逻辑,内容挺丰富,挺全的,希望能对大家有点帮助

立即下载
逻辑学 形式逻辑与数理逻辑比较研究

逻辑学 形式逻辑与数理逻辑比较研究 pdf文件

立即下载
模态逻辑 数理逻辑

一本详细的关于模态逻辑的书 一本经典的研究计算机科学中的数理逻辑的必读物

立即下载
高级数理逻辑第三章

高级数理逻辑第三章:命题演算,及其在计算机中的应用

立即下载
高级数理逻辑第六章

高级数理逻辑第六章:时态逻辑的发展历史及详细内容

立即下载
数理逻辑基础

数理逻辑基础 数理逻辑基础 数理逻辑基础

立即下载

热点文章

下载码下载
做任务获取下载码
取消 提交下载码
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

可计算性与数理逻辑(第四版)(中文版)

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
14 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

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

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: