数理逻辑：基本原理与形式演算

数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...

大数据分布式计算与案例

大数据分布式计算课程是大数据方向应用统计专业硕士学生的专业必修课，通过本课程的学习使学生能够掌握目前大数据挖掘领域常用的并行计算方法，加深学生对统计并行计算的理解，培养学生使用在现代并行架构下利用...

化学化工实验教学改革与创新

高等数学教学同步指导与训练 上

数学建模 方法导引与案例分析

数学建模是数学理论与实际问题相结合的一门学科。本书结合各个领域的一些典型实例,阐述了建立数学模型解决实际问题的基本方法和技能。全书共分四篇,涉及建模基础、连续模型、统计模型和典型案例分析等。书...

多元统计理论、实验与案例

本书以国际著名多元统计教材为蓝本，内容有描述分析、矩阵运算、主成分分析、因子分析、多元回归模型、聚类分析、判别分析、典型相关与对应分析的理论、实验与案例。将多元统计计算和统计软件SAS有机结合，突...

化学课程与教学论

成人高等教育教材本科使用:本书共分八章，主要内容包括：化学教育历史的回顾与展望、化学课程的变革与发展、化学学习能力及其培养策略、化学课堂教学的艺术技能等。...

量子计算与量子信息原理 第1卷 基本概念

量子计算和量子信息是一门新兴且迅速发展的交叉学科，对于涉入此领域的初学者来说，想不涉及大量技术细节，而要理解其基本概念与研究成果，并非易事。通过本书简单而自足的导论，不需要任何关于量子力学或者经典计算...

与信息时代同行 与创新精神共进 北京信息科技大学信息与通信工程学院大学生科技创新与工程实践论文集

本书是作者及其课题组多年来从事量子保密通信研究的成果积累，并结合国内外研究进展和作者对此领域的相关理解，经过详细归纳和整理而成。该书紧跟量子密码前沿理论研究的发展，对近年来学者关注的最新问题，量子密...

精通CFD动网格工程仿真与案例实战

本书介绍了CFD分析和FLUENT的基础知识，动态网格理论知识，FLUENT动网格方法，第十章介绍了与动网格相关的其它方面的知识。另外本书中还讲到了FLUENT的一些应用小技巧。本书贴近实战，实例丰富，可以让读者尽快进入...