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

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

系统与控制理论中的线性代数

奇妙的桥梁 初等代数中的辅助元素

线性代数解题中的错误分析

暂缺《线性代数解题中的错误分析》简介

奥林匹克数学中的代数问题

本书是中学奥林匹克数学中的代数问题解析。

代数学中的Frobenius结构

本书系统地梳理了有限维代数、环论、余代数、Hopf代数和Lie代数等有关Frobenius结构的有关理论的发展历程。

形式与历史视野中的诗学方案 比较视域下的时空体理论研究

本书为其博士论文。时空体理论是历史诗学最重要的成果之一，但是，目前的时空体理论研究，存在很多问题，如对其理论来源界定不清，对其理论整体建构与具体运思把握不准，甚至存在着许多错误解读的地方，本书从比较视......

微分博弈论在导弹和自主系统制导中的应用

本书是作者多年来在英国、美国以及澳大利亚等国的空间发展与防御组织从事导弹制导控制系统研究的结晶，部分内容被用于美国与澳大利亚本科生与研究生教学。本书旨在唤起航天工程领域与控制工程领域的专家学者...

巴拿赫代数在算子理论中的应用

奥林匹克数学中的代数问题

本书以问题为主题，以方法为线索，精选巧思妙解范例，针对高中数学联赛，一试与加试并重。