曲面动力系统 【数理化】

本书总结了作者及国内外数学工作者近二十年来关于曲面动力系统定性理论的主要成果，其中包括作者本人在环域定理和奇点概念的推广等方面的有创新意义的工作。[BR本书与C.Godbillon的名著《曲面动力系统》一起...

高等职业教育“十三五”规划教材 高职国家精品资源共享课程配套教材 应用数学与计算 【数理化】

面向计算机科学的数理逻辑 【数理化】

《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...

上海交通大学八十七周年校庆学术报告会论文摘要 计算技术专辑 1896-1983 【数理化】

计算几何中的几何偏微分方程方法 英文版 【数理化】

本书的主要内容包括几何偏微分方程的构造方法、各种微分几何算子的离散化方法及其离散格式的收敛性、几何偏微分方程数值求解的有限差分法、有限元法以及水平集方法,还包括几何偏微分方程在曲面平滑、曲面...

非线性振动系统中不平稳过程 【数理化】

参加第六届国际供电会议和英国电力工业考察报告 【数理化】

线性系统理论基础 【数理化】

本书是为适应高等院校教学改革和课程改革需要而编写的控制类课程教材，重点介绍了线性系统理论的状态空间模型，运动分析，能控性与能观测性，结构分析，李雅普诺夫稳定性，以及线性系统综合的一些基本方法。本书适合.....

计算流体力学 上 【数理化】

本书是专门论述计算流体力学的研究生教材，注重理论与工程技术相结合，强调基本概念、基本定理和基本应用，适度地引入国内、外计算流体力学研究的最新成果。全书共13章。偏微分方程有限差分方法的基本概念，差分格...

高等院校计算机教材系列 离散数学习题与解析 【数理化】

本书是与计算机专业教材《离散数学》（机械工业出版社出版）相配套的辅导教材，内容按照教材对应章节的先后次序安排，每章不仅包括了内容概述和习题解答，而且还概括了每一章的知识点、重点、难点，增加了范例解析，......