模型论及其在计算机科学中的应用

本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...

原子论在材料科学中的应用

本书第1章提出了两个定义，十个公理，十个定理。第2章介绍了对于材料理解的一种具体手段，分子轨道法的一种--改进的Hückel计算方法。第3章通过电子光子的相互作用，展开了对材料结合、结构、物性及反应的基础理论...

计算智能改进方法及其在金融与环境领域中的应用

21世纪是智能科学、生命科学突飞猛进及其信息集成并融合应用的时代。随着新纪元时期的信息化、计算机网络和Internet技术的发展，人类已快步迈入信息化社会和网络经济的时代。众所周知，计算机是目前功能最强大...

符号计算的程序分析 在线性代数、矩阵论中的应用研究

随着计算机技术的飞速发展，计算机代数系统虽已被广泛地应用于科研、教学以及工程技术，其中比较有名的Maple，Mathematics，Matlab等，在线性代数及矩阵论的教学中应用研究的较少，不够深入。本书针对这方面进行比较深...

挑战人脑 计算机在化学中的应用

程度范畴及其在补语系统中的句法实现

本书在前人研究成果的基础上，以“语义语法理论”为基本研究理论，遵循形式和意义相结合、描写和解释相结合、静态和动态相结合的研究思路，对现代汉语中程度范畴的语义系统及程度范畴在补语系统中的表现形式等问...

计算机在材料和化学中的应用

本教材主要介绍化学分子式结构绘图Chemwindow软件、数据处理Origin软件、分子模拟软件MP以及文献管理软件Endnote X2的安装、使用方法和应用技巧。

战略环评和费用效益分析方法在环境规划中的应用

本书针对省级环境保护规划存在的薄弱环节，系统总结战略环评和费用效益分析方法在确定规划目标、政策措施优先排序急提高规划协调性等三方面经验。...

统计学在环境科学与工程中的应用

本书全面介绍了统计技术在环境科学与工程中的应用方法。主要介绍统计学的基本概念，常用的一些基本理论，常见的统计分析技术，数据分析和统计建模，以及数据的概率性分析。...

计算机在材料加工中的应用

本书主要内容：数据处理软件；数理方程求解软件；图像处理及其软件；计算机在材料设计中的应用；材料加工过程中物理场的计算机模拟；数据库及专家系统在材料科学与工程中的应用；材料加工中的计算机图像处理技术。...