国外计算机科学教材系列 可计算性与数理逻辑 【数理化】

本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...

带小参数的非线性系统的稳定性分析 【数理化】

本书介绍了根据标量、向量与矩阵值李雅普诺夫函数刻划的带小参数非线系统稳定性分析的新方法，同时介绍了更有效地解决工程技术中的一些稳定性分析问题的实例。...

变分法与哈密顿系统同宿轨道和异宿轨道引论 【数理化】

本书以临界点理论为基础，详细介绍了20世纪90年代以来哈密顿系统周期轨道研究的进展，重点介绍二附哈密顿系统研究以及研究成果的创新性和方法性。...

湍流研究中的动力系统方法 【数理化】

本书是一部从动力学的观点讲述湍流的教材。近些年，湍流已经发展成为理论物理学的一个很活跃的领域。现代分形理论和多分形理论在湍流研究中扮演者越来越重要的角色，湍流状态在广阔于流体动力学的背景中，作为很...

二态系统的量子力学 【数理化】

本书从光子偏振实验和电子自旋实验出发，强调了在解释量子系统的行为的时候采用“具有能够做矢量叠加的状态”的必要性。直接采用矢量空间的语言--态矢量和密度矩阵，能够促进学生对量子力学以及量子力学和经典...

现代时间序列分析方法及其实用计算机程序 【数理化】

理论力学计算机模拟 【数理化】

本书介绍数学软件MATLAB在理论力学教学中的应用。全书分为两章，第1章简明地介绍MATLAB的基础知识，第2章将理论力学教材中精选的24个典型的线性与非线性问题进行数值求解，给出了求解过程与程序，并将结果做成模拟...

简明计算机化学教程 【数理化】

本书围绕“化学信息”这一核心，从计算机化学的基础概念、方法入手，将实验数据、量测信号、谱图、分子结构、化学知识和internet这一系列看似零散却有着内在联系的内容串联起来，展现了计算机化学在数据处理、信...

控制系统的状态空间分析 第1册 第2章 矩阵和矢量 向量 的复习 【数理化】

控制系统的状态空间分析 第4册 第7章 可控性和可测性 【数理化】