本书的主要内容包括：初等函数、极限与连续、导数与微分、不定积分、定积分及其应用，微分方程，矩阵与线性代数、概率论基础、统计基础、MATLAB数学实验等。本书的特色是通过引入了数学在建筑、经济等相关领域的应用实例，体现“贴近实际，面向专业”的思想；并通过引入数学历史，感受数学文化的熏陶，领悟数学的思想、精神和方法，激发学

基础拓扑学是一部拓扑学入门书。作者主要介绍了拓扑空间中的拓扑不变量，以及相应的计算方法。本书涉及点集拓扑、几何拓扑、代数拓扑中的各类方法及其应用，并包含大量的图解和难度各异的思考题，有助于培养学生的几何直观能力和对本书的深刻理解。本书内容浅易，注重抽象理论与具体应用相结合。

本卷收录了吴文俊在拓扑学领域发表的56篇学术论文。这些论文包含了吴文俊在示性类、示嵌类、示浸类、示痕类、能计算性与I*-量度等方面做出的一系列重要工作，蕴含了他在拓扑学领域的诸多原始思想。该卷可作为数学或数学史研究人员、教师、研究生的参考文献，也可以作为拓扑学课程的参考书。

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

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

本书主要介绍了DNA计算核酸编码原理及方法，具体包括，DNA计算的研究进展和背景，DNA计算的生物化学基础，DNA编码问题及其复杂性分析，DNA二级结构预测和*小自由能模型，隐枚举核酸序列编码算法，DNA编码在图着色DNA计算中的应用。

黎曼假设，即素数的未解谜题，被视为数学研究的“珠峰”，吸引了一代代数学家投身于数论研究中，其中不乏数学史上大名鼎鼎的人物。而破解这一谜题过程中的发现，已经给电子商务、量子力学和计算机科学等领域带来了举足轻重的影响。本书作者以生动细腻的笔触，将素数的故事娓娓道来。阅读本书不仅能像聆听音乐那样，无须具备数学专业背景即可领略

本书以保罗·贝纳塞拉夫（PaulBenacerraf）的数学真理困境为出发点，运用语境分析方法剖析当代数学实在论，求解该困境不同诉求的必要性与合理性，系统论证基于"科学"、"语言"、"自然"与"语境"之实在论的优势与不足，最后以实践为基础，提出一种基于"数学"的范畴结构主义，为数学实在论进行辩护，并进一步论证其扩张到科

我们是如此需要数学，以至于从远古时代的古巴比伦人开始就已经积累了一定的数学知识。不过，那时的数学还只是观察和经验所得，没有烦琐且枯燥的证明。经过漫长的发展，数学逐渐成为学习和研究现代科学技术必不可少的基本工具，但同时它也成为让不少学生十分苦恼的一门课程。本书汲取原始的经验，从生活出发，通过有趣的画图练习和模型制作等，向

数学是人类的发明还是发现？数学无处不在的威力从何而来？本书讲述了数学概念的演化过程，引经据典地从哲学、历史、文化角度全方位地探讨了数学的本质，揭示了数学与物质世界、与人类思维之间的微妙关系，讨论了困惑几代思想家的重大问题，并以通俗、曼妙的手笔讲述了从柏拉图、阿基米德、伽利略、笛卡尔等哲学和数学先贤到罗素、哥德尔等现代数