形式語言與自動(dòng)機(jī)理論是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的一門重要課程。《有限自動(dòng)機(jī)理論（第四版）》簡述形式語言基本內(nèi)容，包括文法的分類、構(gòu)造方法和語言間運(yùn)算的封閉性。系統(tǒng)地論述三類有限自動(dòng)機(jī)——有限狀態(tài)自動(dòng)機(jī)、下推自動(dòng)機(jī)和圖靈機(jī)的基礎(chǔ)理論。從文法產(chǎn)生語言和自動(dòng)機(jī)識(shí)別語言的角度對(duì)語言進(jìn)行討論，介紹了文法與等價(jià)的自動(dòng)機(jī)之間的轉(zhuǎn)換方法以

本書介紹計(jì)算機(jī)專業(yè)用到的相關(guān)知識(shí)和常用的軟件。本書共12章，第1~3章結(jié)合高中所學(xué)數(shù)學(xué)基礎(chǔ)知識(shí)，詳細(xì)講解了與計(jì)算機(jī)專業(yè)密切相關(guān)的數(shù)制、排列組合、數(shù)論的相關(guān)內(nèi)容；第4章介紹邏輯運(yùn)算；第5~10章簡單介紹計(jì)算機(jī)專業(yè)的編程基礎(chǔ)語言：C語言、java語言和Python語言，介紹與專業(yè)相關(guān)的經(jīng)典算法和排序方法；第11章介紹矩陣的

《深入淺出Hyperscan：高性能正則表達(dá)式算法原理與設(shè)計(jì)》系統(tǒng)、循序漸進(jìn)地介紹Hyperscan技術(shù)。全書共8章，主要介紹正則表達(dá)式、匹配算法和正則表達(dá)式匹配所依賴的自動(dòng)機(jī)原理、正則表達(dá)式匹配庫等，并重點(diǎn)介紹Hyperscan的功能特性、設(shè)計(jì)原理和性能調(diào)優(yōu)技巧，以及匹配引擎的核心算法和SIMD加速技術(shù)的運(yùn)用，還展示

本書系統(tǒng)地介紹了計(jì)算機(jī)的基本組成、基本原理和基本分析方法。本書共9章，分別是計(jì)算機(jī)系統(tǒng)概述、信息表示、邏輯電路基礎(chǔ)、運(yùn)算方法與運(yùn)算器、存儲(chǔ)器、微程序控制計(jì)算機(jī)、精簡指令集計(jì)算機(jī)、存儲(chǔ)體系、輸入輸出系統(tǒng)，講述計(jì)算機(jī)從部件到整機(jī)的組織結(jié)構(gòu)和工作原理。本書內(nèi)容深入淺出，每章均附有習(xí)題，可作為高等院校計(jì)算機(jī)類各專業(yè)及相關(guān)專業(yè)本

本書是計(jì)算機(jī)組成與體系結(jié)構(gòu)領(lǐng)域的經(jīng)典教材。它對(duì)組成與體系結(jié)構(gòu)領(lǐng)域的必要基礎(chǔ)知識(shí)進(jìn)行了全面的介紹。同時(shí)，本書涉及領(lǐng)域的前沿進(jìn)展。與前一版相比，第10版對(duì)許多主題進(jìn)行了修訂，并增加了新內(nèi)容，包括GPGPU、異構(gòu)多核處理器、嵌入式系統(tǒng)、微控制器、云計(jì)算、系統(tǒng)性能、存儲(chǔ)器、直接緩存訪問、Intel酷睿微架構(gòu)等。本書對(duì)涉及的理論

本書是美國倫斯勒理工學(xué)院（RensselaerPolytechnicInstitute,RPI）紀(jì)強(qiáng)（QiangJi）教授專門為概率圖模型編寫的一本專著。本書介紹了計(jì)算機(jī)視覺中的概率圖模型（PGM），討論了PGM及其在解決計(jì)算機(jī)視覺中存在的問題，提供了基本概念、定義和屬性。專注于PGM的理論，以偽代碼和推導(dǎo)的方式對(duì)PG

本書致力于利用算法求解實(shí)際問題。第1部分介紹算法的核心內(nèi)容，探討什么是算法、如何設(shè)計(jì)算法，同時(shí)學(xué)習(xí)在算法中使用的數(shù)據(jù)結(jié)構(gòu)。重點(diǎn)講解排序算法、查找算法和求解圖問題的算法。第二部分討論各種機(jī)器學(xué)習(xí)算法，包括無監(jiān)督機(jī)器學(xué)習(xí)算法和傳統(tǒng)有監(jiān)督學(xué)習(xí)算法，詳細(xì)討論一些自然語言處理算法和推薦引擎。第三部分討論更高級(jí)的算法概念，重點(diǎn)介紹

本書深入探討了計(jì)算機(jī)的基礎(chǔ)概念，比如計(jì)算機(jī)硬件、軟件在硬件上的行為，以及隨著時(shí)間的推移，人們?nèi)绾谓鉀Q問題等主題；介紹了現(xiàn)實(shí)世界是如何轉(zhuǎn)換成計(jì)算機(jī)能理解的形式的，組成計(jì)算機(jī)的基本構(gòu)件，以及為什么設(shè)計(jì)與計(jì)算機(jī)硬件相匹配的程序可以提高性能；還將介紹如何將程序轉(zhuǎn)換為計(jì)算機(jī)能夠理解的機(jī)器語言，如何用軟件構(gòu)建塊創(chuàng)造Web瀏覽器等程

本書以高鐵場站管理為工作場景，以AI機(jī)器視覺基礎(chǔ)應(yīng)用為案例，采用以成果為導(dǎo)向，基于工作過程，結(jié)合案例式教學(xué)、模塊組合、任務(wù)驅(qū)動(dòng)的方式進(jìn)行編寫，通過對(duì)AI機(jī)器視覺體系架構(gòu)中的基礎(chǔ)原型開發(fā)、特征匯聚、神經(jīng)網(wǎng)絡(luò)、深度學(xué)習(xí)以及人工智能時(shí)代的信息安全等相關(guān)基礎(chǔ)知識(shí)的闡述，展開人工智能相關(guān)基礎(chǔ)知識(shí)的介紹，并附有工作任務(wù)書，做到教學(xué)

時(shí)序邏輯是人工智能和計(jì)算機(jī)科學(xué)領(lǐng)域中的重要建模工具。隨著時(shí)序邏輯的廣泛使用，應(yīng)用時(shí)序邏輯來對(duì)復(fù)雜系統(tǒng)進(jìn)行推理和驗(yàn)證的算法也應(yīng)運(yùn)而生。其中成功的方法之一就是Resolution算法，這也是本書的主題。1965年美國數(shù)理邏輯專家魯濱遜（J.A.Robinson）提出了一條Resolution推理規(guī)則，這標(biāo)志著Resolut