牛津逻辑手册布尔值模型及集合论中独立性的证明

集合论基本知识及基在初等数学中的应用

集合论 对无穷概念的探索

本书是“逻辑与形而上学教科书”中的一本。书中全面介绍了集合论这一数理逻辑的重要领域，共有集合与公理；关系与函数，实数的构造，基数，滤、理想与无界闭集，集合的宇宙，可构成集，力迫等9章内容；除了讨论集合......

数学逻辑与集合论

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

数理逻辑与集合论

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

集合论基础

本书基于计算机科学与技术一级学科人才培养科学理论，按照计算机科学与技术学科系列教材一体化设计的纲要，全面介绍了康托素朴集合论的基本内容，包括集合的基本概念和基本运算、映射与关系、基数理论、序数理论...

外国现代音乐理论译丛 7 《关于音级 PC 集合论中的主要概念的定义》

集合论含有原子的自然模型和布尔值模型

本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证明在该定义下，模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的...

基于集合论的煤矿床三维建模与算法研究

本书针对煤矿三维可视化面临的理论和技术问题，以集合论的数学理论为基础，归纳和概括了目前三维可视化模型，分析和总结了已有算法的优缺点，并集成了非平行似三棱柱的数据模型，设计并构建了基于集合论和非平行似三...

三十年来的苏联数学 1917-1947年 拓扑学及描述集合论