数学
-
概率论与数理统计练习册江登英,楚杨杰,邓艳芳,徐倩 编本书为武汉理工大学数学与统计系主编的教材《概率论与数理统计》的配套习题册,其主要包括:事件与概率、变量及其分布、多维变量及其分布、变量的数字特征、大数定律与中心极限定理、抽样分布、参数估计、假设检验、方差分析与回归分析等知识内容的相关习题和各种考试试卷。书中的题目分为客观题(选择题、填空题等)和主观题(计算题、证明题等),题型非常经典,且与国家重点本科教学实际紧密相连,非常适合于作为重点本科院校学生的课外习题作业。也可供一般的本科院校学生作为提高教辅使用。 -
线性代数练习册朱慧颖,杨文霞,向建林 编本书为武汉理工大学数学与统计系主编的教材《线性代数》的配套习题册,其主要包括:线性方程组的消元法、矩阵的初等变换、二阶与三阶行列式、排列、n阶行列式的定义和性质、行列式的展开和计算、克拉默法则等知识内容的相关习题和各种考试试卷。书中的题目分为客观题(选择题、填空题等)和主观题(计算题、证明题等),题型非常经典,且与国家重点本科教学实际紧密相连,非常适合于作为重点本科院校学生的课外习题作业。也可供一般的本科院校学生作为提高教辅使用。 -
改进MGARCH模型的估计及其在投资组合中的应用刘丽萍 著当研究的资产维度较高、数据量较大时,协方差阵的估计将面临维数诅咒、噪声影响等诸多挑战,如何有效地对其进行估计成为统计领域中越来越重要的亟待解决的问题。《改进MGARCH模型的估计及其在投资组合中的应用》在前人研究的基础之上,对DCC、BEKK、CCC及goGARCH等MGARCH模型进行了改进,通过模拟和实证研究发现:改进的MGARCH模型明显提高了高维资产间协方差阵的估计效率,并且将其应用在投资组合时可以获得更高的收益。 -
变指标函数空间理论及应用徐景实 著《变指标函数空间理论及应用》论述变指标函数空间理论的*新进展。《变指标函数空间理论及应用》内容包括:变指标函数空间和模空间的基本性质;Hardy-Littlewood极大算子在变指标Lebesgue空间、变指标Herz型空间和变指标加权Lebesgue空间上的有界性,以及度量测度空间上的极大算子在变指标空间上的有界性;多重奇异积分算子在变指标空间上的有界性;常指标加权Sobolev空间及变指标Sobolev空间的一些刻画;取值于Banach空间的变指标函数空间的基本性质和*佳逼近刻画。 -
数学对话录[匈牙利] 阿尔弗雷德·雷尼(Alfred renyi) 著,陈家鼐 译这本由数学家写成的小册子,充分地体现了数学文化、科学精神和学者应有的风骨。作者雷尼立意巧妙,在真实的三段古代背景里,假托苏格拉底、阿基米德和伽利略与其他人的对话,抽丝剥茧地探讨了数学是什么、数学的应用该如何展开,以及数学语言对科学的意义这三大主题。本书语言优美、节奏和缓,用可读性很强的对话,慢慢将探讨带向深层,使读者既能体会思维提升的乐趣,又可以享受轻松适意的阅读过程。读雷尼的《数学对话录》,不需要任何专门知识。但是只有肯思考的人,才能循着他的引导,从远的门外,拾级而登,渐入佳境,后在科学的殿堂里找到自己能够欣赏的杰作。 -
数学手册[德] 布龙施泰因 等 著,李文林 等 译《数学手册(原书第10版)》以手册的形式涵盖了人们日常工作、学习所需用到的数学知识。内容包括算术、函数、几何学、线性代数、代数学、离散数学、微分学、无穷级数、积分学、微分方程、变分法、线性积分方程、泛函分析、向量分析与向量场、函数论、积分变换、概率论与数理统计、动力系统与混沌、优化、数值分析、计算机代数系统等,并专门设有数学常用表格章节,方便读者查阅。 -
矩阵分析连保胜 编本书重点介绍了线性、空间、映射(变换)、矩阵相似、矩阵合同、矩阵函数的计算方法,并在极限基础上全面介绍了矩阵分析的相关内容。书后也配有相关习题和解答。本书可作为理工科硕士研究生及高年级本科生教材,也可作为相关专业教师及科研人员的参考书。 -
数学的历程[美] E.T.贝尔 著,汪宇 编,李永学 译《数学的历程》共分二十三章,具体包括:数字的扩展、数论的普遍化、结构分析的出现、费马之后的有理数论、来自几何的贡献、来自科学的推动力、从力学到普遍化的变量、从应用到抽象、微分与差分方程、不变性、函数的某些主要理论、通过物理走向普遍分析和抽象性、不确定性与概率等。 -
形式化构件装配的领域算法构造石海鹤,周卫星 著算法作为计算机软件的核心,其可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径之一。 《形式化构件装配的领域算法构造》结合著者所在学术团队已取得的软件形式化方法PAR及其支撑平台,将生成式程序设计的思想引入到算法开发中来,借助领域建模的概念和方法对置换、查找、序列比对类算法进行抽象,建立了领域特定语言和算法生成模型,开发了领域算法高可靠构件库,自动构件组装生成了三十余个经典的部分领域算法,并构建了具备相应生成能力的系统,从而显著提高了领域算法的开发效率和可靠性,并可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。 -
半线性子结构逻辑的标准完备性王三民 著《半线性子结构逻辑的标准完备性(英文)》系统阐述模糊逻辑标准完备性证明的各种方法和理论,为初学者尽可能多的提供理论和技术上的细节,使其能尽快进入这一课题的研究工作。特别地,较为详细的介绍了作者在这些方面所做的工作,对IUL完备性的证明进行了详细的论述,并针对主算法的*困难部分给出了实例,这在一般地论文写作是不可能的。
