离散数学

本书以详尽和丰富的资料，全面介绍计算机科学与技术及相关专业所必需的离散数学知识。本书分为4篇。第1篇为数理逻辑，包括命题逻辑和谓词逻辑。第2篇为集合论，包括集合的概念和基本运算、关系和函数。第3篇是代数系统，包括代数系统一般性质和典型的代数系统。第4篇是图论，包括图的基本概念、欧拉图和哈密顿图及特殊图。各篇相对独立而又有机联系，讲解与证明力求严格完整。书中的例题、习题具有一定的典型性，内容深入浅出、通俗易懂，理论上具有完整性和系统性，

数值计算方法复习与实验指导-(第2版)

本书阐述数值计算的基本理论和常用方法，包括：误差分析与算法设计、非线性方程的数值解法、线性方程组的直接法与迭代法、插值法与最小二乘拟合法、数值积分与数值微分、常微分方程的数值解法、矩阵特征值与特征向量的计算等，并在附录中介绍了数值实验报告的基本格式和Matlab软件的基本使用方法。书中含有较丰富的例题、习题和数值实验题，给出了典型算法的伪代码描述及Matlab软件提供的相应函数...

有限元简明教程

Toeplitz系统预处理方法

the use of the preconditioned conjugate gradient method with circulant preconditioners to solve toeplitz systems was proposed in 1986. in this short book,the author mainly studies some well-known preconditioners from a

无网格法:理论与算法:theories and approaches

本书以简明易懂的方式，系统地介绍了无网格法的基本理论及各种代表性算法，使初学者很容易掌握这一计算方法的原理和知识。在内容组织上，以固体力学作为应用背景，以无网格法“介点原理”为主线，较为全面地介绍了无网格全局弱式法、局部弱式法、配点类方法、边界型方法和结合式方法等各类离散方法的基本原理及其算法。此外，对移动最小二乘近似法(MLS)的简化和稳定化、介点原理的应用，以及对配点类方法的完善和发展，是本书重点阐述的内容...

Mathematica基础及其在数学建模中的应用-(第2版)

《Mathematica基础及其在数学建模中的应用（第2版）》是作者结合多年的Mathematica与数学建模课程教学实践编写的，其内容包括Mathematica软件介绍、Mathematica应用基础、Mathematica在高等数学中的应用、Mathematica在线性代数中的应用、Mathematica在概率统计中的应用、利用Mathematica编程、Mathematica在数值计算及图形图像处理中的应用、Mathematic

计算方法

本书内容包括计算方法的特点、任务、研究对象、误差与算法；非线性方程根的数值解法；线性方程组的数值解法等。 ...

简明实用速算法 高位分段累加算术 第2版

本书以高位分段累加计算的方法，全面系统地介绍了实数加、减、乘、除、乘方、开方运算在普遍情况下的简化计算法则，实现了数的运算在通常情况下即能顺利通过心算速算来完成的目的。全书共分九章：第一章至第八章介绍了高位分段累加算术的思想方法，及其在实数加、减、乘、除、乘方、开方运算中的一般心算速算应用；第九章介绍了特殊条件下的心算速算方法，并运用高位分段累加算术解读了古印度吠陀数学乘法五式和除数是九的除法速算方法。第二版增加了直写答案式简化计算方

IMO 50年:2005-2009:第10卷

本书汇集了第46届至第50届国际数学奥林匹克竞赛试题及解答。本书广泛搜集了每道试题的多种解法, 且注重了初等数学与高等数学的联系。主要内容包括: 第46届国际数学奥林匹克、第47届国际数学奥林匹克、第48届国际数学奥林匹克等...

计算技术习题集

21世纪高等院校教材数值计算方法(上)/21世纪高等院校教材

本书详细地介绍了计算机中常用的数值计算方法，主要内容包括：误差分析、解非线性方程的数值方法、解线性方程组的直接方法、插值法、数值积分，本书每章末均附有丰富、实用的习题。 本书可作为高校数学系、计算机系教材，也可供工程技术人员参考...

数值 分析 第5版

《数值分析（第5版）》是为理工科大学各专业普遍开设的“数值分析”课程编写的教材。其内容包括插值与逼近，数值微分与数值积分，非线性方程与线性方程组的数值解法，矩阵的特征值与特征向量计算，常微分方程数值解法。每章附有习题并在书末给出了部分答案，每章还附有复习与思考题和计算实习题。全书阐述严谨，脉络分明，深入浅出，便于教学。 　　《数值分析（第5版）》也可作为理工科大学各专业研究生学位课程的教材，并可供从事科学计算的科技工作者参考...

数值计算方法

本书较系统地介绍了科学与工程计算中常用的数值计算方法，并结合基本理论与实际应用，对这些方法作了简要分析。全书共8章，内容包括误差、函数插值、曲线拟合、数值积分与数值微分、方程求根、线性方程组的数值解法、矩阵特征值和特征向量的计算、常微分方程的数值解法等。每章都选有一定数量的例题和习题，供学生练习、提高。 本书可作为高等学校数学教育、数学与应用数学、信息与计算科学、应用物理及计算机科学等专业的教材，也可供从事科学与工程计算的科技工作者

计算的本质

计算,实际上是解决问题的过程。人们希望用计算机能找到解决一切问题的方法，因此在计算领域建立了算法理论和算法模型，并根据各种问题提出具体算法。而计算的复杂性是现代数学中最令人着迷的领域之一。本书通过几个经典的计算问题：哥尼斯堡七桥问题、汉密尔顿路径问题、整数分解和国际象棋问题，浅探计算的魅力...

有限单元法

本书系统地阐述了有限单元法的基本原理、数值方法、计算机实现和它在固体力学领域各类问题中的应用。 全书分为两篇共17章。第1篇（第1-7章）为基本部分，包括有限单元法的理论基础——加权余量法和变分原理；弹性力学问题有限单元法的一般原理和表达格式，单元和插值函数的构造，等参元和数值积分，有限单元法应用中的若干实际考虑，线性代数方程组的解法，有限单元法的计算机程序。第2篇（第8-17章）为专题部分，包括（杆、板、壳）结构力学问题，场和

轨迹

本书主要讨论了点的轨迹的意义和探求轨迹的方法，包括综合法和解析法. 在此基础上， 还简要的介绍了动图形的轨迹和曲线族的包络的初步知识。 本书可供中学数学教师参考，也可供中学生课外阅读...

IMO 50年:1974-1978:第4卷

本书汇集了第16届至第20届国际数学奥林匹克竞赛试题及解答。本书广泛搜集了每道试题的多种解法, 且注重了初等数学与高等数学的联系。主要内容包括: 第16届国际数学奥林匹克、第17届国际数学奥林匹克、第18届国际数学奥林匹克等...

三角恒等式

三角恒等变形是中学数学的难点之一. 本书全面系统地总结了中学课程三角恒等变形的内容，对三角恒等式的证法和技巧做了分类指导，着重解题思路的分析. 内容包括同角函数关系、加法定理、反三角函数、三角形的边角关系、三角恒等变形的各种应用以及代数对三角恒等变形的应用等. 全书精选例题、习题218则. 习题还附有解法提示. 可供中学师生、中学程度的自学青年作为学习三角恒等式的辅助读物...

科学计算中的确认与验证

随着科学计算水平的不断提高，数值模拟成为自然科学领域的关键技术手段。对于流体领域的研究者，动力学数值模拟是描述流体运动客观现象及规律的重要工具，也是深刻理解流体及其伴生要素输移运动基本理论的重要途径。随着数值模拟的重要性日益显著，数值模拟的核心问题即数学模型的可靠度和准确性也备受关注，如何度量科学计算的综合性能，如何确认和验证模型的计算结果，是流体数值模拟领域进行行业标准化应用和推广亟待解决的重要科学问题。 目前，国内同业对科学计算

郭柏灵论文集:第八卷

本书按照郭老师在不同时期所从事的研究领域，分成多卷出版。文集中所搜集的都是郭老师正式发表过的学术成果...

计算方法与几何证题

能源数值模拟方法的理论和应用

能源数值模拟的计算方法是现代计算数学和工业应用数学的重要领域。能源数值模拟，就是用电子计算机模拟地下油藏卜分复杂的化学、物理及流体流动的真实过程，以便选出开采方案和监控措施。 《信息与计算科学丛书·典藏版（57）：能源数值模拟方法的理论和应用》内容包括油田开发中的油水二相渗流驱动、可压缩二相渗流、化学驱油，核废料污染，油田勘探中的油气资源盆地评估，海水入侵和防治，半导体器件瞬态问题等领域的数值模拟计算方法、数值分析理论和实际应用。

傅里叶积分算子理论及其应用

《现代数学基础丛书·典藏版13：傅里叶积分算子理论及其应用》介绍了近代线性偏微分方程理论中的一个重要内容——傅里叶积分算子的局部理论及其在偏微分方程中的应用。　　《现代数学基础丛书·典藏版13：傅里叶积分算子理论及其应用》共分四章。前三章叙述基本概念、分布奇性的微局部分析以及傅里叶积分算子的运算。最后一章介绍它们在微局部化简、拟基本解的构造及解的奇性分析等方面的应用。　　读者对象为大学数学系高年级学生、研究生、教师及有关的科学工作者.

非数值并行算法(第二册)遗传算法

《非数值并行算法（第二册 遗传算法 典藏版）》系统地叙述了非数值并行算法之一的遗传算法的基本原理以及新进展，同时为了便于读者解决实际问题，书中对具体算法的步骤作了详细介绍。《非数值并行算法（第二册 遗传算法 典藏版）》共分七章，第一章介绍算法的思想、特点，发展过程和前景。第二章介绍算法的基本理论。第三章讨论算法解连续优化问题。第四章利用算法设计和优化神经网络。第五章介绍在组合优化中的应用。第六章介绍应用遗传程序设计解决程序没计自动化问

郭柏灵论文集-第十卷

《郭柏灵论文集（第10卷）》按照郭老师在不同时期所从事的研究领域，分成多卷出版。文集中所搜集的都是郭老师正式发表过的学术成果。把这些成果整理成集出版，不仅系统地反映了他的科研成就，更重要的是对于从事这方面学习、研究的学者无疑大有裨益。这本文集的出版得到了多方面的帮助与支持，特别要感谢华南理工大学校长李元元教授、华南理工大学出版社范家巧社长和华南理工大学数学科学学院吴敏院长的支持。还要特别感谢华南理工大学的李用声教授、华南师范大学的

计算方法

《计算方法/中国科学院规划教材》主要介绍数值分析中的一些基本内容：误差和条件问题、解线性方程组的直接解与迭代解法、特征值问题的计算方法、解非线性方程和方程组的计算方法、插值与逼近、数值积分与数值微分以及常微分方程数值解法。　　《计算方法/中国科学院规划教材》主要介绍数值分析中的一些基本内容：误差和条件问题、解线性方程组的直接解与迭代解法、特征值问题的计算方法、解非线性方程和方程组的计算方法、插值与逼近、数值积分与数值微分以及常微分

稀疏统计学习:LASSO方法及其推广

稀疏统计模型只具有少数非零参数或权重，经典地体现了化繁为简的理念，因而广泛应用于诸多领域。本书就稀疏性统计学习做出总结，以LASSO方法为中心，层层推进，逐渐囊括其他方法，深入探讨诸多稀疏性问题的求解和应用；不仅包含大量的例子和清晰的图表，还附有文献注释和课后练习，是深入学习统计学知识的参考。本书适合计算机科学、统计学和机器学习的学生和研究人员...

网络流:理论、算法与应用

本书全面介绍了经典的和现代的网络流技术，包括综合的理论、算法与应用。主要内容包括：路径、树与周期，算法设计与分析，优选流与最小流算法，分派与匹配，最小生成树，拉格朗日松弛与网络优化等。书中包含大量练习题，拓展了本书的内容，便于教学...

《九章算法比类大全》校注

本书是明朝三大数学名著之一，是我国数学史、珠算史上百科全书式的重要著作，内容几乎涉及现代初等数学、珠算的所有内容，故称为大全。 本书适合大中小学数学教师及广大数学爱好者阅读...

基谢廖夫算术

本书主要讲述了抽象整数、带有单位的数量、数的可整除性、普通分数、小数、比和比例等内容，语言通俗易通；结构上划分七章，并从最基础的理解数字开始，又划分多个知识点，递进式讲述，衔接连贯.每章节在描述时，有的会配有具体例子参考，不脱离实际操作，使读者更快速掌握知识，也能够激发读者的阅读兴趣，启迪思维，提高对算术的认识.本书适用于中小学师生、数学相关专业的学生以及对算术有专研精神的兴趣爱好者参考阅读...

速算巧算快速入门

本书围绕算术运算展开，在强调常规计算方法训练的重要性的基础上，有针对性地介绍了大量颇具特色的计算方法和技巧，具体内容包括20以内的加减法童子功、一位数加减法进阶、多位数加减法计算技巧、一位数的乘法技巧、多位数的乘法技巧以及除法的巧妙计算方法。另外，还介绍了中小学数学学习中常用的单位换算方法和其他重要内容。书中所涉及的速算和巧算原理通俗易懂，方法简洁实用，例题丰富，针对性强，可以帮助你快速提升基本算术运算能力。 本书可供中小学生阅读，也

数值最优化

本书作者现任美国西北大学教授，多种国际杂志的主编、副主编。作者根据在教学、研究和咨询中的经验，写了这本适合学生和实际工作者的书。本书提供连续优化中大多数有效方法的全面的新的论述。每一章从基本概念开始，逐步阐述当前可用的技术。　　本书强调实用方法，包含大量图例和练习，适合广大读者阅读，可作为工程、运筹学、数学、计算机科学以及商务方面的研究生教材，也可作为该领域的科研人员和实际工作人员的手册。　　总之，作者力求本书阅读性强，内容丰富，

LINGO和Excel在数学建模中的应用

·深入浅出地介绍lingo的基础知识 　　·案例丰富、条理清晰、讲解透彻、图文并茂 　　·大学生数学建模竞赛的指导用书 　　·拓宽知识面，提高分析问题、解决问题的能力...

有限元方法及其应用

《有限元方法及其应用》内容包括：有限元方法构造及其在电子计算机实现的全过程，椭圆边值问题变分原理，有限元解的收敛性，非标准有限元方法，以及有限元方法在科学与工程中的应用，并且介绍了作者几年来在工程问题中的部分研究成果...

寿险精算学(修订版)

本书系统地介绍了寿险精算的基本知识、基本技能和基本方法。内容包括：生存分布理论基础、利息理论基础、寿险的趸缴纯保费、生存年金的趸缴纯保费、均衡保费、多元生命函数等...

非线性发展方程的有限差分方法(英文版)

本专著针对应用科学中12个重要的非线性演化方程介绍了有限差分方法的近期新研究成果，包括微分方程解的守恒性和有界性分析、有限差分方法的建立、差分解的守恒性和有界性分析、差分解的存在性分析、差分解的收敛性证明，差分格式的可解性。所提出的差分格式包括非线性差分格式和线性化差分格式。12个非线性演化方程分别为:Fisher方程、Burgers方程、正则长波方程、Korteweg-deVries方程、Camassa-Holm方程、Schrodi

数据建模与计算案例

本书《数据建模与计算案例》以数据模型及计算为主线，分共性算法案例、数据工程领域数据计算案例两部分。共性算法篇在概述数据建模与计算的理论、方法及应用基础上，列举了若干共性数据计算方法，包括优化算法、正则化方法、几何算法.数据建模与计算篇围绕统计生成性模型与数据机理模型融合、多算法集成创新主线，例举了十个数据工程领域数据建模与计算的案例，涉及医学、金融、量化投资、图像处理、智能决策、音乐流派分类、疫情数据分析、功能服装设计、海洋数据分析等

郭柏灵论文集第17卷

郭柏灵论文集第十七卷由17篇独立论文组成，主要包括了郭柏灵院士在2018年发表的全部论文。郭柏灵论文集包括的主要内容有：确定性偏微分方程和随机偏微分方程，研究的问题包括适定性、爆破性、渐近性、孤立波等等。这些论文具有很高的学术价值，对偏微分方程、数学物理、非线性分析、计算数学等方向的科研工作者和研究生，是极好地参考著作。本书也适合从事偏微分方程、数学物理、非线性分析、计算数学等方向的科研工作者和研究生参考阅读...

计算方法

本书比较全面地介绍了科学与工程计算中常用的计算方法，具体介绍了这些计算方法的基本理论与实际应用，同时对这些数值计算的计算效果、稳定性、收敛效果、适用范围以及优劣性与特点也作了简要的分析...

无约束最优化与非线性方程的数值方法

POD产品说明： 1. 本产品为按需印刷（POD）图书，实行先付款，后印刷的流程。您在页面购买且完成支付后，订单转交出版社。出版社根据您的订单采用数字印刷的方式，单独为您印制该图书，属于定制产品。 2. 按需印刷的图书装帧均为平装书（含原为精装的图书）。由于印刷工艺、彩墨的批次不同，颜色会与老版本略有差异，但通常会比老版本的颜色更准确。原书内容含彩图的，统一变成黑白图，原书含光盘的，统一无法提供光盘。 3. 按需印刷的图书制作成本高于

有值二叉树

《有值二叉树》一书讨论完整二叉树的结构特征，以及完整二叉树在四个元素的有限集合上、特定约束条件下的解空间与其表示法、性质、节点间值对应模式、节点间值的数量关系，定义最简解向量表的变换、最简值树的变换与值树的剪枝，并证明变换和剪枝的终结条件。 　　《有值二叉树》可供对图论感兴趣的学生、研究人员阅读...

离心叶轮内流数值计算基础

《离心叶轮内流数值计算基础》根据作者多年来在叶轮机械与流体力学相关领域的积累和研究成果提炼而成。主要内容包括流体基本属性、基本方程组的推导、网格生成的代数法与微分法、网格量的计算、模型方程的分类及求解特征、差分及其稳定性分析、有限体积法的基本原理、不可压缩N-S方程的离散计算、边界条件的实施、代数方程系统的迭代法、动-静子耦合流动模型与算法，以及并行编程基础等。《离心叶轮内流数值计算基础》注重理论体系的完整、系统和实用性，将抽象的理论

跨流域空气动力学GPU并行算法--N-S方程高性能计算(精)/跨流域空气动力学丛书

本书首先介绍GPU技术和CUDA架构的入门知识，并给出了CudaFortran的开发环境配置；然后，通过矢量加法、矢量点积、矩阵乘法等简单示例详细介绍了CUDAFortran语法和使用模式、GPGPU技术编程特点等基础知识；接着，简单介绍了CUDAFortran的调试方法、错误信息分析等；很后，通过多GPU的使用、GPU并行计算在CFD/DSMC等高性能计算中的应用等专题讨论，揭示GPGPU技术在高性能计算中的应用方法和技巧。书中的示

量子计算机研究:下:纠错和容错计算

量子信息学是20世纪80年代以量子物理学为基础,融入计算机科学、经典信息论形成的新兴交叉学科，主要包括量子通信和量子计算两个分支。《量子计算机研究（下册）——纠错和容错计算》是关于置子计算机研究,分上、下两册出版。上册是关于置子计算机原理和物理实现，下册是关于量子纠错和容错量子计算。《量子计算机研究（下册）——纠错和容错计算》为下册,内容包括经典纠错码理论、CSS量子纠错码、稳定子量子纠错码、无消相干子空间和无消相干子系统理论、容错量

郭柏灵论文集:第十三卷:Volume 13

郭柏灵论文集第十三卷收集的是郭柏灵先生发表于2014,2015年度的主要科研论文，涉及的方程范围很广，有确定性偏微分方程和随机偏微分方程，研究的问题包括适定性、爆破性、渐近性等等。这些论文具有很高的学术价值，对偏微分方程、数学物理、非线性分析、计算数学等方向的科研工作者和研究生，是极好地参考著作...

流动与传热数值计算:若干问题的研究与探讨

本书介绍了笔者宇波近十年教学和科研中积累的对流动与传热数值计算若干问题的一些认识, 包括网格生成、方程离散、格式性质、多重网格、收敛准则和POD低阶模型等...

基于二元Box样条的多进制细分算法

本书主要研究基于二元四次Box样条的多进制细分算法。在文中，我们对二进制Loop细分算法进行了推广，得到了规则三角形网格上的进制细分算法的掩模的显式表达式。通过构造和分析进制细分算法的特征矩阵，得到了细分矩阵的次优势特征值是2重实特征值与细分算法的特征映射是单射的必要条件相结合的等价条件...

信息与计算科学丛书四元数矩阵特征值问题——保结构算法与应用(英文版)

本书主要研究四元数矩阵特征值问题的理论与算法以及在彩色图像识别中的应用。首先，我们介绍两类四元数矩阵特征值问题，即左特征值问题和右特征值问题。在理论上，分析两类问题的可解性、解的专享性、扰动性等。其次，给出求解四元数矩阵右特征值的保结构算法，包括直接方法和迭代算法。然后，分析迭代算法的收敛性。很后给出四元数特征值问题的应用，包括彩色图像填充、人脸识别、主成分分析...

一维有限单元法

作者选择一维轴力杆单元来展示有限单元法的基本原理与求解方法。本书首先通过直接刚度法感性地展示有限元的基本过程；接着针对杆单元的"强"形式，构造了各种"弱"形式以及各种变分形式；其次采用杆单元给出了线性静态分析、线性动态分析、几何非线性分析、材料非线性分析的有限元格式、解法以及案例的详细步骤；然后推导了有限元方程的导数（灵敏度分析），以及求解了复合材料的多尺度问题；很后给出了作者自主开发的开源教学软件EFESTS...

机构自由度计算原理和方法

机构的自由度计算是机械设计中的一个基本问题。由于本科机械工程专业要培养千千万万机械工程师，他们将参加方方面面的机械创新活动，能够正确分析机构自由度将是其不可或缺的知识和能力。然而，至今百余年来人们始终未获得一个普遍适用的公式，使自由度分析遇到困难...

全局最优化——算法评价与数值比较

本书探讨全局**化算法的理论评价与数值性能比较。本书分3 部分共11 章。第1 部分介绍全局**化的数学模型、基本理论与一些主流算法。第2 部分系统阐述全局**化算法的理论评价和数值性能比较，重点介绍用于数值比较的**化测试问题和主流的数据分析方法。第3 部分聚焦于数值评价的策略选择与结果解读及分析可能遇到的悖论，介绍两大悖论发生的概率和消除悖论的方法...

数值计算方法

随着计算机的广泛使用和科学技术的迅速发展，科学计算已经成为继理论分析和科学实验之后的第三种重要的科学研究方法。"数值计算方法"是一门介绍各类数学问题的近似求解的最基本、最常用的方法，它既具有数学各专业课程的抽象性和严谨性,又具有解决实际问题的实用性和实验性的技术特征，是理工科相关专业本科生和硕士生的一门重要专业基础课程。本书参照教育部关于"数值计算方法"课程的基本要求为理工科各专业研究生及高年级本科生编写的，其基本内容包括数值代数，数