离散数学 第2分册：集合论与图论

北京大学计算机科学与技术系教材。

拓扑空间与线性拓扑空间中的反例

本书汇集了拓扑空间与线性拓扑空间方面的大量反例，主要内容为：拓扑空间，可数性公理，分离性公理，连通性，紧性，局部凸空间，桶空间和囿空间，线性拓扑空间中的基。本书可供高等院校理工科学生、研究生、教师参考......

离散数学习题集 数理逻辑与集合论分册

悖论、逻辑与非Cantor集合论

本书共分为两编13章，介绍了关于悖论、逻辑与非Cantor集合论的相关内容，给出了正集和反集的概念，阐述了域外项的逻辑性质，重构ZF公理系统，给出了一般集合的递归性与“停机问题”。本书适合于从事悖论、逻辑与非Ca...

序与拓扑

数学逻辑与集合论

丛书精选了香港、台湾与大陆三地人气室内设计师的海量最新家居案例，把这些代表当今设计界最高水平的作品按时下流行的风格分门别类进行编排，方便读者检索查找。丛书分为轻奢风范、简约美学、中式禅韵、乡村格...

数理逻辑与集合论

《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...

分析与拓扑 上

本书是同济大学高廷耀教授与几位老

点集拓扑研究与广义数

拓扑线性空间与算子谱理论