集论与逻辑：面向计算机科学

定　价：¥18.00

作　者：	沈恩绍著
出版社：	科学出版社
丛编项：
标　签：	集论数理逻辑

购买这本书可以去

当当网 (¥15.30)

ISBN：	9787030110473	出版时间：	2003-01-01	包装：
开本：	24cm	页数：	198页	字数：

内容简介

　　21世纪高等院校教材。本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。

作者简介

暂缺《集论与逻辑：面向计算机科学》作者简介

图书目录

序言
第一篇基础集论
第一章集合的基本关系与运算
1 集合的表示：内涵与处延
2 集合的运算、构集公理
第二章关系与函数
1 基本概念、关系的运算
……
第三章有限集与无限集
1 无穷公理与自然数、归纳与递归
……
第二篇经典逻辑
第四章引论
第五章命题逻辑（PL）
1 PL的句（语）法
2 语义学——PL公式之语义、PL模型
……
第六章一阶逻辑（FO）
1 自然引入
2 一阶语言与一阶公式
……