形式語(yǔ)義學(xué)是在做什么？它的哲學(xué)假設(shè)是什么？它采用的方法是什么？這些方法如何反映它的哲學(xué)的和邏輯的起源？維特根斯坦在其中扮演了什么樣的角色？維特根斯坦關(guān)于倫理的看法是什么樣的？維特根斯坦的《哲學(xué)研究》與蒙塔古的“普遍語(yǔ)法”之間真的無(wú)法調(diào)和嗎？本書(shū)作者試圖通過(guò)10多篇論文深入探討這些問(wèn)題，并給出了合理的解答。本書(shū)通過(guò)挖掘形

本書(shū)以一名職場(chǎng)新人的工作經(jīng)歷為主線(xiàn)，系統(tǒng)性地介紹計(jì)算機(jī)組裝與維護(hù)的基礎(chǔ)知識(shí)。根據(jù)崗位工作流程與教學(xué)認(rèn)知過(guò)程的特點(diǎn)，本書(shū)將相關(guān)知識(shí)體系分解為8個(gè)學(xué)習(xí)項(xiàng)目和16個(gè)實(shí)訓(xùn)任務(wù)，并分別創(chuàng)設(shè)對(duì)應(yīng)的職業(yè)場(chǎng)景，將知識(shí)點(diǎn)融入到崗位實(shí)踐當(dāng)中，同時(shí)保持學(xué)習(xí)的連貫性和知識(shí)的實(shí)用性。本書(shū)內(nèi)容詳實(shí)、條理清晰、通俗易懂，與職業(yè)應(yīng)用緊密結(jié)合，并配有豐

本書(shū)系統(tǒng)地介紹了計(jì)算機(jī)的基本組成原理和內(nèi)部工作機(jī)制，以及計(jì)算機(jī)體系結(jié)構(gòu)的基本概念、基本結(jié)構(gòu)和基本分析方法。全書(shū)由9章組成：?第1章介紹計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)的基本概念；第2章介紹計(jì)算機(jī)中數(shù)據(jù)的機(jī)器層次表示；第3章介紹計(jì)算機(jī)的指令系統(tǒng)；第4章介紹計(jì)算機(jī)中的運(yùn)算方法和運(yùn)算器，第5章介紹主存儲(chǔ)器；第6章介紹多級(jí)存儲(chǔ)系統(tǒng)的設(shè)計(jì)；第7章

本書(shū)主要內(nèi)容有4個(gè)部分：1．一元微積分基礎(chǔ)，包括：函數(shù)、極限與連續(xù)，一元函數(shù)微分學(xué)及其應(yīng)用，一元函數(shù)積分學(xué)。2．線(xiàn)性代數(shù)基礎(chǔ)：行列式與矩陣、線(xiàn)性方程組。3．概率論與數(shù)理統(tǒng)計(jì)基礎(chǔ)：概率論基本概念、隨機(jī)變量的分布及其數(shù)字特征、方差及其性質(zhì)、數(shù)理統(tǒng)計(jì)的基礎(chǔ)知識(shí)。4．離散數(shù)學(xué)基礎(chǔ)：集合與關(guān)系，圖論，數(shù)理邏輯初步。

本書(shū)由2017年圖靈獎(jiǎng)的兩位得主撰寫(xiě)，是計(jì)算機(jī)體系結(jié)構(gòu)領(lǐng)域的經(jīng)典教材，每年被超過(guò)40000名學(xué)生使用。新版的主要更新是在每章中添加了關(guān)于DSA的內(nèi)容，并更新了所有實(shí)例，使全書(shū)更加與時(shí)俱進(jìn)，滿(mǎn)足學(xué)生和讀者的新需求。

本書(shū)從環(huán)境的搭建和Tensorflow2.X的基礎(chǔ)語(yǔ)法講起，逐步深入到計(jì)算機(jī)視覺(jué)項(xiàng)目的實(shí)戰(zhàn)，重點(diǎn)介紹了如何使用Tensorflow2.X框架實(shí)現(xiàn)各類(lèi)經(jīng)典的深度學(xué)習(xí)模型，讓讀者可以系統(tǒng)地學(xué)習(xí)Tensorflow2.X和計(jì)算機(jī)視覺(jué)領(lǐng)域的相關(guān)知識(shí)并有更深入的了解。本書(shū)分為10章，涵蓋的主要內(nèi)容有Anaconda環(huán)境配置、Ju

本書(shū)將技術(shù)按應(yīng)用領(lǐng)域及特性分為高效冷源技術(shù)、高效冷卻/散熱技術(shù)、高效供配電技術(shù)、高效存儲(chǔ)技術(shù)、高效數(shù)據(jù)處理設(shè)備技術(shù)、模塊化解決方案技術(shù)、數(shù)據(jù)中心智能控制與運(yùn)維管理技術(shù)、可再生能源與資源回收利用技術(shù)8類(lèi)，分別介紹了各技術(shù)的原理、功能特性及應(yīng)用案例，并在此基礎(chǔ)上介紹了綠色數(shù)據(jù)中心先進(jìn)適用技術(shù)綜合應(yīng)用實(shí)踐情況。

本書(shū)設(shè)有8個(gè)項(xiàng)目，包括初識(shí)計(jì)算機(jī)、認(rèn)識(shí)常見(jiàn)計(jì)算機(jī)組件、成就裝機(jī)大師、安裝操作系統(tǒng)、計(jì)算機(jī)維修服務(wù)及常見(jiàn)故障處理、認(rèn)識(shí)常見(jiàn)硬件維修工具、主板開(kāi)機(jī)電路分析及故障檢測(cè)、主板南北橋供電電路分析及故障檢修。

本書(shū)以當(dāng)前主流微型計(jì)算機(jī)技術(shù)為背景,以建立系統(tǒng)級(jí)的整機(jī)概念為目的,深入介紹計(jì)算機(jī)各功能子系統(tǒng)的邏輯組成和工作機(jī)制。全書(shū)共6章,主要包括計(jì)算機(jī)的基本概念、發(fā)展歷程和系統(tǒng)的硬件、軟件組織及計(jì)算機(jī)相關(guān)的性能指標(biāo),數(shù)據(jù)信息的表示、運(yùn)算和校驗(yàn)方法,CPU的一般模型、指令系統(tǒng)和x86架構(gòu)、MIPS32架構(gòu)簡(jiǎn)易CPU的設(shè)計(jì),存儲(chǔ)子系

本書(shū)從機(jī)器學(xué)習(xí)與計(jì)算機(jī)視覺(jué)處理實(shí)踐出發(fā),通過(guò)案例介紹了計(jì)算機(jī)視覺(jué)處理相關(guān)的機(jī)器學(xué)習(xí)開(kāi)發(fā)技術(shù),包括機(jī)器學(xué)習(xí)基礎(chǔ)、圖像處理基礎(chǔ)、特征選擇與降維、典型機(jī)器學(xué)習(xí)算法、深度學(xué)習(xí)與圖像識(shí)別、AI開(kāi)放云平臺(tái)及移動(dòng)端應(yīng)用等技術(shù);詳細(xì)介紹了基于機(jī)器學(xué)習(xí)的計(jì)算機(jī)視覺(jué)處理技術(shù)和算法,并以神經(jīng)網(wǎng)絡(luò)中的卷積神經(jīng)網(wǎng)絡(luò)CNN、循環(huán)神經(jīng)網(wǎng)絡(luò)RNN、A