《矩阵计算》是已故美国科学院院士、美国工程院院士吉恩 戈卢布（Gene H. Golub）等人的经典巨著，是矩阵计算领域的标准性参考文献。本书系统介绍了矩阵计算的基本理论和方法．内容包括：矩阵乘法、矩阵分析、线性方程组、正交化和*小二乘法、特征值问题、Lanczos 方法、矩阵函数及专题讨论等．书中的许多算法都有现成的软件包实现，每节后附有习题，并有注释和大量参考文献．第4 版增加约四分之一内容，反映了近年来矩阵计算领域的飞速发展。
《高等代数习题解（上）（修订版）》从多项式、行列式、线性议程组、矩阵等方面，精选了618道典型性较强的习题，做了全面详细的解答，并注意了一题多解。每节习题之前都对本节主要定义、定理和理要结论作了简要的概述。内容丰富，重点突出，解答明确，尤其便于自学。可供高等院校师生、中学教师和广大数学爱好者以及有志报考研究生的人员学习参考。
随着数学的不断发展，不定方程的重要性日益显著。现代数学的重要分支，如代数数论，代数几何，表示理论……都在这里交汇。不定方程几乎成为一块试金石，用以检验新的数学理论和新的数学方法。 本书是为丰富中学生的数学知识而写的小册子。 为便于学生学习，尽量使用初等方法来讨论在初等数学(特别是各级数学竞赛)中经常遇到的不定方程。学生阅读不定方程所需的一些整数知识，在本书的附录中也作了阐述，可供参考。
本书从二次型，集合与映射，线性空间，线性变换， 矩阵，欧氏空间等方面，精选了494道典型性较强的习题，做了全面详细的解答，并注意了一题多解。每节习题之前都有对本节主要定义，定理和重要结构作了简要的概述。可供高校师生，中学教师和广大数学爱好者学习参考。
本套书是大学“高等代数”课程的辅导教材，是作者多年来在北京大学从事高等代数数学工作的结晶。本套书共有11章，分上、下两册。每章节主体结构包括内容精华、典型例题、习题三部分，章末还有补充题。本书阐述了高等代数的理论，总结了高等代数中重要的典型题型及考研题型，提炼了解题的规律、方法和技巧，旨在通过对理论的阐述以及解题方法和技巧的分析，使读者能掌握理论，举一反三、触类旁通。本书可作为“高等代数”或“线性代数”课程的教学参考书，也可供从事高等代数或线性代数教学的教师参考，还可作为工学、理学、经济学、管理学等学科专业硕士生入学考试数学科目的复习用书。
几何是数学学习的基础之一，借助几何学，我们能搭建房屋、丈量土地、观测星空，还能设计滑梯、装饰地板……连一副小小的七巧板都能催生出众多数学成果。本书从建筑、测量、图形游戏等角度讲述了有趣的几何小故事，不仅涉及直线形、圆、非圆曲线、立体几何等基础几何学知识，而且加入了图论、拓扑、组合几何、非欧几何等主题，“扩大”了美妙的几何世界。本书阐释了几何学知识，同时介绍了古今中外关于几何的逸闻趣事，展现了图与形的自然之美。本书尤其适合小学高年级学生和中学生阅读。
本练习册与同济大学数学系编写的第七版《高等数学》下册（高等教育出版社出版）相配套，共包括两部分内容：练习题和参考答案。按时完成练习作业是理工科大学生巩固高等数学课堂学习效果的基本要求，所附参考答案可方便学生完成作业后及时检查。 为了方便教师和学生收交作业，本练习册分为A、B两册，即奇数周作业为A册，偶数周作业为B册。
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教
《高等数学（第四版 下册）》的主要特色是以现代数学的观点审视经典的内容，科学组织并简洁处理相对成熟的素材，对分析、代数、几何等方面作了统一的综合处理，揭示数学的本质、联系和发展规律；注重数学概念的实际背景和几何直观的引入，强调数学建模的思想和方法；在适度运用严格数学语言的同时，注意论述方式的自然朴素、易于理解；配有丰富的图示、多样的例题和习题，便于学生理解和训练。全书的深度和广度能适应多数专业的数学基础教学需要。下册包括多元微积分、级数、常微分方程、概率论与数理统计。《高等数学（第四版 下册）》可作为高等学校理科、工科和技术学科等非数学类专业的教材，也可供经济、管理等有关专业使用，并可作为上述各专业的教学参考书。
本版《高等数学》上下册系高等工业院校的本科高等数学少学时使用的教材，是在天津大学历年高等数学版本的基础上，重新组织编写的。全书参照高等工业学校《高等数学课程教学基本要求》，结合教学实际，并参考了报考硕士研究生数学入学考试（数学二）内容的要求（本书涉及的内容超出了数学二的要求）而编写的。 该书上册包括函数、极限与连续、导数与微分、微分中值定理及导数的应用、不定积分、定积分和微分方程等7章；下册包括矢量代数与空间解析几何、多元函数微分学、重积分、曲线积分与曲面积分和级数等5章。
本书作为高职教育的知识载体，在深化教育教学改革、全面推进素质教育、培养创新人才中有着举足轻重的地位。高等数学是高职院校各专业重要的基础课程之一，随着高职教育的蓬勃发展和教学改革的不断深入，为了适应高等职业教育培养高技能人才的需要，更好地贯彻*等七部门《关于进一步加强职业教育工作的若干意见》的有关精神，在认真总结兄弟高职院校高等 数学课程的教学改革经验以及我院教师的教学经验的基础上，我们组织编写了教材《高等数学》，本书力求充分考虑高职教育的特点与要求，使其既满足高职各类专业需要，又适合高职学生的不同知识需求。 在本书的编写过程中我们遵循以下原则： 1．注重以实例引入概念，并终回到数学应用的思想，加强学生对数学的应用意识和兴趣，培养学生用数学思想消化吸收专业知识的能力。注意与实际
《线性回归的相对有效性和估值漂移》根据作者多年从事测量数据处理的教学与研究工作成果撰写而成。《线性回归的相对有效性和估值漂移》讨论和确定了常用稳健估计方法的相对有效性，以及总体*小二乘法与*小二乘法、稳健总体*小二乘法与稳健*小二乘法线性回归在不同误差模型影响下的相对有效性；提出了参数估计方法线性回归估值漂移的概念，讨论了*小二乘法和总体*小二乘法线性回归估值漂移的相关问题，建立了判定估值漂移的基本方法；讨论了一元线性回归自变量的优化、可线性化的一元非线性回归中直接观测值与间接观测值回归的差异和总体*小二乘法验后方差因子的实用性。
《华职教育·2014年全国高等教育自学考试创新型同步辅导系列：高等数学（工本）同步辅导·同步训练》是紧扣全国高等教育自学考试《高等数学（工本）》*考试大纲及自考委指定教材，系统研究历年考试真题，并在结合多年教辅经验的基础上编写而成的，希望能够对广大学员有所帮助。 书正文每章节均分为五部分：教材知识架构、本章考纲解读、考点考频分析、重难点知识串讲（含真题链接）、知识强化训练（含参考答案及解析）。下面将逐一进行介绍。
本书是与毕燕丽主编的《高等数学》教材配套的高等数学课程学习指导书。 本书意在指导学生如何学习高等数学；怎样理解知识点，解惑答疑；总结归纳解题方法。适当增加练习题量，以补充教材题量小的缺憾，促使学生通过做题掌握解题方法，提高对《高等数学》教材的学习水平，也可以满足想继续深造(专升本、自考)学生复习的需要。 本书内容包括：函数与极限、导数与微分、导数的应用、不定积分、定积分、定积分的应用举例、常微分方程、多元函数微分学、二重积分、级数、拉普拉斯变换、矩阵及其应用、概率论初步、练习题参考答案。
本书特点： 1.含金量高，*考研数学试题的命制经过多年的风风雨雨形成了一套成熟的运作体系，其命题人员，命题思路具有明显的延续性和稳定性，从而确保了极强的科学性，我们荣幸地邀请到*考试中心、考研数学资深命题人员：蔡燧林教授（1992-2000年命题）、胡金德教授（1989-1997年命题）、范培华教授（1987-2003年命题）、李恒沛教授（1987-2001年命题）、王式安教授（1987-2001年命题）、周概容教授（1987-2003年命题）、单立波教授（1987-2003年命题），每套试卷均由以上教授严格按照2006年考研大纲要求，精选材料、逐题推敲、优化设计而命制完成。题型和题量与考研试题完全一致，并按考试大纲中的样题排版，本书编者既是数学考试大纲的制定者，又是多年的数学命题人，对考研数学命题有最深刻、最权威的把握，可以断言，由他们所编写的这8套试卷，无论从深
