布爾巴基學(xué)派的序、代數(shù)、拓?fù)淙�大母結(jié)構(gòu)是現(xiàn)代數(shù)學(xué)的基礎(chǔ)。利用計(jì)算機(jī)證明輔助工具，可以完整構(gòu)建這三大母結(jié)構(gòu)的形式化系統(tǒng)。本書利用交互式定理證明工具Coq，實(shí)現(xiàn)Morse-Kelley公理化集合論形式化系統(tǒng)，可以迅速而自然地給出一個(gè)數(shù)學(xué)基礎(chǔ)，擺脫了明顯的悖論。在我們開發(fā)的系統(tǒng)中，全部定理無例外地給出Coq的機(jī)器證明代碼，所

《智能控制技術(shù)與應(yīng)用案例設(shè)計(jì)》聚焦智能控制技術(shù)在石化行業(yè)的應(yīng)用，全書共六章。首章闡述智能控制的發(fā)展、研究內(nèi)容、對象、性能及特點(diǎn)。第二章圍繞模糊控制，涵蓋理論、模糊PID、Matlab實(shí)現(xiàn)及工程實(shí)驗(yàn)。第三章將李雅普諾夫穩(wěn)定性理論融入自適應(yīng)控制，解決非線性系統(tǒng)問題并給出仿真實(shí)例。第四章構(gòu)建神經(jīng)網(wǎng)絡(luò)系統(tǒng)辨識體系，用于流程工業(yè)

本書以最新的MySQL8.0為平臺，系統(tǒng)介紹了數(shù)據(jù)庫概述、MySQL數(shù)據(jù)庫與SQL基礎(chǔ)、MySQL數(shù)據(jù)定義功能、MySQL數(shù)據(jù)操縱功能、存儲過程和自定義函數(shù)、觸發(fā)器和事件、事務(wù)機(jī)制和鎖機(jī)制、關(guān)系規(guī)范化理論、數(shù)據(jù)庫維護(hù)、數(shù)據(jù)庫應(yīng)用案例、上機(jī)實(shí)驗(yàn)共11章內(nèi)容。第1～10章為MySQL數(shù)據(jù)庫的基本概念及應(yīng)用技術(shù)，第11章為配

本書闡述各技術(shù)的基本概念、發(fā)展脈絡(luò)、核心原理和關(guān)鍵應(yīng)用。物聯(lián)網(wǎng)模塊，介紹從感知層到網(wǎng)絡(luò)層的各類技術(shù)，并結(jié)合智能家居、智慧農(nóng)業(yè)等實(shí)際案例剖析；云計(jì)算章節(jié)深入探討其核心技術(shù)、服務(wù)與部署模式，以及在金融、醫(yī)療等行業(yè)的應(yīng)用場景；大數(shù)據(jù)板塊涵蓋數(shù)據(jù)處理全流程知識，并通過電商等行業(yè)案例展現(xiàn)大數(shù)據(jù)的價(jià)值；人工智能領(lǐng)域，講解機(jī)器學(xué)習(xí)、

本書共分為4部分：第1部分為軟件工程，包括軟件工程基礎(chǔ)知識、軟件系統(tǒng)需求分析和開發(fā)文檔的識讀與編寫；第2部分為必須掌握的計(jì)算機(jī)基礎(chǔ)知識，包括計(jì)算機(jī)基礎(chǔ)與體系結(jié)構(gòu)、操作系統(tǒng)原理與技術(shù)和計(jì)算機(jī)網(wǎng)絡(luò)；第3部分為實(shí)際的軟件設(shè)計(jì)，包括基本應(yīng)用程序開發(fā)、算法設(shè)計(jì)基礎(chǔ)、數(shù)據(jù)庫設(shè)計(jì)、桌面程序設(shè)計(jì)、網(wǎng)頁程序設(shè)計(jì)和網(wǎng)絡(luò)應(yīng)用程序開發(fā)；第4部

本書共11章，主要介紹了數(shù)據(jù)分析入門知識，Python的安裝與基礎(chǔ)知識，Excel與Python的數(shù)據(jù)獲取、數(shù)據(jù)清洗、數(shù)據(jù)預(yù)處理、數(shù)據(jù)計(jì)算、數(shù)據(jù)統(tǒng)計(jì)匯總和數(shù)據(jù)可視化分析，還介紹了Python批量處理Excel數(shù)據(jù)的方法，并通過兩個(gè)綜合實(shí)例講解了數(shù)據(jù)處理與分析的實(shí)戰(zhàn)操作。

本書通過四大篇章的講解，全面涵蓋了Unity開發(fā)從入門到實(shí)戰(zhàn)的各方面內(nèi)容。在起航篇中，通過講解Unity引擎的基礎(chǔ)使用，幫助讀者快速上手引擎開發(fā)。在編程進(jìn)階篇中，通過C＃編程、面向?qū)ο箝_發(fā)、設(shè)計(jì)模式、Unity引擎編程基礎(chǔ)以及數(shù)學(xué)開發(fā)基礎(chǔ)5個(gè)章節(jié)的講解，為初學(xué)者建立系統(tǒng)的編程技能，并掌握基礎(chǔ)的3D數(shù)學(xué)思維與引擎編程能力

本書從增強(qiáng)現(xiàn)實(shí)技術(shù)的基本概念、發(fā)展歷史、應(yīng)用領(lǐng)域，到增強(qiáng)現(xiàn)實(shí)技術(shù)框架，界面設(shè)計(jì)，以及到最后的技術(shù)實(shí)現(xiàn)，詳細(xì)講述了AR技術(shù)的應(yīng)用場景及制作方法，可幫助讀者從基本的增強(qiáng)現(xiàn)實(shí)技術(shù)認(rèn)知，到上手制作增強(qiáng)現(xiàn)實(shí)應(yīng)用，是一本綜合性的教材。

本書主要內(nèi)容包括WPS文檔的演示，文檔的設(shè)計(jì)，表格的使用Python基礎(chǔ)知識的介紹以及人工智能的應(yīng)用。本書將案例和課程思政通過實(shí)驗(yàn)的方式巧妙融合，結(jié)構(gòu)清晰、內(nèi)容翔實(shí)，實(shí)踐案例豐富，覆蓋前沿技術(shù)，啟發(fā)學(xué)生對技術(shù)發(fā)展的辯證思考。

本書共七個(gè)項(xiàng)目，內(nèi)容包括計(jì)算機(jī)基礎(chǔ)知識、MicrosoftOffice應(yīng)用基礎(chǔ)、Word文檔高效處理、Excel數(shù)據(jù)處理與分析、PowerPoint演示文稿設(shè)計(jì)、綜合應(yīng)用與應(yīng)試強(qiáng)化、AI賦能文檔處理。