本书是数学模型课程的教材。重点阐述:(1)如何从具体事物抽象出数学概念,有了解这种抽象只是一种近似,只反映具体事物的某些特性;(2)如何从复杂的实际问题中寻找最重要的因素;(3)如何既注意思考的逻辑性、严密性,又紧密结合实际情况;(4)如何将所得结果应用与实践、通过实践进一步改进模型。本书采取案例教学的形式,内容有数学
本书从系统模型构建与算法设计相结合的角度,阐述系统建模的基本原理和方法,介绍了主要的应用数学模型及其算法设计的基本方法等。
数理逻辑与集合论是离散数学的主要组成部分,是计算机科学的数学基础。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章,前8章介绍数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论,后4章介绍集合论,包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(
本书详细介绍了数学模型的基本概念、各类数学模型的建立及其求解方法。书中涉及的模型有初等模型、微分方程模型、变分法模型、运筹学模型、图论模型、网络模型等。全书共分10章。
内容有:紧致性定理,省略型定理,内插定理,完全理论与模型完全理论,初等链,超积,模型论力追法,饱和模型等,并附有模型论方法对经典数学应用的一些例子
本书共六部分,分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统,并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。笫五章讨论了逻辑演箅如何应用于陈述具体的数学理论,并且研究了在数学中引进定义的形式化问题。附录(一)陈述带量词的命题逻辑;附录(二)定义了斜形证明,
本书共六部分,分上、下两册.上册包括绪论、第一章和第二章.绪论对数理逻辑的性质,逻辑演算的大概内容.以及阅读以后各章所需要的预备知识作了简要的说明.第一章构造命题逻辑和一阶逻辑的形式系统,介绍演绎逻辑的基本规则.第二章研究逻辑演算的重要系统特征