随笔 - 303  文章 - 883  trackbacks - 0
<2008年2月>
272829303112
3456789
10111213141516
17181920212223
2425262728291
2345678

欢迎光临! 
闲聊 QQ:1074961813

随笔分类(357)

我管理的群

公共blog

  • n维空间
  • Email : java3d@126.com 群 : 12999758

参与管理的论坛

好友的blog

我的其他blog

朋友的网站

搜索

  •  

最新评论



作者: 陆钟万
出 版 社: 科学出版社
出版时间: 2002-1-1


面向计算机科学的数理逻辑.part1.rar
面向计算机科学的数理逻辑.part2.rar
面向计算机科学的数理逻辑.part3.rar

内容简介

本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.本书在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求,本书研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。本书大部分章节附有习题。
本书读者对象:高校计算机专业师生,科研人员。

目录

绪论
第一章 预备知识
1.1 集
1.2 归纳定义和归纳证明
第二章 经典命题逻辑
2.1 联结词
2.2 命题语言
2.3 公式的结构
2.4 语义
2.5 逻辑推论
2.6 形式推演
2.7 析取范式和合取范式
2.8 联结符号的完备集
第三章 经典一阶逻辑
3.1 量词
3.2 一阶语言
3.3 语义
3.4 逻辑推论
3.5 形式推演
3.6 前束范式
第四章 可靠性和完备性
4.1 可满足性和有效性
4.2 可靠性
4.3 极大协调性
4.4 命题逻辑的完备性
4.5 一阶逻辑的完备性
4.6 独立性
第五章 紧致性定理、Lowenheim-Skolem定理、Herbrand定理
5.1 紧致性定理和Lowenheim-Skolem定理
5.2 Herbrand定理
第六章 公理推演系统
6.1 公理推演系统
6.2 两种推演系统的关系
第七章 构造性逻辑
7.1 证明的构造性
7.2 形式推演
7.3 语义
7.4 可靠性
7.5 完备性
第八章 模态命题逻辑
8.1 模态命题语言
8.2 形式推演
8.3 语义
8.4 可靠性
8.5 T的完备性
8.6 S4和S5的完备性
第九章 模态一阶逻辑
9.1 模态一阶语言和形式推演
9.2 语义
9.3 可靠性
9.4 完备性
9.5 相等符号
附录 自然推演中形式证明的简明形式
参考文献
符号表
汉英名词对照表




地震让大伙知道:居安思危,才是生存之道。
posted on 2008-02-28 23:58 小寻 阅读(5149) 评论(14)  编辑  收藏 所属分类: 软件 & 书籍 推荐

FeedBack:
# re: 面向计算机科学的数理逻辑 pdf下载 2008-10-28 21:51 11
不错的书呢  回复  更多评论
  
# re: 面向计算机科学的数理逻辑 pdf下载 2008-11-08 11:08 gfsd
fsdaf  回复  更多评论
  
# re: 面向计算机科学的数理逻辑 pdf下载 2008-11-16 10:28 凉薯
方分感谢  回复  更多评论
  
# re: 面向计算机科学的数理逻辑 pdf下载 2008-11-22 22:19 yangy
感谢分享....  回复  更多评论
  
# re: 面向计算机科学的数理逻辑 pdf下载 2008-12-20 13:16 一个四川人
多想你的分享,并赞同:
地震让大伙知道:居安思危,才是生存之道。
用心专研技术,用实际行动尽一份绵力吧!
多谢了!  回复  更多评论
  
# re: 面向计算机科学的数理逻辑 pdf下载[未登录] 2008-12-27 17:59 linda
看看看看  回复  更多评论
  
# re: 面向计算机科学的数理逻辑 pdf下载 2009-01-18 18:05 lxmzmz
怎么下载啊!  回复  更多评论
  
# re: 面向计算机科学的数理逻辑 pdf下载[未登录] 2009-06-02 16:55 p
谢谢。  回复  更多评论
  
# re: 面向计算机科学的数理逻辑 pdf下载 2009-12-04 15:40 ttintin
谢谢,非常感谢  回复  更多评论
  
# re: 面向计算机科学的数理逻辑 pdf下载[未登录] 2010-04-11 01:15 james
感谢,非常感谢!  回复  更多评论
  
# re: 面向计算机科学的数理逻辑 pdf下载 2010-08-11 21:58 是你爹
他妈的,第一版的  回复  更多评论
  
# re: 面向计算机科学的数理逻辑 pdf下载 2010-10-16 21:03 王利
怎不是第二版?别欺骗了  回复  更多评论
  
# re: 面向计算机科学的数理逻辑 pdf下载[未登录] 2011-09-18 09:10 猪猪
非常感谢,嘿嘿。推荐大家到youku上有作者的讲座 ,叫“数理逻辑”,也非常好  回复  更多评论
  
# 非常感谢 2012-09-04 10:08 游客
非常感谢!  回复  更多评论
  

只有注册用户登录后才能发表评论。


网站导航: