数学
-
线性代数任晓燕,唐贤芳,詹环 编《线性代数》依据高等院校理工专业和经济专业的数学基础课程教学大纲及专业任课老师历年教学实践经验编写而成,主要内容包括行列式、矩阵、线性方程组、矩阵的特征值、二次型及线性空间和线性变换等,在内容选取、编写风格、例题选择、习题安排等方面,充分考虑了线性代数知识的完备性和非数学专业学生专业课的实际需求,突出培养学生综合利用所学知识解决实际问题能力。《线性代数》可作为高等院校理工专业和经济专业的教材,也可供其他专业或有关人员参考。 -
凸优化的理论和方法杨庆之 著《凸优化的理论和方法》系统介绍了凸优化的理论和方法,包括凸集、凸函数、凸优化问题、对偶问题、无约束凸优化问题的较速下降方法和Newton方法、具有线性等式约束的凸优化问题的Newton型方法和具有不等式约束的凸优化问题的内点法,还介绍了线性半定规划的一些性质和算法,并对目标函数具有可分结构的一类凸优化问题介绍了基本的交替方向乘子方法。《凸优化的理论和方法》对介绍的各种概念、性质、算法,除了严格的描述或推导,也通过一些例子和图示,帮助读者更好地从直观上或具体实例中理解所介绍的内容。 -
基于记录值的可靠性分布模型的统计推断研究周慧,任海平 著《基于记录值的可靠性分布模型的统计推断研究》研究了基于记录值样本的可靠性分布模型参数的Bayes统计推断问题和基于记录值样本的产品寿命绩效指标的统计推断问题。研究成果可以为工程师在处理含有记录值数据信息的产品性能评估问题时提供决策参考。《基于记录值的可靠性分布模型的统计推断研究》可供从事统计分析、预测、评估工作的工程技术人员参考,也可供高校相关专业师生参考。 -
集合论导引集论模型冯琦 著本卷是集合论的模型分析部分。在第一卷的基础上,本卷的主要任务是将逻辑植入集合论之中,并以此为基础实现三大目标:第一大目标是将同质子模型分析引入集合论,这是一种不同于组合分析的对无穷集合展开分析的基本方法;第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域,从而证明一般连续统假设和选择公理的相对相容性;第三大目标是建立集合论论域的具有典范意义的外模型——科恩的力迫扩张模型,从而证明连续统假设以及选择公理的相对独立性。这三大目标分为三章分别来实现。在一定意义上讲,每一章体现一种基本方法。这些基本方法是从事集合论研究的基本的方法。 -
G-V模糊拟阵李永红,吴德垠 著《G-V模糊拟阵》以图论、拟阵、模糊集为基础. 主要介绍模糊基与模糊圈的性质、判定和算法, 模糊集的秩的性质和算法, 模糊闭集、对偶、超平面的性质 和公理系统, 模糊拟阵的结构, 模糊图拟阵等, 最后介绍模糊拟阵的一种推广—— G-V 直觉模糊拟阵. -
九章算术郭书春 著《九章算术》是中国古代最重要的数学经典,本书以郭书春汇校《九章筭术新校》为底本,在作者多年研究的基础上进行解读。本书原典共九卷,分《九章算术》本文、魏刘徽注、唐李淳风等注释三种内容,然后进行词语注解、随文旁批和篇末点评共四个层次,全面产生中国古代数学精义。 -
中小学数学的历史文化张映姜 著本书共五章,主要介绍了中小学数学的历史文化,主要包括数与运算,式与方程,几何与推理,形、数融合,数学的发展。每章内容均分节编写,方便读者选择使用。 本书可供广大中小学教师(学生)在教(学)数学中选用,也适合数学爱好者参阅。 -
排队系统及其稳定性程慧慧,毛永华,夏良辉 著排队系统的稳定性是排队论的经典问题。排队系统稳定与否取决于它所对应的马氏链是否遍历。《排队系统及其稳定性》旨在利用连续时间马氏链的方法研究几类重要的排队模型的稳定性。《排队系统及其稳定性》共5章,内容包括预备知识、跳过程的稳定性速率、非马尔可夫排队模型的稳定性、重试排队模型的稳定性、Jackson排队网络的稳定性。 -
粒计算基础教程陈德刚 等 著粒计算是目前人工智能领域内广为关注的研究课题,《粒计算基础教程》旨在为初学者提供学习粒计算理论与方法的基《粒计算基础教程》。《粒计算基础教程》涵盖了模糊集、粗糙集以及形势概念分析三个领域的基本思想和概念,主要内容包括模糊集的定义及运算、模糊集的结构、模糊相似关系的构造及应用、粗糙集的定义及其构造、属性约简的基本理论与方法、模糊粗糙集的定义及其数学结构、概念格的定义及其基本性质、基于概念格的属性约简和规则提取等。 -
现代数学与计算机文化褚蕾蕾,王天军,陈绥阳 编《现代数学与计算机文化》以数学与计算机科学的著名人物和重大事件为主线,按文、史、哲、艺四大元素,介绍1900年以来的现代数学文化、计算机理论诞生以来的计算机文化与思维方式,在两种文化的融合中回答数学是什么、数学研究的基本对象是什么、数学文化是什么等本体论和认识论问题,介绍数学危机中的基础研究流派、研究方法论、成果及现存问题,更新人们的数学文化观念,介绍计算机科学、人工智能与数学的关系,它们产生的历史条件、作用和意义,以及计算机艺术与计算机发现,通过人工智能反思人类的智能与学习,最后对现代数学哲学基本派别、计算机和人工智能带来的哲学新问题给出简要的评述。
