邏輯定理的機器證明是人工智能領(lǐng)域人們最早從事研究的課題。本書從邏輯定理的人工證明和機器證明兩方面來展現(xiàn)邏輯定理證明的藝術(shù)，而機器證明又從定理的自動證明和計算機輔助證明兩個方面來展現(xiàn)。本書首先用作者構(gòu)造的命題演算系統(tǒng)FPC和狹謂詞演算系統(tǒng)FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次，用邏輯定理的機器證明工具TPG(TreeProofGenerator)實現(xiàn)邏輯定理的自動證明(一種樹證明)。最后，用交互式定理機器證明工具Fitch實現(xiàn)了邏輯定理的計算機證明(一種自然推理證明)。

本書是在大數(shù)據(jù)框架下，全面介紹金融科技在處理真實場景金融問題時需要掌握的最重要的幾類機器學(xué)習(xí)方法，并將重點放在實施過程中需要用到的特征提取、可解釋性、隱私保護與數(shù)據(jù)安全共享等相關(guān)內(nèi)容的討論上。 本書內(nèi)容分三部分:第一部分由1～6章組成，主要講常規(guī)情況下，機器學(xué)習(xí)在金融場景特別是大數(shù)據(jù)風(fēng)控中的建模應(yīng)用；第二部分由第7章和第8章組成，主要講在數(shù)據(jù)隱私保護和安全要求下，機器學(xué)習(xí)如何進行大數(shù)據(jù)風(fēng)控建模；第三部分由9～16章組成，主要講如何基于吉布斯抽樣算法建立特征提取的理論 和標(biāo)準(zhǔn)框架及其在包含投資和融

本書提出微波光子多學(xué)科協(xié)同設(shè)計思想與方法，首先從微波光子的跨域交叉融合出發(fā)，分析了其多學(xué)科特點，探討了微波光子多學(xué)科協(xié)同設(shè)計的技術(shù)挑戰(zhàn)；接著，基于微波光子多學(xué)科設(shè)計的內(nèi)涵，將需求-功能-邏輯-物理（RFLP）系統(tǒng)工程論方法引入微波光子系統(tǒng)的設(shè)計中，形成了基于RFLP的微波光子系統(tǒng)仿真設(shè)計的一般方法。同時，深入研究了微波光子器件、處理單元和系統(tǒng)的建模方法，闡明了微波光子跨域特點和時空頻多維映射原理，并以微波光子干涉儀系統(tǒng)模型為例，詳細(xì)闡述了多學(xué)科協(xié)同設(shè)計和建模仿真的思路及方法；最后，本書探討了不同

區(qū)塊鏈?zhǔn)且豁棔�對未來信息化發(fā)展產(chǎn)生重大影響的新興技術(shù)，有望推動人類從信息互聯(lián)網(wǎng)時代步入價值互聯(lián)網(wǎng)時代。密碼學(xué)是區(qū)塊鏈的底層技術(shù)，為區(qū)塊鏈數(shù)據(jù)的不可偽造、防篡改、可公開驗證和隱私保護提供了基礎(chǔ)保障。本書在介紹區(qū)塊鏈結(jié)構(gòu)、區(qū)塊鏈安全和密碼學(xué)原理等知識的基礎(chǔ)上，著重介紹應(yīng)用于區(qū)塊鏈的新型密碼技術(shù)。本書涵蓋各類密碼體制的實現(xiàn)方案，同時介紹了區(qū)塊鏈安全中密碼技術(shù)的研究進展。

當(dāng)前和今后一段時期將是我國集成電路和光電芯片技術(shù)發(fā)展的重要戰(zhàn)略機遇期和攻堅期，加強自主集成電路和光電芯片技術(shù)的研發(fā)工作，布局和突破關(guān)鍵技術(shù)并擁有自主知識產(chǎn)權(quán)，實現(xiàn)集成電路產(chǎn)業(yè)的高質(zhì)量發(fā)展是我國當(dāng)前的重大戰(zhàn)略需求�！吨袊�集成電路與光電芯片2035發(fā)展戰(zhàn)略》面向2035年探討了國際集成電路與光電芯片前沿發(fā)展趨勢和中國從芯片大國走向芯片強國的可持續(xù)發(fā)展策略，圍繞上述相關(guān)方向開展研究和探討，并為我國在未來集成電路和光電芯片發(fā)展中實現(xiàn)科技與產(chǎn)業(yè)自立自強，在國際上發(fā)揮更加重要作用提供戰(zhàn)略性的參考和指導(dǎo)意見。

服務(wù)質(zhì)量預(yù)測是服務(wù)計算的一個重要研究分支，是支撐服務(wù)發(fā)現(xiàn)和服務(wù)管理的有力技術(shù)工具。經(jīng)過多年發(fā)展，服務(wù)質(zhì)量預(yù)測已聚焦到如何利用機器學(xué)習(xí)技術(shù)解決情境感知的應(yīng)用需求問題。本書圍繞此議題，針對靜態(tài)、動態(tài)、多屬性、拓?fù)涓兄�、虛擬機等場景下服務(wù)質(zhì)量預(yù)測問題，分別闡述基于近鄰效應(yīng)、矩陣分解、非負(fù)多矩陣分解、貝葉斯魯棒張量分解、深度神經(jīng)網(wǎng)絡(luò)、貝葉斯網(wǎng)絡(luò)等機器學(xué)習(xí)技術(shù)的解決方案，集中體現(xiàn)該領(lǐng)域**的研究成果與發(fā)展動態(tài)。

《SQLServer從入門到精通（第5版）》從初學(xué)者角度出發(fā)，通過通俗易懂的語言、豐富多彩的實例，詳細(xì)介紹了SQLServer開發(fā)所必需的各方面技術(shù)。全書分為4篇共19章，內(nèi)容包括數(shù)據(jù)庫基礎(chǔ)、SQLServer數(shù)據(jù)庫環(huán)境搭建、創(chuàng)建與管理數(shù)據(jù)庫、操作數(shù)據(jù)表、SQL基礎(chǔ)、SQL函數(shù)的使用、SQL數(shù)據(jù)查詢基礎(chǔ)、SQL數(shù)據(jù)高級查詢、視圖的使用、存儲過程、觸發(fā)器、游標(biāo)的使用、索引與數(shù)據(jù)完整性、SQL中的事務(wù)、維護SQLServer數(shù)據(jù)庫、數(shù)據(jù)庫的安全機制、VisualCSQLServer實現(xiàn)酒店客房管理系

《Oracle從入門到精通（第5版）》從初學(xué)者角度出發(fā)，通過通俗易懂的語言和豐富多彩的實例，詳細(xì)介紹了使用Oracle19c進行數(shù)據(jù)管理的各方面技術(shù)。全書分為4篇，共21章，內(nèi)容包括Oracle19c概述，Oracle體系結(jié)構(gòu)，Oracle管理工具，SQL*Plus命令，SQL語言基礎(chǔ)，PL/SQL編程，過程、函數(shù)、觸發(fā)器和包，管理控制文件和日志文件，管理表空間和數(shù)據(jù)文件，數(shù)據(jù)表對象，其他數(shù)據(jù)對象，表分區(qū)與索引分區(qū)，用戶管理與權(quán)限分配，數(shù)據(jù)庫控制，Oracle系統(tǒng)調(diào)優(yōu)，優(yōu)化SQL語句，Oracl

《Vue3移動Web開發(fā)與性能調(diào)優(yōu)實戰(zhàn)》旨在向讀者介紹如何使用Vue3和其他現(xiàn)代Web技術(shù)創(chuàng)建高性能的移動Web應(yīng)用程序。《Vue3移動Web開發(fā)與性能調(diào)優(yōu)實戰(zhàn)》不僅詳細(xì)介紹有關(guān)移動Web和Vue3的技術(shù)知識，包括HTML5、CSS3、Vue全家桶、構(gòu)建工具Vite、移動Web屏幕適配等，并講解如何使用這些技術(shù)來創(chuàng)建快速、可靠和可擴展的應(yīng)用程序，還深入探討各種性能優(yōu)化技術(shù)，并向讀者展示如何使用這些技術(shù)來提升Web應(yīng)用程序的性能、可靠性和用戶體驗。后通過一個企業(yè)級實戰(zhàn)項目仿微信朋友圈系統(tǒng)來全方位講

《Vue.js從入門到精通》從初學(xué)者角度出發(fā)，通過通俗易懂的語言、豐富多彩的實例，詳細(xì)介紹了使用Vue.js進行程序開發(fā)需要掌握的各方面技術(shù)。全書分為4篇，共19章，內(nèi)容包括初識Vue.js、ECMAScript6語法介紹、Vue實例與數(shù)據(jù)綁定、條件判斷指令、v-for指令、計算屬性和監(jiān)聽屬性、元素樣式綁定、事件處理、表單元素綁定、自定義指令、組件、組合API、過渡和動畫效果、渲染函數(shù)、使用VueRouter實現(xiàn)路由、使用axios實現(xiàn)Ajax請求、VueCLI、狀態(tài)管理，以及51購商城項目實戰(zhàn)