《計算機科學的邏輯基礎(chǔ)》以實際問題的求解為導向，對計算機科學的邏輯基礎(chǔ)知識進行了介紹、討論和歸納，實現(xiàn)了邏輯與計算機之間的知識貫通。《計算機科學的邏輯基礎(chǔ)》主要內(nèi)容包括邏輯與等式、計算機算術(shù)、算法、計算實踐四個部分，采用三種形式化表示法，即傳統(tǒng)的邏輯代數(shù)公式表示法、數(shù)字電路圖表示法以及ACL2表示法實現(xiàn)邏輯推理�！队嬎�

人工智能相比于人力而言具有低成本、高效率和全天候等巨大優(yōu)勢，但其發(fā)展往往不能全面滿足實際場景的旺盛需求。近年來人工智能與計算機視覺的結(jié)合日益緊密，基于深度學習研究計算機視覺成為一個新方向。深度學習的特點是層次化的特征提取、規(guī)模更大、數(shù)據(jù)更多、計算更復雜。本書從介紹計算機視覺的任務入手，總結(jié)從傳統(tǒng)手工提取特征方法到深度學

本書旨在建立計算機視覺技術(shù)的基礎(chǔ)知識體系，為讀者進入人工智能視覺領(lǐng)域奠定基礎(chǔ)。全書共9章，分別從計算機視覺概述、開發(fā)工具的使用等基礎(chǔ)知識點出發(fā)，向與具體任務相結(jié)合的技術(shù)知識點（包括圖像運算、圖像增強、圖像去噪、圖像分割、視頻處理、人臉識別、目標檢測等）延伸，由淺入深，層層遞進，為讀者呈現(xiàn)豐富的技術(shù)實踐場景。本書采用任務

《信息內(nèi)容安全管理及應用》從概念、技術(shù)、應用三個角度出發(fā)，介紹了信息內(nèi)容安全領(lǐng)域的基礎(chǔ)知識，包括信息內(nèi)容安全的概念、管理理論和應用模型、管理應用體系；詳細介紹了該領(lǐng)域所處理的各類媒體信息，包括文本、圖像、音頻等的特點和處理方法，以及互聯(lián)網(wǎng)信息獲取的技術(shù)；介紹了各類媒體信息的進一步智能處理的各類算法，以及社交網(wǎng)絡的分析模

本書不僅講解傳統(tǒng)的算法設(shè)計策略和技巧，而且關(guān)注算法領(lǐng)域不斷涌現(xiàn)的新概念、新方法和新應用，幫助讀者把握技術(shù)熱點及發(fā)展趨勢。書中引入了降維技術(shù)、并行算法、隨機算法、層次化存儲結(jié)構(gòu)算法和流算法等新內(nèi)容，大量使用概率分析和隨機化技術(shù)，并包含眾多新穎的示例，特別是強調(diào)計算模型和計算環(huán)境，不再局限于理想化的隨機存取機模型。全書內(nèi)容

OpenCV是計算機視覺領(lǐng)域的開發(fā)者必須掌握的技術(shù)。該書針對OpenCV4.5進行編寫，全面系統(tǒng)地介紹OpenCV4.5的使用。書中重點介紹OpenCV4.5相比之前的版本做出的重大修改�！禣penCV4.5計算機視覺開發(fā)實戰(zhàn)（基于VC++）》共14章，主要內(nèi)容包括OpenCV4.5的基礎(chǔ)知識、OpenCV開發(fā)環(huán)境搭建

機器視覺簡單來理解就是一門用機器代替人眼做測量和判斷的技術(shù)，在現(xiàn)代制造中應用廣泛，如在產(chǎn)品定位、缺陷檢測、尺寸測量、條碼識別等方面均有應用。機器視覺是一門綜合技術(shù)，包括數(shù)字圖像處理、自動控制、光源照明、光學成像、傳感器、機器人等知識。本書由淺入深比較全面地介紹了機器視覺的相關(guān)知識，包括機器視覺基本知識、工業(yè)相機原理及選

本書以培養(yǎng)學生的職業(yè)能力為核心，以實際項目為導向，采用任務驅(qū)動的教學方法組織教材內(nèi)容。全書共設(shè)置九個項目，每個項目又以不同的工作任務為驅(qū)動，充分體現(xiàn)學做一體化特點，增強學生實踐動手能力。本書由長江職業(yè)學院與西安開元電子實業(yè)有限公司合作編寫，教材內(nèi)容設(shè)計與硬件技術(shù)工程師實際工作崗位相結(jié)合，課程標準對接崗位需求，內(nèi)容通俗易

本書給出了計算機系統(tǒng)設(shè)計策略三十六計和算法三十六計的研究成果，提出了計算機學科的四種基本的對立統(tǒng)一關(guān)系，即四個基本科學問題，包括集分定位、剛?cè)嵯嗄�、供需相應和串并轉(zhuǎn)換。從集分定位出發(fā)，在策略三十六計中提出了架構(gòu)設(shè)計十八計，包括時空轉(zhuǎn)換和多種計算模式的計策；從剛?cè)嵯嗄Τ霭l(fā)，在策略三十六計中提出了系統(tǒng)特性十八計，包括八類特

本書面向高等職業(yè)院校電氣、電子類的專業(yè)學生，引入源自企業(yè)現(xiàn)場的實際應用案例，結(jié)合學生個性化學習需求和高等職業(yè)院校復合型高素質(zhì)技術(shù)技能人才培養(yǎng)需要，以溫度、力、速度、位移和視覺五大物理量的測量為主線，針對溫度、力、速度、位移和視覺中每一種物理量的測量需要，介紹不同傳感器的結(jié)構(gòu)、原理、類型、選型及應用方法，進而突出傳感器選