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

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

复分析及其在数值数学中的应用

本书主要介绍复变函数的基本知识，比如解析函数、初等函数、复积分、残数定理、零点理论、唯一性定理、最大模定理、辐角定理保内映射等。在此基础上介绍本书的重点内容解析开拓、多值函数、黎曼曲面的构造、...

MIDAS在结构计算中的应用

本教材主要介绍了MIDAS／Gen的基本操作和在结构力学及结构设计竞赛中的应用。主要内容有：应用MIDAS／Gen计算连续梁、平面刚架、拱结构、空间刚架、框架-剪力墙、组合结构和大跨越结构等现代结构，以及MIDAS／Gen在...

DNA计算及其在医学领域中的应用

本书面向生物计算的学科前沿，在现有DNA计算成果的基础上，从生命现象的本质特征来研究DNA计算的容错性、可复制性以及随机性，探讨了DNA计算在基因网络、自复制以及疾病检测中的应用，为DNA计算在生物医学领域上的...

离散数学及其应用 英文版 第7版

本书是介绍离散数学理论和方法的经典教材，仅在美国就有600多所高校正在使用；目前，国内的众多大学也在采用其中文版作为教材。本书已经成为使用率最高的离散数学教材，在教学领域获得了极大的成功。...

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

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

形容词修饰语语义计算理论及其在对外汉语学习词典编纂中的应用

本书从计算词典学的角度，对现代汉语形容词修饰语进行了跨学科的研究：一、从语义学的角度，提出了一个“值—特征—实体”相联接的概念语义模型。二、从计算机科学的角度，研究了如何采用NLP技术从机读词典中自动...

计算智能及其在三维表面扫描机器人系统中的应用

本书分七章：第一章介绍了计算智能的发展历程、研究的内容；第二章建立了三维扫描表面机器人系统的数学模型；第三章建立了Motoman-HP3L机器人运动学仿真环境；第四章研究了利用同心圆求得圆心投影点的方法；第五章提...

贝叶斯网络理论及其在军事系统中的应用

贝叶斯网络理论及其在军事系统中的应用