现代逻辑学讲义(两册)

出版时间:2005-9  出版社:中山大学出版社  作者:李小五  页数:500  
Tag标签:无  

内容概要

《模态逻辑》:模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。它是哲学逻辑的基础,作为一门课程,它是逻辑学专业的基础课之一。本讲义介绍了句子层次上(命题型的)模态逻辑最基本的内容。    本讲义内容多,知识面广,定理定义表达严谨,例题习题丰富,可作为高等学校逻辑学专业本科生、研究生教材使用。    《数理逻辑》:数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础,作为一门课程,它是逻辑学专业最重要的基础课。    数理逻辑分两大部分:句子逻辑和量化逻辑。本讲义介绍句子逻辑的基本内容和量化逻辑的基础——一阶逻辑的基本内容。    本讲义内容丰富,知识面广,表达严谨,习题例题丰富,可作为高等学校逻辑学专业本科生、研究生教材使用。

作者简介

李小五,男,1955年1月生于浙江湖州。
1980-1984年在北京大学哲学系念哲学本科,1986-1989年在北京大学哲学系攻读逻辑学硕士学位,1989年获硕士学位。
1992年从国防大学调入中国社会科学院所逻辑研究室,2000年10月在中国社会科学院聘为研究员。2002年8月作为引进

书籍目录

现代逻辑学讲义:模态逻辑 第1章 公理化系统   1 公理化系统 协调性 和谐性   2 初等系统   3 基本系统   4 退化系统   5 其他一些重要的系统 第2章 强推演、一致性与极大一致性   1 强推演   2 S-一致性与极大性 第3章 关系语义与可靠性定理   1 关系语义   2 对应定理   3 可靠性定理   4 反模型方法 第4章 典范模型与完全性定理   1 完全性概念   2 典范模型及其基本定理   3 完全性定理   4 刻画定理   5 KG(mn)/(jk)的刻画定理 第5章 有穷模型性与可判定性   1 有穷模型性与穷框架性   2 过滤有穷模型性   3 极小典范模型与有穷模型性   4 有模型性与可判定性   5 没有有穷模型性的系统 第6章 邻域语义   1 领域语义   2 刻画定理   3 过滤与有穷模型性   4 与关系主义的关系 参考文献 后记现代逻辑学讲义:数理逻辑

图书封面

图书标签Tags

评论、评分、阅读与下载


    现代逻辑学讲义(两册) PDF格式下载


用户评论 (总计8条)

 
 

  •   这是李小五老师的讲义,关于数理逻辑和模态逻辑,书两本,不厚,写得很好!!
  •   买了李小五老师的人工智能逻辑之后,发现其书很适合我读^^^所以搜寻到了这本书^^^还没有详细看,只是大致的翻阅了一下,很系统的介绍了我想了解的内容^^^等读完了再写书评吧^^^
  •   其实主要是要模态那本,要是能拆开卖就好了!
  •   逻辑学的学习参考,一般吧
  •   就因为我是用挂号寄的,就因为我把挂号单丢了,四个月了我也没换回我要的书,可订单状态明明写着“收到退换货”。打了好几个电话,给我的回答就是等,天哪!究竟是谁的问题。我也算当当的忠实用户了,可要知道信心是一点点培养的,是需要精心呵护的,一个小小的疏忽就可能前功尽弃。
  •   对逻辑感兴趣 买来看看
  •   李小五的数理逻辑偏向文科的,不适合计算机专业看!
  •   不是说是"全二册"么怎么我只收到了模态逻辑这一本,根本就没什么数理逻辑这么小小的一本就将近三十元.这也太贵了!
 

250万本中文图书简介、评论、评分,PDF格式免费下载。 第一图书网 手机版

京ICP备13047387号-7