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

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

本书提出微波光子多学科协同设计思想与方法，首先从微波光子的跨域交叉融合出发，分析了其多学科特点，探讨了微波光子多学科协同设计的技术挑战；接着，基于微波光子多学科设计的内涵，将需求-功能-逻辑-物理（RFLP）系统工程论方法引入微波光子系统的设计中，形成了基于RFLP的微波光子系统仿真设计的一般方法。同时，深入研究了微波光子器件、处理单元和系统的建模方法，阐明了微波光子跨域特点和时空频多维映射原理，并以微波光子干涉仪系统模型为例，详细阐述了多学科协同设计和建模仿真的思路及方法；最后，本书探讨了不同

区块链是一项会对未来信息化发展产生重大影响的新兴技术，有望推动人类从信息互联网时代步入价值互联网时代。密码学是区块链的底层技术，为区块链数据的不可伪造、防篡改、可公开验证和隐私保护提供了基础保障。本书在介绍区块链结构、区块链安全和密码学原理等知识的基础上，着重介绍应用于区块链的新型密码技术。本书涵盖各类密码体制的实现方案，同时介绍了区块链安全中密码技术的研究进展。

当前和今后一段时期将是我国集成电路和光电芯片技术发展的重要战略机遇期和攻坚期，加强自主集成电路和光电芯片技术的研发工作，布局和突破关键技术并拥有自主知识产权，实现集成电路产业的高质量发展是我国当前的重大战略需求。《中国集成电路与光电芯片2035发展战略》面向2035年探讨了国际集成电路与光电芯片前沿发展趋势和中国从芯片大国走向芯片强国的可持续发展策略，围绕上述相关方向开展研究和探讨，并为我国在未来集成电路和光电芯片发展中实现科技与产业自立自强，在国际上发挥更加重要作用提供战略性的参考和指导意见。

服务质量预测是服务计算的一个重要研究分支，是支撑服务发现和服务管理的有力技术工具。经过多年发展，服务质量预测已聚焦到如何利用机器学习技术解决情境感知的应用需求问题。本书围绕此议题，针对静态、动态、多属性、拓扑感知、虚拟机等场景下服务质量预测问题，分别阐述基于近邻效应、矩阵分解、非负多矩阵分解、贝叶斯鲁棒张量分解、深度神经网络、贝叶斯网络等机器学习技术的解决方案，集中体现该领域**的研究成果与发展动态。

《SQLServer从入门到精通（第5版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了SQLServer开发所必需的各方面技术。全书分为4篇共19章，内容包括数据库基础、SQLServer数据库环境搭建、创建与管理数据库、操作数据表、SQL基础、SQL函数的使用、SQL数据查询基础、SQL数据高级查询、视图的使用、存储过程、触发器、游标的使用、索引与数据完整性、SQL中的事务、维护SQLServer数据库、数据库的安全机制、VisualCSQLServer实现酒店客房管理系

《Oracle从入门到精通（第5版）》从初学者角度出发，通过通俗易懂的语言和丰富多彩的实例，详细介绍了使用Oracle19c进行数据管理的各方面技术。全书分为4篇，共21章，内容包括Oracle19c概述，Oracle体系结构，Oracle管理工具，SQL*Plus命令，SQL语言基础，PL/SQL编程，过程、函数、触发器和包，管理控制文件和日志文件，管理表空间和数据文件，数据表对象，其他数据对象，表分区与索引分区，用户管理与权限分配，数据库控制，Oracle系统调优，优化SQL语句，Oracl

《Vue3移动Web开发与性能调优实战》旨在向读者介绍如何使用Vue3和其他现代Web技术创建高性能的移动Web应用程序。《Vue3移动Web开发与性能调优实战》不仅详细介绍有关移动Web和Vue3的技术知识，包括HTML5、CSS3、Vue全家桶、构建工具Vite、移动Web屏幕适配等，并讲解如何使用这些技术来创建快速、可靠和可扩展的应用程序，还深入探讨各种性能优化技术，并向读者展示如何使用这些技术来提升Web应用程序的性能、可靠性和用户体验。后通过一个企业级实战项目仿微信朋友圈系统来全方位讲

《Vue.js从入门到精通》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了使用Vue.js进行程序开发需要掌握的各方面技术。全书分为4篇，共19章，内容包括初识Vue.js、ECMAScript6语法介绍、Vue实例与数据绑定、条件判断指令、v-for指令、计算属性和监听属性、元素样式绑定、事件处理、表单元素绑定、自定义指令、组件、组合API、过渡和动画效果、渲染函数、使用VueRouter实现路由、使用axios实现Ajax请求、VueCLI、状态管理，以及51购商城项目实战