《集合论导引》共三卷，本书是第一卷，本卷是这本《导引》的开卷。本卷将分成三章来为后续两卷奠定基础。第一章主要是引进集合论的基本公理、基本概念、基本方法以及建立起典型的可数集合的例子，包括自然数集合、整数集合、有理数集合以及彻底有限集合的集合。第二章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第三章

本卷是集合论的模型分析部分.在第一卷的基础上,本卷的主要任务是将逻辑植入集合论之中,并以此为基础实现三大目标:第一大目标是将同质子模型分析引入集合论,这是一种不同于组合分析的对无穷集合展开分析的基本方法;第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域,从而证明一般连续统假设和选择公理的相对相容

本卷是在前两卷的基础上对集合论保证无穷集合存在的无穷公理的层次分析.这种分析既包含组合分析,也包含逻辑分析;既包含内模型分析，也包含外模型分析；归根结底是揭示各种高阶无穷公理对整个集合论论域的影响，尤其是对实数集合的影响.因此,第三卷的第1章侧重于大基数的组合分析、逻辑分析以及内模型构造;第2章侧重于在大基数上构造各种

《线性代数辅导精讲》按照考研数学大纲的要求,以历年考研数学真题中的典型题目及分析详解为主线,内容包含典型方法的归类总结、重要和常用技巧的运用、考生易错点的提示、重点题型的考研预测等.相比其他考研数学辅导图书有以下特色：(1)紧扣大纲要求,精选历年考研真题,分模块分阶段地指导考生科学备考;(2)精心设计本书模块和栏目,辅

本书内容包括行列式的计算方法、矩阵、线性方程组、向量空间、相似矩阵与矩阵的对角化以及二次型。全书涵盖了最新的全国硕士研究生人学考试大纲中有关线性代数部分的相关内容及相应的历年全国硕士研究生入学考试试题，每章后均配有检测题，并在书后附有答案与提示。

《高等代数问题求解的多向思维》是作者结合多年给数学专业本科生进行高等代数考研辅导的有关内容,和长期的探索积累编著而成的。《高等代数问题求解的多向思维》精选包括多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换、λ-矩阵、欧几里得空间等内容的典型例题，给出多种证法或解法，反映高等代数各类知识点之间的有机联系，注

布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其

如何描述一群人和另外一群人的距离呢？知音与朋友的数学差异是什么？足球比赛的冷门不断会刻意突出其怎样的运动本质？基于大数据的客观世界真的会与数学形成对立吗？我们经常说的"度"的数学内涵是什么？为什么会产生约等式逻辑？你能证明人单腿站立不稳当吗？多米诺效应隐藏着人们什么样的虚假比喻？围棋完美化的数学途径是什么？为什么大众更

本书是重庆大学“高等数学”课程教材体系改革试点工作的配套讲义。在学校领导、教务处及院系领导的长期大力支持下，试点工作进行了二十多年。参加试点教学的学生主要来自物理、力学及计算机专业。参加试点教学的教师同时也进行传统“高等数学”的教学工作。两种教材的教学中使用本讲义的学生对教学的评价一般都要高于使用传统“高等数学”教材的

空间解析几何，二元函数微分学、积分学，无穷级数，微分方程，MATLAB在微分中的应用。空间解析几何，二元函数微分学、积分学，无穷级数，微分方程，MATLAB在微分中的应用。空间解析几何，二元函数微分学、积分学，无穷级数，微分方程，MATLAB在微分中的应用。