汾渭平原旱涝集合应对研究.pdf
本书系统梳理汾渭平原历史旱涝事件，绘制旱涝事件图谱；采用趋势分析、突变分析、趋势相关分析等方法，分析汾渭平原的旱涝特征及演变规律，归纳旱涝事件的成因，阐释旱涝事件对汾渭平原国民经济和生态系统的影响；从宏观战略层面提出汾渭平原旱涝事件集合应对方略。
集合
数理逻辑与集合论.pdf
本书的内容为数理逻辑和集合论，共8章.第1～5章是数理逻辑部分：第1~3章是数理逻辑，包括命题逻辑、谓词逻辑及其公理化理论；第4章是简单模态逻辑，第5章是利用基础知识分析基础教育阶段数学教学中遇到的问题.在每一节中将本节内容所渗透的重要的思想方法提炼出来放在后面，以期利于读者对内
百姓自制保健粥谱 : 保健养生、特色米粥大集合.pdf
本书介绍了具有不同作用的各类药粥，从其粥方组成、煮制方法、功效、适应症、粥义解说、注意事项等方面进行了介绍，便于患者选方用粥。
近岸风暴潮和台风浪集合化预报技术及应用.pdf
本书系统介绍了河海大学风暴潮团队近年来所取得的主要研究成果，阐述了国内外在风暴潮预报领域的最新进展，研发了集天文潮、风暴潮和台风浪为一体的预报模型，提出了研究方案，分析了超标准条件下风暴潮和台风浪对海堤的作用机理，创建了台风期间海堤安全风险的动态评估方法，在此基础上建立了近岸风暴
结构可靠性分析与优化设计的非概率集合理论.pdf
本书重点论述了贫信息、少数据情况下结构不确定性分析与可靠性优化设计的非概率集合理论及其在航空航天等工程领域中的应用。全书共三篇。第一篇针对影响结构安全的不确定性参数贫信息、少数据情况，介绍了有限测量数据下的非概率定量化方法，并将定量化结果应用到桁架、梁板等实际工程结构的不
公理化集合论机器证明系统.pdf
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或
集合论导引（第三卷）高阶无穷.pdf
本卷是在前两卷的基础上对集合论保证无穷集合存在的无穷公理的层次分析。这种分析既包含组合分析，也包含逻辑分析；既包含内模型分析，也包含外模型分析；归根结底是揭示各种高阶无穷公理对整个集合论论域的影响，尤其是对实数集合的影响。因此，第三卷的第1章侧重于大基数的组合分析、逻辑分析以及内
集合论导引（第二卷）集论模型.pdf
本卷是集合论的模型分析部分。在第一卷的基础上，本卷的主要任务是将逻辑植入集合论之中，并以此为基础实现三大目标：第一大目标是将同质子模型分析引入集合论，这是一种不同于组合分析的对无穷集合展开分析的基本方法；第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域，从
集合论导引（第一卷）基本理论.pdf
本卷是这本《集合论导引》的开卷，分为三章，是后续两卷的基础。第1章主要是引进集合论的基本公理、基本概念、基本方法，并给出典型的可数集合的例子，包括自然数集合、整数集合、有理数集合以及彻底有限集合等。第2章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第3章专门