数学
-
聚合函数及其应用覃锋 著聚合函数不同于传统的信息聚合模型,是用函数观点来描述信息聚合的数学工具,在模糊数学理论、模糊控制、模糊逻辑、决策理论和智能计算中有广泛的应用. 虽然关于它的研究可以追溯到阿贝尔的早期工作,但是它的真正兴起是近 20年的事情,目前正处在蓬勃发展阶段. 《聚合函数及其应用》将以一致模算子为主线,介绍近年来的进展及作者在这方面的工作. 主要包括:一致模算子的定义与结构;基于一致模的模糊蕴涵;基于一致模算子的函数方程. -
离散数学朱保平,陆建峰,金忠,张琨 著本书是全国高等学校计算机教育研究会支持的立项教材,较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程重要知识点为纽带,夯实程序设计思路,拓展数据和关系的表示方法,强化从实例计算到模型计算和问题—形式化—自动化(计算机化)等方法,旨在为后续的科学研究打下良好的基础。全书由命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、关系、函数与集合的势、图论、树和有序树、群和环、格与布尔代数共12章组成。 本书可作为高等院校计算机科学与技术及相关专业离散数学课程教材,也可作为教师、研究生或软件技术人员的参考书。 -
极大平面图理论结构许进 著图论作为数学的一个重要分支,已广泛应用于计算机科学、信息科学、生命科学、管理科学等领域。平面图是图论的主体内容。由于诸如四色猜想、**4-色平面图猜想和九色猜想等的研究对象均为极大平面图,故从1879年至今,学者们从各种角度展开了对极大平面图的研究。本书系统地介绍极大平面图的结构、构造及着色等相关理论,内容包括:基于放电变换的极大平面图乃至一般平面图的结构特征研究;四色猜想的计算机证明;极大平面图的几种构造方法;极大平面图生成运算系统;极大平面图色多项式递推公式;**4-色极大平面图猜想的研究;极大平面图中Kempe变换与σ-特征图理论等。 -
高等工程数学郑洲顺,张鸿雁,王国富 著本书编写形式上采用通过实际工程案例出发的方式,引申出数学模型以及计算方法,然后在着重讲解理论结果,以问题导向来编写本书。全书共13章,通过城市供水量的预测模型、湘江流量估计模型、养老保险问题、小行星轨道方程计算问题、回归问题、产品次品率的推断、屈服点与含碳量和含锰量的关系、灯丝配料对灯丝寿命的影响等问题,分别介绍了数学建模与误差分析、插值与拟合算法、数值积分法、非线性方程求根的数值解法、线性方程组的数值解法、线性方程组求解的迭代法、常微分方程数值解法简介、估计与检验、回归分析、方差分析与正交试验设计、线性规划模型与理论简介、线性规划的单纯形算法、线性规划的对偶问题、*优化问题数学建模专题等内容。使得学生能够通过解决实际问题来掌握理论内容。本书可供工科(特别是工程类)硕士研究生作为教材或学习参考书,也可供相关专业的教师和工程技术人员参考。 -
离散数学基础及实验教程谢胜利,虞铭财,王振宏 著本书对计算机类专业在本科阶段1需要的离散数学基础知识做了系统的介绍,力求概念清晰,注重实际应用。全书共分8章,内容包括准备知识(集合、整数、序列和递推关系、矩阵),数理逻辑,计数(组合数学),关系,布尔代数,图论(图、树、图和树的有关算法)及对应的离散数学实验等,并含有较多的与计算机类专业有关的例题和习题。 本书叙述简洁、深入浅出、注重实践和应用,主要面向地方院校和独立学院计算机类专业的本科学生,也可以作为大学非计算机类专业学生的选修课教材和计算机应用技术人员的自学参考书。 -
数理逻辑[德] H.D.Ebbinghaus(H.D.埃宾豪斯) 著本书是一部难度适中的本科生数学教材.主要讲述了什么是数学证明,这些证明怎么能够被验证以及电脑在多大程度上能够执行这些数学证明.本书从一阶逻辑以及它在数学基础中的作用的讲述开始,深入阐述了 Trachtenbrot的不可判定性理论,基础等值理论的Fraisse特性,以及逻辑程序设计的基础这些经典的知识点. 读者对象:本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生、研究生以及相关专业的研究人员。 -
李代数和表示论导论[美] J.E.Humphreys(J.E.汉弗雷斯) 著本书是一部优秀的李群及其表示论研究生教材,深受数学专业和物理专业的研究生好评。本书初版于1972年,以后经过多次修订重印,本书是1997年的第7次修订重印版。书中对一些问题的处理很有特色,立足点较高,但叙述十分清晰,如线性变换的Jordan-Chevalley分解、Cartan子代数的共轭定理、同构定理的证明、根系统的公理化处理、Weyl特征子公式、Chevalley群的基本结构等。 -
测度论[美] Paul,R.Halmos(P.R.哈尔莫斯) 著作者Halmos在遍历理论、代数逻辑、算子理论等方面的研究很有成就。本书是Springer《数学研究生教材》丛书之18卷,是测度论的经典名著,书中对测度论作了较全面的论述,并详细介绍了前苏联和法国各学派的研究工作及其重要成果。 -
凸分析讲义李庆娜,李萌萌,于盼盼 著《凸分析讲义》主要讲述了优化理论的基础——凸分析的主要内容,是结合作者多年来在优化课程中的经验及凸分析讨论班涉及的内容总结整理而成的。《凸分析讲义》融入了大量研究优化理论用的应用案例及图片,使得对知识点的理解更加简单形象,便于本科生及研究生作为教材及优化的参考书。《凸分析讲义》基本内容包括仿射集、凸集及凸集上的运算、凸集的拓扑性质、凸函数及其运算等。 -
复分析引论曹怀信等 著《An Introduction to Complex Analysis(复分析引论)》是作者多年从事复变函数论双语教学经验的总结. 其内容设置完全适合我国现行高等院校(特别是师范院校)本科教学的教学目标与课时需要.《An Introduction to Complex Analysis(复分析引论)》内容深入浅出、层次分明, 理论体系严谨、逻辑推导详尽, 强调“分析式”教学法, 在引入概念前, 加入了必要的分析与归纳总结, 然后提出相应的概念; 在提出问题之后, 进行推理分析、增加条件, 最后得到问题的答案, 并把前边的讨论总结成一个定理. 其次, 《An Introduction to Complex Analysis(复分析引论)》配有大量图形, 帮助读者直观理解相应的概念与论证思路.
