普通高等教育“十·五”国家级规划教材——数理逻辑

当前位置:首页 > 教材 > 研究生/本科/专科教材 > 普通高等教育“十·五”国家级规划教材——数理逻辑

  • 版 次:1
  • 页 数:
  • 字 数:
  • 印刷时间:2008年08月01日
  • 开 本:16开
  • 纸 张:胶版纸
  • 包 装:平装
  • 是否套装:否
  • 国际标准书号ISBN:9787301112557
  • 丛书名:博雅大学堂·哲学
作者:邢滔滔 著出版社:北京大学出版社出版时间:2008年08月 
内容简介
该书分演绎及其证成,真理与悖论,意义与指称,存在、量化和本体论,休谟问题与归纳逻辑,共五个部分,对逻辑哲学进行了全面系统的概论,同时吸收了近几年国际逻辑哲学方面的*进展,每一章后面的思考题和推荐阅读文献更是大大方便了教学和阅读。作者在国内长期教授逻辑课程,也曾经写作过逻辑学和逻辑哲学方面的著作,具有深厚的功底和丰富的经验。
  本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义,针对逻辑学的初学者,尤其是初学逻辑的学生,介绍一阶逻辑的最基本的知识和技术,包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。
目  录
第一章 绪论:从直观到形式
 1 从“矛盾”说起
 2 直观上的推理
 3 正确推理
 4 一阶语言
 5 推演系统
第二章 集合
 1 集合(不)是什么?
 2 关系
 3 函数
 4 可数集与不可数集
第三章 一阶语言的语形
 1 字母表
 2 归纳定义

 普通高等教育“十·五”国家级规划教材——数理逻辑下载



发布书评

 
 

 

PDF图书网 

PDF图书网 @ 2017