当代形式逻辑及其在人工智能中的应用理论研究

半个世纪来获得迅速发展的外延电子数字计算机最根本的特征，决定了其不可能具有从已知得出新知这种作为人类智能基本机制的功能。未来的真正的人工智能的基础装置的核心元件是从根本上区别于与、或、非门，输入...

脉冲微分方程理论及其应用

本书是生物数学丛书之一。生物数学必将成为二十一世纪最令人兴奋和最有进展的科学领域之一，本书为掌握生物数学的脉冲微分系统研究领域和研究方法提供了一个平台。它基于脉冲干扰现象在生命科学、经济学、林...

一阶椭圆型微分方程组与边值问题及其在薄壳理论上的应用

本书总结了作者多年来用复变函数研究一阶椭圆型微分方程组的成果，并为这一方向的进一步发展奠定了坚实的基础。本书共10章，主要介绍了整数的各种形式和由整数引申出来的各种数学问题和理论，包括整数和它的表示...

Solvable theory of nonlinear differential equations and their applications=非线性微分方程的可解性理论及其应用

代数拓扑的微分形式

The guiding principle in this book is to use differential forms as an aid in exploring some of the less digestible aspects of algebraic topology. Accordingly， we move primarily in the realm o...

随机微分方程及其在数理金融中的应用

本书系统介绍随机微分方程的基础理论及其在数理金融中的应用，还介绍介绍了美式看跌期权的数字计算方法。第一章是绪论，主要介绍随机微分方程的起源、发展和应用背景。第二章主要介绍学习随机微分方程的预备知...

信息科学技术学术著作丛书 藏文拼写形式语言及其自动机研究和应用

迄今为止，藏文已有1300多年的历史。用藏文记载的经典古籍和文献译著浩如烟海，是中华民族文化遗产宝库中一颗璀璨的明珠。藏文具有独特的人类文化价值，对我国藏族地区优秀民族文化传承、科技知识传播、信息技术...

向量微积分、线性代数和微分形式 原书第3版 英文

本书是一部优秀的微积分教材，好评不断。引用亚马逊上评论“是一本必选教材。”“是微积分教学方法的一次革新。”本书材料的选择和编排有不同于标准方法的三点：（一）在这个水平的研究中，线性代数是研究多变量微积...

常微分方程及其数值解法

微分方程及其数值解