數(shù)系的擴(kuò)充始終貫穿于數(shù)學(xué)理論的發(fā)展之中. 本書(shū)利用交互式定理證明工具Coq,在Morse-Kelley公理化集合論形式化系統(tǒng)下, 給出中國(guó)科學(xué)與技術(shù)大學(xué)汪芳庭教授在其《數(shù)學(xué)基礎(chǔ)》中采用算術(shù)超濾分?jǐn)?shù)構(gòu)造實(shí)數(shù)的機(jī)器證明系統(tǒng),包括超濾空間與算術(shù)超濾的基本概念、超濾變換以及用算術(shù)超濾構(gòu)造算術(shù)模型的形式化實(shí)現(xiàn),構(gòu)建了非標(biāo)準(zhǔn)實(shí)數(shù)模

神經(jīng)網(wǎng)絡(luò)計(jì)算引發(fā)了新一輪信息技術(shù)革命，也對(duì)硬件的性能提出了更高的需求�；�于模擬型阻變存儲(chǔ)器的存算一體系統(tǒng)可以有效緩解存儲(chǔ)墻問(wèn)題，阻變存儲(chǔ)器的可靠性退化問(wèn)題是影響存算一體系統(tǒng)準(zhǔn)確率的關(guān)鍵因素，當(dāng)前尚缺乏面向神經(jīng)網(wǎng)絡(luò)應(yīng)用的可靠性研究。本書(shū)從神經(jīng)網(wǎng)絡(luò)計(jì)算的應(yīng)用需求出發(fā)，建立了從器件到系統(tǒng)的跨層次可靠性分析與評(píng)估框架；圍繞模擬

本書(shū)專(zhuān)注于當(dāng)今人工智能的核心技術(shù)和過(guò)程，包括章節(jié)總結(jié)、歷史概述、練習(xí)、計(jì)算機(jī)作業(yè)、思維實(shí)驗(yàn)，以及強(qiáng)化關(guān)鍵概念的控制題；借助可視化圖形來(lái)說(shuō)明基本思想，通過(guò)易于遵循的示例來(lái)說(shuō)明如何在實(shí)際實(shí)現(xiàn)中使用這些思想。本書(shū)可作為人工智能、計(jì)算機(jī)科學(xué)與技術(shù)、控制科學(xué)與工程、優(yōu)化理論等專(zhuān)業(yè)本科生、研究生的專(zhuān)業(yè)課教材，也可供計(jì)算機(jī)科學(xué)與技術(shù)

本書(shū)以團(tuán)體標(biāo)準(zhǔn)《青少年編程能力等級(jí)第5部分：人工智能編程》（T/CERACU/AFCEC100.5—2022）為依據(jù)，旨在引導(dǎo)青少年走進(jìn)人工智能編程的世界，形成基本的人工智能認(rèn)知和編程思維。本書(shū)共有4個(gè)單元，內(nèi)容覆蓋人工智能編程能力等級(jí)標(biāo)準(zhǔn)一級(jí)15個(gè)知識(shí)點(diǎn)。第1單元為初步認(rèn)識(shí)人工智能（共3節(jié)），主要介紹什么是人工智能，

本書(shū)介紹與人工智能關(guān)系緊密的數(shù)學(xué)知識(shí)模塊，以使讀者更好地掌握數(shù)學(xué)方法在人工智能領(lǐng)域的應(yīng)用。本書(shū)整合了隨機(jī)過(guò)程、矩陣論和運(yùn)籌學(xué)中相關(guān)的數(shù)學(xué)基礎(chǔ)，共12章，分為3部分。第1部分為隨機(jī)過(guò)程，包括第1～3章，主要介紹概率論預(yù)備知識(shí)、隨機(jī)過(guò)程的概念和基本類(lèi)型、馬爾可夫鏈。第2部分為矩陣論，包括第4～8章，主要介紹矩陣論預(yù)備知識(shí)、

本書(shū)在全面覆蓋人工智能框架知識(shí)的基礎(chǔ)上，以精簡(jiǎn)內(nèi)容、突出重點(diǎn)為準(zhǔn)則，避免面面俱到。每一部分都是挑選經(jīng)典、實(shí)用的知識(shí)內(nèi)容，同時(shí)配有典型案例和源代碼，將人工智能原理融會(huì)到典型案例中詳細(xì)講授，可以使初學(xué)者以較快的節(jié)奏學(xué)習(xí)、實(shí)踐人工智能基礎(chǔ)知識(shí)，重點(diǎn)掌握關(guān)鍵部分的常用算法，進(jìn)而了解人工智能領(lǐng)域的知識(shí)輪廓。全書(shū)共分7章：第1章為

深度學(xué)習(xí)理論無(wú)疑是當(dāng)今教育界的重要探索主題，其中“深度學(xué)習(xí)的本質(zhì)是什么”“深度學(xué)習(xí)的價(jià)值追求是什么”及“深度學(xué)習(xí)是怎樣的活動(dòng)”是人類(lèi)深度學(xué)習(xí)理論發(fā)展和實(shí)踐推進(jìn)的關(guān)鍵問(wèn)題。走向文化之思成為當(dāng)前深度學(xué)習(xí)研究與探索的新興方向。文化哲學(xué)理論體系對(duì)人與文化、文化與教育教學(xué)等方面的問(wèn)題有深刻洞察力，其所蘊(yùn)含的“文化本質(zhì)論—文化價(jià)值

本書(shū)主要內(nèi)容包括：1.AIGC在文字內(nèi)容創(chuàng)作中的應(yīng)用；2.AIGC在圖片內(nèi)容創(chuàng)作中的應(yīng)用；3.AIGC在影像內(nèi)容創(chuàng)作(數(shù)字人)中的應(yīng)用；4.AIGC在數(shù)字課程內(nèi)容創(chuàng)作中的應(yīng)用；5.AIGC在短視頻內(nèi)容創(chuàng)作中的應(yīng)用在每一部分的具體應(yīng)用場(chǎng)景任務(wù)之中，通過(guò)舉例說(shuō)明的方式，講解各場(chǎng)景任務(wù)下AIGC模型工具的應(yīng)用。

本書(shū)分為“人工智能”和“大數(shù)據(jù)”兩部分，主要研究了人工智能與大數(shù)據(jù)技術(shù)在現(xiàn)代社會(huì)中的應(yīng)用，介紹了人工智能的基本概念、發(fā)展歷程和關(guān)鍵技術(shù)，對(duì)大數(shù)據(jù)進(jìn)行概述，闡述了大數(shù)據(jù)技術(shù)在金融領(lǐng)域和電子商務(wù)中的實(shí)際應(yīng)用，分析了其發(fā)展趨勢(shì)，探討了大數(shù)據(jù)與人工智能的融合，以及構(gòu)建人工智能大數(shù)據(jù)技術(shù)平臺(tái)的可行性。本書(shū)結(jié)構(gòu)清晰，內(nèi)容連貫，語(yǔ)言

本書(shū)是基于對(duì)區(qū)塊鏈與人工智能融合領(lǐng)域的深入研究編寫(xiě)而成。第一章介紹了研究的背景、目的和意義；第二章研析了區(qū)塊鏈的原理和關(guān)鍵技術(shù)；第三章探討了人工智能的分類(lèi)和核心技術(shù)；第四章提出了融合概念和理論模型；第五章著重介紹了區(qū)塊鏈在構(gòu)建去中心化人工智能平臺(tái)中的作用；第六章探討了物聯(lián)網(wǎng)的發(fā)展；第七章分析了智能合約與區(qū)塊鏈在金融科技