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

《智能控制技術(shù)與應(yīng)用案例設(shè)計》聚焦智能控制技術(shù)在石化行業(yè)的應(yīng)用，全書共六章。首章闡述智能控制的發(fā)展、研究內(nèi)容、對象、性能及特點。第二章圍繞模糊控制，涵蓋理論、模糊PID、Matlab實現(xiàn)及工程實驗。第三章將李雅普諾夫穩(wěn)定性理論融入自適應(yīng)控制，解決非線性系統(tǒng)問題并給出仿真實例。第四章構(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ù)機制和鎖機制、關(guān)系規(guī)范化理論、數(shù)據(jù)庫維護、數(shù)據(jù)庫應(yīng)用案例、上機實驗共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è)等實際案例剖析；云計算章節(jié)深入探討其核心技術(shù)、服務(wù)與部署模式，以及在金融、醫(yī)療等行業(yè)的應(yīng)用場景；大數(shù)據(jù)板塊涵蓋數(shù)據(jù)處理全流程知識，并通過電商等行業(yè)案例展現(xiàn)大數(shù)據(jù)的價值；人工智能領(lǐng)域，講解機器學(xué)習、

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

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

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

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

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

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