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

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

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

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

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

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

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

《Oracle從入門到精通（第5版）》從初學(xué)者角度出發(fā)，通過通俗易懂的語言和豐富多彩的實(shí)例，詳細(xì)介紹了使用Oracle19c進(jìn)行數(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ù)表對(duì)象，其他數(shù)據(jù)對(duì)象，表分區(qū)與索引分區(qū)，用戶管理與權(quán)限分配，數(shù)據(jù)庫(kù)控制，Oracle系統(tǒng)調(diào)優(yōu)，優(yōu)化SQL語句，Oracl

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

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