2008 年出版255 页ISBN：9787030200969
数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...
2018 年出版319 页ISBN：9787030582515
让读者熟悉几何学一个新的分支中的概念、问题和方法，在这一几何分支中，不是实际去做出几何形体的图形，而是要算出按某种公式定义的几何形体在满足某些确定的条件到底有几个，为解析几何学上的研究提出分支研究的...
2015 年出版221 页ISBN：9787030451743
本教材将是在总结医药院校本科物理化学课程多年教学经验的基础上编写而成，可供理论课教学时数在54～72学时的制药工程、中药制药、药物制剂学、药学、中药学等专业及相关药学类专业本科学生学习《物理化学》使...
2014 年出版118 页ISBN：9787566407009
本书是作者在多年教学经验的基础上进行编写的，内容详实，思路清晰，介绍了复变函数的概念及其基本结论、米库辛斯基算符演算的基本理论及其一些辅助结果、直接方法和拉普拉斯变换、常系数线性微分方程和差分方程...
2014 年出版289 页ISBN：9787030401557
本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
2014 年出版155 页ISBN：9787302356554
本书概要地讲述了《张量分析及在力学中的应用》的各章内容的精华，并将该书的全部例题和习题做了全解。全书共分9章，张量的基础知识、张量代数、张量分析和黎曼空间的曲率、张量分析在弹性力学和损伤力学中的...
2012 年出版284 页ISBN：9787030345035
本书内容为作者所主持和主要参加的多项国家自然科学基金，国家重点基础研究发展计划项目，国家十一五科技重大专项，水利部大型灌区节水改造与续建配套项目成果的系统的总结和提升。以农业灌区水资源和水环境为对...
