本书是在大数据框架下，全面介绍金融科技在处理真实场景金融问题时需要掌握的最重要的几类机器学习方法，并将重点放在实施过程中需要用到的特征提取、可解释性、隐私保护与数据安全共享等相关内容的讨论上。 本书内容分三部分:第一部分由1～6章组成，主要讲常规情况下，机器学习在金融场景特别是大数据风控中的建模应用；第二部分由第7章和

西方经济学说史是经济学专业的核心课程之一。本书主要分为四大部分：第一篇前古典经济学与古典经济学，着重厘清古典经济学理论及其代表人物思想，主要包括西方经济学体系化之前的经济思想，古典经济学，古典学派的集大成者亚当斯密的经济思想，古典学派的杰出代表托马斯马尔萨斯和大卫李嘉图的经济思想，古典经济学中斯密体系的各国后继者的经济

自动控制理论与控制技术正广泛深入地应用到机械工程、仪器科学等领域，本书从工程应用角度阐述了经典控制理论的概念、原理和各种分析方法，内容包括控制系统的基本概念与基本组成、控制系统的数学模型、控制系统的时域分析、控制系统的频域分析、控制系统的稳定性分析、控制系统的根轨迹分析、控制系统的综合与校正，以及MATLAB软件在控制

本书在简要阐述了环境生态学概念及特点的基础上，系统讲述了生物与环境的关系、生物种群与群落及生态系统的基本理论，全面分析了环境污染与生态修复、生态破坏与生物的生态关系，系统探讨了全球变化及其对生物的影响，充分强调了生物多样性与生物安全、环境生态与生态环境管理，深入论述了环境生态与生态文明的关系。

证明论是逻辑基础理论的分枝.结构证明论是证明论的分枝，它研究演算中的分析性证明.本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算.根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明.本书还介绍了一阶逻辑、模态逻辑

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

师生关系一直是影响教育活动的重要因素之一。随着人工智能的勃兴，基于物联网、云计算、大数据、泛在网络等新一代信息技术在教育领域的推广应用，不仅使教育步入新的发展阶段，而且给师生关系及其建设带来新的机遇与挑战。本书发现，师生关系从原来仅限于人类教师与学生之间的双主体关系走向人类教师、机器人教师和学生三者间的三主体关系。本书

本书以饲料智能加工生产学理论为纲，主要论述配合饲料的智能加工设备与加工工艺，兼顾添加剂预混合饲料智能加工技术，涵盖生产配合饲料的原料接收-清理-储存-输送-粉碎-配料-混合等全流程生产工艺。全书共11章，第一章为绪论部分，主要介绍了饲料智能加工的特点、优势，以及饲料智能加工工业的现状与发展前景；第二章至第十一章不仅介绍

本书共19章。详细介绍了以下内容：不同类型环境，包括海水环境、低温及碱性极端环境、植物内生环境等样本的DNA/RNA提取及宏基因组文库构建技术；从核酸、脱氧核酸、蛋白质三个角度分析环境微生物代谢活性；通过宏基因组测序获得功能基因分类及多样性的方法；从基因组学技术层面介绍复杂微生物群落的研究方法，以及挖掘活性基因（如有机

本书从电磁兼容基本概念和发展趋势切入，分别介绍：电磁兼容性分析的必要性，电磁计算方法在电磁兼容分析与设计领域的发展趋势；电磁兼容分析中的基础理论知识；传导发射与传导抗扰度基本概念；线缆耦合电磁兼容分析，包括电磁计算方法对场-线-路耦合等典型电磁兼容问题的分析；辐射发射与电磁兼容分析的计算电磁学方法；系统级电磁兼容分析的