数理逻辑与集合论

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

集合论基础

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

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

微机原理及应用习题集及参考答案

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

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

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

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

爆破习题集及题解

画法几何及工程制图习题集 电子及电信专业用 修订本

汽车构造习题集及答案

汽车钣金习题集及答案