微积分的创立者及其先驱

本书是普通高等教育“十一五”国家级规划教材，在前一版的基础上做了较大的修改和补充。本书用简练的文字，从公元前的毕达哥拉斯开始，直到20世纪的勒贝格和鲁滨逊为止，介绍了70位微积分的创立者及其先驱的简要经...

数理逻辑是什么

本书是一本关于数理逻辑的导论书，面向的是没有任何数学基础的读者，主要介绍了数理逻辑中谓词演算的完全性、模型论、递归函数、哥德尔不完全性定理、集合论等，以帮助读者掌握关于数理逻辑的一般知识，提高其在日...

天然产物化学教学改革与实践

本书着力于天然产物化学课程（植物化学类专业课程的核心课程）教学内容、教学方法和手段的改革与实践，在提升化学类本科专业教学质量和人才培养等方面取得了显著的成果。该书的出版，对于总结和推广天然产物化学（植...

线性与非线性泛函分析及其应用 下

这是一部涵盖线性与非线性泛函分析大部分核心课题的巨著。书中给出了基本定理及其在线性和非线性偏微分方程，以及源自于数值分析和最优化理论中的各种应用。第1章不加证明地复述本书其他部分所需要的实分析...

最优控制理论与系统 第2版

本书从理论及工程应用的角度，系统地介绍了最优控制理论及最优控制系统的各个基本方面。全书共分10章，第2～4章介绍变分法、极小值原理及动态规划等基本内容及方法；第5、6章对状态调节器、输出调节器及跟踪系统进...

数理逻辑基础 上

包含《现代数学基础丛书》共50本，一个书号，定价7000元，面向馆配市场，装箱销售。本套丛书是《现代数学基础丛书的》典藏版，包含了在不同时间段出版的数学基础专著，使读者能够方便的阅读和查阅。本书涉及书目均为数...

非线性波方程行波解分岔及其动力学行为的研究

本书介绍怎样从动力系统分岔理论的角度来理解和研究非线性波方程的行波解及其相应的动力学特征，并利用计算机符号代数的方法和相图分析的方法给出了不同波方程可能存在的行波解的种类，分析了这些复杂行波解产...

数理逻辑引论

本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基础。全书共分五章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演...

数理逻辑发展史 从莱布尼茨到哥德尔

MATLAB及其在大学物理课程中的应用

本书介绍当今最流行的科学计算软件MATLAB的基础知识及其在大学物理课程中的应用。全书提供了100多个有关物理问题的实用程序。这些程序密切结合现行物理教学体系中的重点内容，注重了可视性和互动性，将计算语...