《高等数学观点下的中学数学》旨在解决如何在高等数学观点的指导下,加强高等数学与中学数学的联系：一是将高等数学的知识、思想、观点和方法渗透到中学数学教学中去;二是揭示中学数学内容中某些不容易解释的问题的高等数学背景;三是通过具体材料或实例展示高等数学对中学数学的指导作用。全书共8章,每章末附有思考题,书后附有参考答案。本

本卷收录了吴文俊在数学机械化领域发表的56论文篇。内容包括：几何定理机器证明的吴方法，多项式系统符号求解的Ritt-吴特征列方法，构造性微分代数几何理论，不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果。还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动

本书是作者根据多年来在黑龙江大学讲授高等代数及相关课程，以及从事科研工作的经验和心得写成的，有许多独到的科学见解。分上下两册出版。上册内容包括行列式、矩阵、线性方程组、特征值与特征向量、内积与正交阵、二次型与对称阵等。下册内容包括多项式、多项式矩阵、线性空间、线性映射与线性变换和欧式空间等。全书体系简练完整，叙述由浅入

本书是根据全国高等教育自学考试指导委员会2019年修订的《高等数学（工本）自学考试大纲》进行编写的，是工科类各专业本科“高等数学”课程自考教材.本书作者具有丰富的教学经验，且参与了本课程考试大纲的修订工作，对自学考试的要求及自考生的情况有深刻的了解. 全书共分六章，内容包括：空间解析几何与向量代数、多元函数的微分学、重

本书首先从薛定谔方程讲起，系统介绍了路径积分和哈密顿量的基本原理。继而，本书讨论了这些原理在广泛的领域，包括量子力学、固体物理、统计力学、量子场论、超弦理论等物理的应用。本书还探讨了路径积分及哈密顿量在高分子、生物学、化学等领域的应用。本书用统一的方法——路径积分与哈密顿量方法来处理各个领域的问题，对于从事各个专业的研

本书将离散数学分为数理逻辑、集合论、代数系统和图论四个部分，系统地介绍了命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图、特殊图中有关的定义、定理及证明方法，并给出了离散数学中不同知识点在计算机科学中的应用。本书配有课后习题参考答案及电子教案。全书结构严谨，逻辑清晰，示例丰富，可以作为高等学校计算机大类

系上围裙，走进吉姆·亨勒的厨房，因为他会向你证明两个同样令人愉快的事情烹饪和数学是如何拥有超乎你认知的相同之处。这是一道为美食家准备的可口的流行数学菜肴,《证明与布丁》这本书将数学解题与美食的愉悦之感结合在一起，充满智慧，又很可口，它会告诉你数学世界里的生活与厨房生活有哪些令人快乐的相似之处。

《高等数学基础》分为上、下两册，按照模块化的教学方式编写。该书为上册，分为4个模块共10章内容函数、函数的极限、函数的连续性、函数的导数、函数的微分、导数的应用、不定积分、定积分、定积分的应用、常微分方程。书中每节均有量的随堂练习，每个模块配有综合练习题。《高等数学基础（上）》可供三年制高职高专工科类各专业教学使用，也

本书深入贴近《英语基础教程1》书本中，每一个单元的知识点。针对每个单元的四个章节，一个章节一个针对性练习。练测卷习题依据该章节中的基础词汇，短语，重点句型，语法、单元主题、写作和对口升学考试当中对应的知识点进行编写，由浅入深，紧扣整个单元所有的知识点。一个单元一张检测卷，针对本单元所学内容有一个阶段性的考查。本书在内容

《高等数学习题册（上）》具体内容包含函数、极限与连续，微分学，积分学，微分方程4个模块。本习题册以教材为主线，模块、章、节名和先后顺序均与教材吻合，与《高等数学基础》（上）配套使用。《高等数学习题册（上）》内容由各节习题与各模块的自测题两部分组成。习题由浅入深，紧扣教材内容，并预留空白供学生解答；自测题可供学生综合测试