本書主要介紹一階子句集的消解原理和命題公式集的穩(wěn)定模型、一般缺省理論(包括它的幾個(gè)重要變種)的擴(kuò)張計(jì)算特征與算法和復(fù)雜性、容易計(jì)算的特殊缺省理論類和缺省邏輯的語義、回答集程序及其拓廣(嵌套查詢)的基本概念與重要性質(zhì)，以及架起回答集程序與經(jīng)典邏輯之間關(guān)系橋梁的環(huán)公式和程序完備理論。

本套教材包括主教材《機(jī)器學(xué)習(xí)-工業(yè)大數(shù)據(jù)分析》，一套多媒體課件，一個(gè)工業(yè)大數(shù)據(jù)集，一套完整代碼集。由授課教師在進(jìn)行教學(xué)實(shí)踐的基礎(chǔ)上，適應(yīng)當(dāng)前國內(nèi)教學(xué)改革的需要，結(jié)合清華大學(xué)《機(jī)器學(xué)習(xí)與大數(shù)據(jù)》的教學(xué)經(jīng)驗(yàn)編寫而成。本書以機(jī)器學(xué)習(xí)理論方法和工業(yè)大數(shù)據(jù)實(shí)踐為兩條并行主線貫穿整個(gè)課程。以經(jīng)典機(jī)器學(xué)習(xí)、深度學(xué)習(xí)以及強(qiáng)化學(xué)習(xí)部分為

《人工智能技術(shù)及應(yīng)用》主要以人工智能的幾種核心技術(shù)與發(fā)展應(yīng)用為脈絡(luò)，以深入淺出的方式，系統(tǒng)、清晰地介紹了人工智能的基本概念、發(fā)展歷程、關(guān)鍵技術(shù)和典型應(yīng)用。本書涉及計(jì)算機(jī)視覺技術(shù)、語音智能技術(shù)、自然語言處理技術(shù)、人工智能技術(shù)應(yīng)用案例，為讀者構(gòu)造并描繪出人工智能全景圖，向讀者展示了一個(gè)全新、智慧、前沿的科技新時(shí)代，使讀者能

本書全面介紹了統(tǒng)計(jì)機(jī)器學(xué)習(xí)的主要算法，內(nèi)容涉及多元線性回歸、對(duì)數(shù)線性回歸、邏輯斯蒂回歸、嶺回歸、Lasso回歸、判別分析和聚類分析等傳統(tǒng)方法，也涉及支持向量機(jī)、深度神經(jīng)網(wǎng)絡(luò)以及集成學(xué)習(xí)等比較熱門的算法，并給出相應(yīng)算法的R語言實(shí)現(xiàn)。本書還給出了向量和矩陣函數(shù)求導(dǎo)以及拉格朗日對(duì)偶等數(shù)學(xué)基礎(chǔ)，便于讀者理解相關(guān)算法推導(dǎo)。本書可

人工智能技術(shù)作為數(shù)字時(shí)代的一項(xiàng)基本技術(shù)，如何迎接它帶來的挑戰(zhàn)與機(jī)遇，定位我們所處的時(shí)代，適應(yīng)未來人工智能給我們帶來的深刻影響？要正確認(rèn)知這個(gè)問題，我們的參照系要足夠大，視野才能足夠開闊，目光才能足夠長遠(yuǎn)，未來才能足夠清晰。 《人工智能極簡史》旨在引領(lǐng)讀者以長遠(yuǎn)深邃的歷史眼光來審視人工智能的發(fā)展，從人類最初對(duì)智能的幻想出

自人工智能的先驅(qū)艾倫·圖靈（AlanTuring，1912）開始，人們就對(duì)人工智能的研究非常感興趣，人們常常會(huì)問：人工智能像人類一樣學(xué)習(xí)嗎?有可能制造出與人類相似的人工智能嗎?人工智能會(huì)寫、會(huì)唱、會(huì)作曲、會(huì)表演嗎?未來我們應(yīng)該找什么樣的工作?自動(dòng)駕駛汽車什么時(shí)候會(huì)出現(xiàn)?我們應(yīng)該如何從道德、法律和教育角度看

本書是江蘇省高等學(xué)校重點(diǎn)教材，介紹了機(jī)電控制系統(tǒng)的基本原理、基本知識(shí)及其在機(jī)械工程中的應(yīng)用，具體內(nèi)容包括機(jī)電控制系統(tǒng)的基本概念、控制系統(tǒng)的數(shù)學(xué)模型、控制系統(tǒng)的時(shí)域分析、根軌跡法、控制系統(tǒng)的頻域分析、控制系統(tǒng)的校正、機(jī)電控制系統(tǒng)的設(shè)計(jì)方法與實(shí)例等。每章備有知識(shí)要點(diǎn)、例題解析與習(xí)題。本書力求理論聯(lián)系實(shí)際，簡明易懂，強(qiáng)調(diào)應(yīng)用

全書分為上下兩篇，共13章。上篇計(jì)算思維和數(shù)據(jù)思維主要包括計(jì)算與計(jì)算機(jī)、計(jì)算思維、算法、程序設(shè)計(jì)和數(shù)據(jù)思維5章。下篇人工智能導(dǎo)論主要包括人工智能概述、智能感知、知識(shí)表示與知識(shí)圖譜、自然語言處理、機(jī)器視覺、機(jī)器學(xué)習(xí)與深度學(xué)習(xí)、云計(jì)算和大數(shù)據(jù)、數(shù)據(jù)挖掘8章。 本書以計(jì)算思維、數(shù)據(jù)思維和人工智能思維為培養(yǎng)目標(biāo)，在教學(xué)內(nèi)容中體

在數(shù)字化時(shí)代，嵌入式人工智能系統(tǒng)和深度學(xué)習(xí)等技術(shù)變得越來越重要。在嵌入式平臺(tái)上進(jìn)行深度學(xué)習(xí)推理時(shí)會(huì)受到計(jì)算能力、存儲(chǔ)空間、能耗等資源限制的挑戰(zhàn)。本書從深度學(xué)習(xí)模型在資源受限的硬件平臺(tái)上部署的角度，介紹嵌入式AI系統(tǒng)的基本概念、需求、挑戰(zhàn)，以及其軟硬件解決方案。本書共分為7章。第1章介紹了邊緣計(jì)算；第2章介紹了嵌入式AI

《AIGC：讓生成式AI成為自己的外腦》針對(duì)近期較為火熱的AIGC技術(shù)及其相關(guān)話題，介紹AIGC的技術(shù)原理、專業(yè)知識(shí)和應(yīng)用。全書共分為九章。第一章介紹AIGC技術(shù)的基本概念和發(fā)展歷程；第二、三章介紹AIGC的基礎(chǔ)技術(shù)棧和拓展技術(shù)棧；第四、五章分別討論了AIGC技術(shù)在文本生成和圖像生成兩個(gè)領(lǐng)域的現(xiàn)狀和前景；第六章列舉了目