数理逻辑引论与归结原理
《数理逻辑引论与归结原理》在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题
科学出版社
线性代数
《线性代数》根据高等院校经济、管理类专业数学课程的教学要求编写。《线性代数》共七章，主要介绍行列式、矩阵、向量空间、线性方程组、矩阵对角化、二次型、线性空间与线性变换。除第七章外，每章都配有典型例题分
免疫优化计算、学习与识别
《免疫优化计算学习与识别》是作者在人工免疫系统领域研究成果的系统总结。在全面总结国内外人工免疫系统发展两头的基础上，《免疫优化计算学习与识别》着重介绍作者在这一领域的研究成果，主要包括：免疫算法、免疫
交换环与星型算子理论
《交换环与星型算子理论》比较系统地介绍了交换环上的模范畴、 经典的noether环的理想理论、凝聚环的同调方法、整扩张理论、维数理论，以及近年来众多学者关注的整环上的星型算子理论。此外，还介绍了整体维数为2的
Galois环上特殊矩阵的分类及其应用
《Galois环上特殊矩阵的分类及其应用》主要讨论了galois环上有限典型群理论中几类特殊矩阵的分类及其应用，论述了在特殊galois环上典型群的作用之下，几类特殊矩阵的标准形、特殊矩阵集合的轨道和轨道的长度，以及典
几何课程研究
《几何课程研究》在原有"数学教材分析"课程的基础上，重点介绍了新扩充的内容．特别是在《普通高中数学课程标准》选修系列中的几何内容．并力图给数学教师一个几何知识的整体结构和几何的基本思想方法，而不是针对新
人工智能
本书为人工智能学科诞生50周年而撰写。 本书总结了人工智能50年的发展经验，展望了人工智能未来的发展方向，阐述了智能科学技术对于人类社会发展的重要意义。 本书可供从事人工智能研究的科技人员参考。
遗传学中的统计方法
遗传学中的统计方法，ISBN：9787030178329，作者：李照海、覃红、张洪
矩阵结合方案
《矩阵结合方案》论述有限域上各类典型矩阵在群作用下构作的结合方案，其内容主要包括有限域上的长方矩阵、交错矩阵、Hemite矩阵、对称矩阵和二次型构作的结合方案，导出各类结合方案的一般参数计算公式，讨论这些结
实变函数
本书为理工科基础教材，内容包括实变函数基本理论与原理，Lebesgue侧度与积分论等，并有适量习题。
非线性数学物理方法
《非线性数学物理方程》研究如何将线性科学中适用的强有力的基本方法发展推广到非线性科学。书中全面系统论述作者及其课题组近几年建立的新研究方法，如多线性分离变量法、泛函分离变量法和导数相关泛函分离变量法、
非线性时间序列分析及其应用
本书以来自于确定性非线性系统的观测或实验时间序列为研究对象，在对问题的背景和意义进行分析的基础上，根据目前国内外关于单变量非线性时间序列分析的相关文献，总结了单变量非线性时间分析的基本流程，对单变量非
数值分析
《普通高等教育"十一五"国家级规划教材:数值分析》系统阐述了数值分析的基本概念和理论，内容包括：数值计算的误差，解线性方程组的直接法和迭代法，线性方程组的最小二乘解，矩阵特征值问题，插值法，函数逼近。曲
数学实验教程
《数学实验教程(Matlab版)》系统全面地介绍了几个数学软件及其在数学实验中的应用。《数学实验教程(Matlab版)》分为软件篇、实验篇和附录篇三个部分，软件篇简要介绍了Matlab基本知识和用法；实验篇介绍十个典型的数
解析函数空间上的算子理论导引
《解析函数空间上的算子理论导引》主要讨论解析函数空间上的算子理论，为青年学者进入这一研究领域提供一个初级平台。《解析函数空间上的算子理论导引》主要介绍了算子理论中经常用到的涉及算子矩阵的一些结果，如Do