分形及其计算机生成 【数理化】

本书内容包括:经典分形例子的分析、计算机生成分形的L系统及迭代函数系统实现过程与技巧等。

应用化学基础及其应用研究 【数理化】

本书主要论述了应用化学的基础知识、基本原理和主要技能。全书主要包括绪论、物质结构、化学反应速率和化学平衡、电解质溶液、有机化合物、金属材料、非金属材料、化学与能源、化学与环境、化学在日常生活...

计算机怎样解几何题 谈谈自动推理 【数理化】

实用化学化工计算机软件基础 【数理化】

本书介绍了化学化工专业软件的实际应用。

实用光学设计方法与现代光学系统 【数理化】

本书重点研究电磁场的基本理论。主要内容包括场论、电磁基本实验定律及其推论、时变电磁场、无界均匀媒介中平面电磁波的传播、电磁波在分区均匀媒质中的传播、导行电磁波、静态场和静态场的解法。本书是为...

一般力学及其计算机模拟 【数理化】

本书适用于工科各专业的教学需要，是一本简明扼要，重点突出，偏重工程应用的教材。

几何定理计算机证明 【数理化】

本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...

交互式马尔可夫链 并发系统的设计、验证与评价 【数理化】

本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容：1. IMC上的分支时间等价和前序关系；2. 基于IMC的模型检验；3. IMC上的动作细化理论。...

最优控制理论与系统 【数理化】

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

离散数学 计算机数学基础教程 【数理化】

本教材主要介绍离散数学的集合论、组合论、图论、数理逻辑等知识。