集论与逻辑

出版时间：2003-08-01  出版社：科学出版社  作者：沈恩绍  
Tag标签：无  

内容概要

本书由基础集论与经典(一阶)逻辑两部分内容组成，为高标准的计算机科学专业(本科)教材。
    集论部分的范围与常规教材大体相似，区别在于相关内容的展开方式与深度。这里采用的“非标准”模式可称为“经典集论的公理化修正版”：强调公理化思想及构造性技巧；对“关系演算”及“归纳与递归”两个板块做了较深入的处理；计算机科学中有用的若干组合和图论中的原理与方法被有机地嵌入到集论的框架之中；以较直观的方式给

书籍目录

序言
第一篇 基础集论
第一章 集合的基本关系与运算
1?1集合的表示:内涵与外延
1?2集合的运算、构集公理
第二章 关系与函数
2?1基本概念、关系的运算
2?2分划、等价关系与映射
2?3偏序与树
2?4Cantor的对角线论证法、从二元关系的矩阵表示及理发师悖论谈起
2?5多元关系、关系数据库的一个实例
第三章 有限集与无限集
3?1无穷公理与自然数、归纳与递归