计算机辅助数学教学原理与实践 【数理化】

本书通过经典实例和课程整合典型案例全面讲解计算机课件制作与课程整合的方法和技巧。本书可作为各类院校数学、物理、计算机专业的教育技术教材，中小学数学、物理教师进修培训教材，中小学生研究性学习的选修...

现代归纳逻辑与概率逻辑 【数理化】

现代晶体化学 理论与方法 【数理化】

傅种孙与现代数学 【数理化】

群论与现代化学入门 【数理化】

单级与二级整数规划算法原理及应用 【数理化】

本书重点集中于整数规划的通用全局最优领域，继模拟退火算法、遗传算法和蚂蚁算法之后首次将植物的向光性特点作为算法寻优机理，提出了模拟植物生长算法，其算法原理就是将整数规划的可行域当作植物的生长环境，将...

数理逻辑引论与归结原理 【数理化】

本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...

环境氧化还原处理技术原理与应用 【数理化】

本教材可分为四大部分：氧化还原反应的原理、氧化技术在废水处理中的应用、还原技术在废水处理中的应用和大气和土壤环境中的氧化还原过程污染情况。每部分具体展开以下论述：氧化还原化学、水体氧化还原平衡、...

卡尔曼滤波与组合导航原理 【数理化】

本书着重阐述了卡尔曼滤波基本理论，以及近十年发展起来的有关卡尔曼滤波的新理论和新方法，容错组合导航设计理论和方法，另外还有作者的部分科研成果。内容安排上力求循序渐进，由浅入深，确保知识连贯。为便于读者...

现代生物技术与生活 【数理化】