关注微信

推荐商品

    加载中... 正在为您读取数据...
分享到:
  • 普通高等教育"十?五"国家级规划教材?数理逻辑[平装]
  • 共2个商家     22.40元~23.80
  • 作者:邢滔滔(作者)
  • 出版社:北京大学出版社;第1版(2008年8月1日)
  • 出版时间:
  • 版次 :
  • 印刷时间:
  • 包装:
  • ISBN:9787301112557

  • 商家报价
  • 简介
  • 评价
  • 加载中... 正在为您读取数据...
  • 商品描述

    编辑推荐

    《普通高等教育"十?五"国家级规划教材?数理逻辑》按照许多学校的安排,在逻辑的入门课之后,还有相应的进深课程,供有兴趣的同学选修。我们在课程设置上,也采取了这个策略。在这样的安排之下,《普通高等教育"十?五"国家级规划教材?数理逻辑》的内容,对应于大学本科的第一门“数理逻辑”或“符号逻辑”课程。

    目录

    第一章 绪论:从直观到形式
    1 从“矛盾”说起
    2 直观上的推理
    3 正确推理
    4 一阶语言
    5 推演系统

    第二章 集合
    1 集合(不)是什么?
    2 关系
    3 函数
    4 可数集与不可数集

    第三章 一阶语言的语形
    1 字母表
    2 归纳定义
    3 项
    4 公式
    5 递归定义
    6 自由和约束代入

    第四章 经典语义学
    1 结构与解释
    2 等词、量词和联结词
    3 满足真
    4 语义后承
    5 可满足性有效性语义等值
    6 代入引理
    7 模型举例

    第五章 自然推演系统
    1 推理规则概说
    2 联结词规则
    3 命题推演语形后承
    4 量词和等词规则
    5 一阶推演
    6 经典与直觉主义逻辑的关系

    第六章 可靠性与完全性
    1 经典可靠性
    2 一致性
    3 经典命题完全性
    4 Henkin定理
    5 nq满足性定理
    6 经典完全性
    7 紧致性定理与Lfwenheim-Skolem定理
    8 直觉主义完全性
    参考文献

    序言

    本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义,书名从课名。原讲义在实际使用中,经过了多次删改与修补,最后成书时,我们做了进一步的加工,重写了若干部分,增加了一些内容,以求能够满足更大范围的读者的需要。
    下面就本书的内容及编写方式做几点说明。
    第一,这是一本入门教材,针对逻辑学的初学者,尤其是初学逻辑的学生,而不要求读者有数学方面的预备知识。在内容方面,本书只介绍一阶逻辑的最基本的知识和技术,包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。这些知识和技术已经成为逻辑入门的必

    文摘

    插图: