大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑-数学基础 » 集论与逻辑 : 面向计算机科学
名称 集论与逻辑 : 面向计算机科学
索引号 O14/20031
分类号 O14
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 沈恩绍、
出版社 北京 : 科学出版社, 2003
ISBN 7-03-011047-1
页数 198页 : 图 ; 24cm
价格 CNY18.00
标签 数学、计算机科学、逻辑、课本、计算机、
简介
注解 其他题名：面向计算机科学 有书目 本书由基础集论与经典 (一阶) 逻辑两部分内容组成，为高标准的计算机专业 (本科) 教材・ 可供高等院校计算机专业、数理专业及对计算机科学感兴趣的广大读者阅读和参考・
书籍简介

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

书籍目录

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