逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具

本书在H.M.Sheffer和张清宇先生等人工作的基础上，提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号，就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项，由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征，证明了中国表示

本书是一本讲述增强现实基本原理和算法的教材。全书共分为11章。首先介绍增强现实基本模型和原理、空间变换与相机模型。然后介绍增强现实所必需的空间注册与跟踪算法，包括基于平面标志的方法、基于3D点跟踪的方法、视频序列跟踪及有限重建方法等。在此基础上，讲解了增强现实中的虚实融合技术和空间增强现实技术，包括虚拟物体的绘制、虚实

本书从数学建模的角度介绍了MATLAB的应用，涵盖了绝大部分数学建模问题的MATLAB求解方法。全书共5篇。第一篇是基础篇，主要介绍一些基本概念和知识，包括MATLAB在数学建模中的地位、数学模型的分类及各类需要用的MATLAB技术，以及MATLAB编程入门；第二篇是技术篇，系统介绍MATLAB建模的主流技术，包括数据

本书选编了20162021年北京理工大学学生参加全国大学生数学建模竞赛获全国一、二等奖及北京市一等奖的部分比赛论文。本书对参赛论文全文刊登，未作删节，所有细节和详细计算过程均予以保留，适合广大学习数学建模及初次参赛的高校学生参考。

本书是Fred等三个美国流行病学模型专家、数学家合著的MathematicalModelsinEpidemiology一书的中译本。内容分流行病学的基本概念（包括各种类型的仓室模型、地方病模型、流行病模型、异质混合模型、媒介传播的疾病模型）,特殊疾病的模型（包括结核病模型、艾滋病病毒/艾滋病（HIV/AIDS）模型、流

本书以数理逻辑和算法理论的进化为主线，并结合计算机与人工智能学科的发展为其主要特色进行论述。本书共分8章，主要内容包括算法化和公理化矛盾统一的数学史观，逻辑的数学化，集合论公理化，数学基础问题三大派之争，数理逻辑主要内容的形成，丘奇-图灵论题的创立和计算机的出现，计算机科学与算法，人工智能与算法。其中后两章介绍了计算机

本书主要介绍数学建模中常用的方法，并将西安电子科技大学学生近年来在全国大学生数学建模竞赛中的获奖作品作为案例来阐明这些方法在数学建模中的具体应用。本书共分为8章，第1章简单介绍数学模型的概念、建立数学模型的步骤，以及数学建模竞赛；第2章介绍数学建模中常用的TOPSIS评价法、层次分析法、模糊综合评价法等评价方法；第3章

《数学建模简明教程（第2版）》侧重数学建模知识的了解和数学建模能力及意识的培养，案例丰富，由浅入深，便于学生自学和教师教学。本着简明、实用和有趣的原则，书中的内容主要以初、中等难度数学建模问题为主，以求达到降低数学建模学习起点、实用和通俗易懂的目的。读者只要学过微积分、线性代数和了解简单的概率统计知识就可以学习本书。特

本书是在2015年科学出版社出版的《数学模型及其应用》（第二版）基础上吸取了读者和专家的意见修订而成。本书主要内容有绪论、初等模型、方程模型、预测模型、评价模型、优化模型、图论模型、概率模型、统计模型、高教社杯全国大学生数学建模竞赛真题等，每章后附相关习题，部分章后附有常用词汇中英文对照。本书完成教学约需40～60学时