形式語義學(xué)是邏輯與語言交叉研究的產(chǎn)物，是在邏輯框架內(nèi)構(gòu)建的關(guān)于自然語言的語義學(xué)。形式語義學(xué)根植于邏輯學(xué)、哲學(xué)、數(shù)學(xué)、語言學(xué)等好幾個學(xué)科，其顯著特征是運用邏輯和數(shù)學(xué)的形式化方法去研究自然語言的形成規(guī)律。高蕓編著的《形式語義學(xué)研究》介紹了經(jīng)典形式語義學(xué)理論的兩個重要代表一一塔斯基真值語義理論和蒙太格語法，描述了動態(tài)語義學(xué)理

《計算機組裝與維護技術(shù)實訓(xùn)教程（第2版）/21世紀(jì)高等學(xué)校計算機基礎(chǔ)實用規(guī)劃教材》從計算機組裝與維護的實訓(xùn)出發(fā)，結(jié)合計算機系統(tǒng)最新發(fā)展動態(tài)，講解了計算機硬件組成、硬件選購和組裝、BIOS設(shè)置、硬盤分區(qū)、軟件系統(tǒng)安裝、移動網(wǎng)絡(luò)組建、系統(tǒng)安全維護與故障處理、數(shù)據(jù)備份與恢復(fù)等技術(shù)細節(jié)，虛擬化技術(shù)的概念及虛擬機VMWareWo

《計算機硬件檢測維修》以全國技能大賽所用的計算機硬件檢測維修臺為學(xué)習(xí)平臺，內(nèi)容分五個模塊：認(rèn)識常用元器件、掌握常用維修工具及維修平臺的使用、認(rèn)識計算機系統(tǒng)原理、學(xué)會檢測維修臺式計算機、學(xué)會檢測維修筆記本電腦，并將每個模塊內(nèi)容任務(wù)化，以任務(wù)教學(xué)來達到技能的培養(yǎng)。書中配有大量圖示，操作方法翔盡，可操作性強，同時配有光盤（包

《信息安全概論(重點大學(xué)信息安全專業(yè)規(guī)劃系列教材)》由郝玉潔、吳立軍、趙洋、劉瑤編著，本書全面介紹信息安全的基本概念、原理、知識體系與應(yīng)用，涵蓋了當(dāng)前信息安全領(lǐng)域的主要研究內(nèi)容，是信息安全專業(yè)的入門教材。本書主要涉及密碼學(xué)基礎(chǔ)與應(yīng)用、網(wǎng)絡(luò)安全技術(shù)、環(huán)境與系統(tǒng)安全技術(shù)、操作系統(tǒng)安全技術(shù)、數(shù)據(jù)庫安全技術(shù)等信息安全領(lǐng)域的基礎(chǔ)

《機器視覺自動檢測技術(shù)》提出了網(wǎng)絡(luò)化多目視覺在線快速檢測理論與系統(tǒng)，系統(tǒng)地介紹了機器視覺自動檢測領(lǐng)域的知識和技術(shù)。本書共分為六章。第1章講述數(shù)字圖像與機器視覺技術(shù)的發(fā)展歷程、發(fā)展趨勢和前景。第2章講述機器視覺系統(tǒng)的硬件構(gòu)成，包括相機的分類及主要特性參數(shù)、光學(xué)鏡頭的原理與選型、圖像采集卡的原理及種類、圖像數(shù)據(jù)的傳輸方式等

本書是根據(jù)全國高等教育自學(xué)考試計算機及應(yīng)用專業(yè)（獨立本科段）課程自學(xué)考試大綱編寫的。全書共分8章，主要內(nèi)容包括：計算機系統(tǒng)結(jié)構(gòu)概論；數(shù)據(jù)表示、尋址方式與指令系統(tǒng)的設(shè)計、優(yōu)化、發(fā)展和改進；存儲、中斷、總線與I/O系統(tǒng)；存儲體系概念、虛擬存儲器、高速緩沖存儲器、三級存儲體系；重疊方式和流水方式的標(biāo)量處理機及指令級高度并行的

計算機硬件組成包括運算器、控制器、存儲器、輸入設(shè)備和輸出設(shè)備五大部件，《計算機組成原理教程/應(yīng)用型本科信息大類專業(yè)“十二五”規(guī)劃教材·21世紀(jì)普通高等教育優(yōu)秀教材》即圍繞這五大部件展開討論。全書共分9章：第1章為計算機系統(tǒng)概論；第2章為計算機中的數(shù)制及編碼；第3章為總線系統(tǒng)；第4章為中央處理器；第5章為指令系統(tǒng)；

相比于傳統(tǒng)類型的算法分析與設(shè)計教程，本書的最大特點是將計算思維這種思維方式貫穿于全書的各個章節(jié)中，力圖使讀者不僅理解和掌握這門課程的基本內(nèi)容，而且通過對全書的學(xué)習(xí)，能夠認(rèn)識和體會計算思維這種新的思維模式在算法的分析與設(shè)計中的運用方法。除此以外，本書在第8章介紹了當(dāng)前在算法研究領(lǐng)域的前沿一一智能算法。為了便于讀者很好地掌

“計算機數(shù)學(xué)”是計算機類專業(yè)的一門基礎(chǔ)課，它描述了計算機科學(xué)離散性的特點。全書共分6章，深入淺出地介紹了數(shù)字系統(tǒng)，集合、關(guān)系和函數(shù)，命題邏輯、謂詞和量詞、推理規(guī)則，算法基礎(chǔ)（歐氏算法、遞歸算法等），圖論，樹和二叉樹等基礎(chǔ)知識。同時各章節(jié)配備了適量的習(xí)題供讀者練習(xí)，以便讀者切實掌握相應(yīng)的數(shù)學(xué)知識，增強應(yīng)用能力。

本書是“基于卓越人才培養(yǎng)模式的硬件課程體系建設(shè)和教學(xué)模式改革”教學(xué)改革研究課題的重要成果之一。全書按照普通高等院校計算機專業(yè)本科生的教學(xué)要求，并根據(jù)“計算機組成原理”課程教學(xué)大綱及碩士研究生入學(xué)考試的要求編寫而成。共分為7章：第1章總體介紹了計算機組成原理的基本概念及應(yīng)用領(lǐng)域；第2章介紹了計算機運算的方法，包括定點數(shù)與