数学
-
数学、科学和认识论[匈] 拉卡托斯 著,林夏水 薛迪群 范建年 译《数学、科学和认识论》共包含三个部分,分别是:数学哲学、批判的论文、科学与教育。卡拉托斯认为反驳在数学中起决定性的作用,猜想的提出不能保证没有反例出现,数学发展的过程则是一个以更深刻、更全面、更复杂的猜想代替原有较朴素的猜想的过程。他认为数学没有必然性的基础,数学公理的真理性难以保证,因而必须把数学看成是“准经验的”。 -
微分几何的各个方面 第二卷[美] 彼得·吉尔基(Peter Gilkey) 著《微分几何的各个方面》共分三卷,本卷是第二卷,章节延续第1卷,包含五章内容:第四章讨论了黎曼几何中的一些附加问题;第五章讨论了德雷姆上同调的基本性质,并简要介绍了特征类理论;第六章讨论了李群和李代数;在第七章中,给出了关于齐次空间和对称空间的指数映射,即经典群;在第八章中建立了单纯上同调、奇异上同调等之间的关系。《微分几何的各个方面》由浅入深,详略得当,条理清晰,可以用作该学科的本科课程,适合高等院校师生及数学爱好者参考阅读。 -
数学手册[德] 布龙施泰因 等 著,李文林 等 译《数学手册(原书第10版)》以手册的形式涵盖了人们日常工作、学习所需用到的数学知识。内容包括算术、函数、几何学、线性代数、代数学、离散数学、微分学、无穷级数、积分学、微分方程、变分法、线性积分方程、泛函分析、向量分析与向量场、函数论、积分变换、概率论与数理统计、动力系统与混沌、优化、数值分析、计算机代数系统等,并专门设有数学常用表格章节,方便读者查阅。 -
数理统计思想方法实践应用哈金才,梁贤本书主要研究数理统计系列重要数学思想方法、重要典型问题及其实践应用。内容主要涉及:综述基于总体假定的估计、推断和检验等传统统计方法,综述数据分布的主要描述方法以及重要的数字特征,重点研究数理统计学中的重要数据挖掘统计分析思想方法,如方差分析、回归分析、判别分析、聚类分析、主成分分析、因子分析、时间序列分析等统计方法,并给出重要思想方法在实践中的应用,通过SPSS、R统计软件等进行数据挖掘实践分析处理,并给出相应的数据分析结果。本书内容通俗易懂,将重要思想方法与实践应用相融合,可供高等学校理工科统计等相关专业的研究生或本科生自学参考。 -
清华大学工农兵学员微积分课本刘培杰数学工作室 编《清华大学“工农兵学员”微积分课本》力求从生产生活实际出发,以分析微分、积分为线索,阐述了微积分的基本分析方法,研究了微积分的计算和应用问题.《清华大学“工农兵学员”微积分课本》可供数学爱好者阅读,也可作为理工科大学参考书. -
积分[美] 史蒂文·G.克兰兹(Steven G.Krantz) 著《积分:分析学的关键(英文)》共包含五章内容,主要介绍了分析学的关键——积分。首章阐述了积分在分析学中的重要作用,详细地论述了常用的积分理论,给出了积分的相关概念;第二章和第三章讨论了黎曼积分和勒贝格积分;第四章对两种理论进行了比较;最后一章介绍了Henstock积分、Daniell积分、Riemann-Stieltjeg积分等常用积分。通过论述常用的积分理论及应用等知识,让读者更深入地了解有关分析学在积分中的重要性。《积分:分析学的关键(英文)》由浅入深,详略得当,条理清晰,可供高等院校师生及数学爱好者参考使用。 -
矩阵分析连保胜 编本书重点介绍了线性、空间、映射(变换)、矩阵相似、矩阵合同、矩阵函数的计算方法,并在极限基础上全面介绍了矩阵分析的相关内容。书后也配有相关习题和解答。本书可作为理工科硕士研究生及高年级本科生教材,也可作为相关专业教师及科研人员的参考书。 -
全局优化理论几种算法的改进研究刘旭旺本书主要围绕神经网络优化、粒子群优化方法和填充函数方法等全局优化方法展开了深入研究,取得了系列研究成果,丰富和完善了全局优化理论几种算法的改进和应用研究。首先,针对Hopfield网络优化,从优化计算存在问题出发,比较分析Hopfield网络优化和模拟退火优化,找到了两种算法的切入点,给出了嵌入式混合优化算法SA—HNN的原理和实现步骤,数值仿真证明了SA—HNN混合优化算法用于组合优化的可行性,有一定工程实用价值。其次,针对粒子群优化算法,以提高种群多样度、**解精度和优化效率为目标,把混沌机制融入粒子群优化,提出了基于混沌的弹性粒子群全局优化算法;同时,把经典的梯度下降算法与上面提出的弹性修正粒子速度有机结合,互为补充,提出了基于梯度的弹性粒子群全局优化方法,数值实验证明了各改进算法的有效性和适用性。最后,针对填充函数方法,提出了一类新的无参数填充函数,把混沌优化与填充函数方法有机结合,提出了基于混沌和填充函数的全局优化方法,数值实验验证了算法的优越性。 -
数学的历程[美] E.T.贝尔 著,汪宇 编,李永学 译《数学的历程》共分二十三章,具体包括:数字的扩展、数论的普遍化、结构分析的出现、费马之后的有理数论、来自几何的贡献、来自科学的推动力、从力学到普遍化的变量、从应用到抽象、微分与差分方程、不变性、函数的某些主要理论、通过物理走向普遍分析和抽象性、不确定性与概率等。 -
半线性子结构逻辑的标准完备性王三民 著《半线性子结构逻辑的标准完备性(英文)》系统阐述模糊逻辑标准完备性证明的各种方法和理论,为初学者尽可能多的提供理论和技术上的细节,使其能尽快进入这一课题的研究工作。特别地,较为详细的介绍了作者在这些方面所做的工作,对IUL完备性的证明进行了详细的论述,并针对主算法的*困难部分给出了实例,这在一般地论文写作是不可能的。
