人類使用自然語(yǔ)言進(jìn)行日常的思考、推理和解決問(wèn)題，而機(jī)器使用形式語(yǔ)言進(jìn)行推理和計(jì)算，因此，要實(shí)現(xiàn)人機(jī)互動(dòng)，需要讓機(jī)器能夠?qū)⒆匀徽Z(yǔ)言自動(dòng)地翻譯為形式語(yǔ)言，即實(shí)現(xiàn)自然語(yǔ)言的自動(dòng)形式化。本書從人類認(rèn)知出發(fā)，通過(guò)讓機(jī)器模擬人類形式化的思維過(guò)程來(lái)實(shí)現(xiàn)自動(dòng)形式化。本書涉及邏輯、語(yǔ)言、認(rèn)知與計(jì)算多個(gè)學(xué)科的知識(shí)，從跨學(xué)科的視角為自動(dòng)形式

Dreamweaver是一款主流網(wǎng)頁(yè)設(shè)計(jì)軟件，廣泛應(yīng)用于網(wǎng)頁(yè)設(shè)計(jì)的各個(gè)領(lǐng)域。其中DreamweaverCS6是比較常用的版本。本書講解使用DreamweaverCS6進(jìn)行網(wǎng)頁(yè)設(shè)計(jì)的相關(guān)知識(shí)，主要內(nèi)容包括DreamweaverCS6網(wǎng)頁(yè)制作基礎(chǔ)，輸入與格式化文本，插入圖像和多媒體對(duì)象，在網(wǎng)頁(yè)中創(chuàng)建超鏈接，布局網(wǎng)頁(yè)版面，C

CSS選擇器是CSS世界的支柱，撐起了整個(gè)精彩紛呈的CSS世界。本書專門介紹CSS選擇器的相關(guān)知識(shí)。在本書中，作者結(jié)合多年從業(yè)經(jīng)驗(yàn)，在CSS基礎(chǔ)知識(shí)之上，充分考慮前端開(kāi)發(fā)人員的開(kāi)發(fā)需求，以CSS選擇器的基本概念、優(yōu)先級(jí)、命名、best實(shí)踐以及各偽類選擇器的適用場(chǎng)景為技術(shù)主線，為CSS開(kāi)發(fā)人員介紹有競(jìng)爭(zhēng)力的知識(shí)和技能。本

內(nèi)容提要 本書主要講解Vue.js前端開(kāi)發(fā)的基礎(chǔ)知識(shí)和實(shí)戰(zhàn)應(yīng)用。本書共5篇，第1篇為Vue.js基礎(chǔ)，包括初識(shí)Vue.js、Vue.js基礎(chǔ)、Vue.js模板語(yǔ)法、Vue.js表單輸入綁定、Vue.js計(jì)算屬性與偵聽(tīng)器、動(dòng)態(tài)綁定class與style和Vue.js事件處理；第2篇為Vue.js深入與提高，包括深入了解組

本書共分為12章。第1章對(duì)企業(yè)網(wǎng)進(jìn)行了概述；第2~11章分別講解了網(wǎng)絡(luò)冗余技術(shù)、訪問(wèn)控制列表的使用、網(wǎng)絡(luò)地址轉(zhuǎn)換技術(shù)、廣域網(wǎng)技術(shù)的原理與配置、DHCP的原理與配置、IPv6基礎(chǔ)、IPv6路由配置、網(wǎng)絡(luò)安全技術(shù)、WLAN技術(shù)和網(wǎng)絡(luò)管理協(xié)議相關(guān)的知識(shí)；第12章對(duì)SDN與Python的基礎(chǔ)知識(shí)進(jìn)行了介紹。 本書除了適用于高等

這是一本面向零基礎(chǔ)讀者的數(shù)碼攝影后期專業(yè)教程。本書共8章。第1章講解Bridge的相關(guān)功能，以及通過(guò)Bridge調(diào)用CameraRaw的方法，帶領(lǐng)讀者學(xué)習(xí)軟件的基礎(chǔ)知識(shí)；第2章講解如何利用CameraRaw制作簡(jiǎn)單的效果，以激發(fā)讀者的學(xué)習(xí)興趣；第3章講解后期基礎(chǔ)知識(shí)，讓讀者學(xué)會(huì)分析和處理照片；第4章講解圖像的整體調(diào)整與

本書從云計(jì)算最基本的概念開(kāi)始，由淺入深地帶領(lǐng)讀者領(lǐng)會(huì)云計(jì)算的精髓,以梳理知識(shí)脈絡(luò)和要點(diǎn)的方式帶領(lǐng)讀者進(jìn)入云計(jì)算知識(shí)的殿堂。本書的第1章和第2章為云計(jì)算的基礎(chǔ)部分，介紹云計(jì)算的產(chǎn)生、發(fā)展以及基本概念；第3~8章為云計(jì)算的技術(shù)部分，介紹虛擬化、云安全、分布式文件系統(tǒng)、數(shù)據(jù)處理與并行編程技術(shù)、分布式存儲(chǔ)系統(tǒng)等；第9章介紹當(dāng)前

本書介紹PhotoshopCC中文版的基本操作知識(shí)，同時(shí)兼顧Photoshop在平面設(shè)計(jì)領(lǐng)域中的應(yīng)用技巧。本書內(nèi)容豐富，實(shí)用性強(qiáng)。為了便于教學(xué)，本書每章均有針對(duì)性地精選應(yīng)用實(shí)例，并在章末提供“本章習(xí)題”和“上機(jī)練習(xí)”兩個(gè)學(xué)習(xí)模塊，使學(xué)習(xí)者及時(shí)鞏固學(xué)習(xí)成果并獲得提高的機(jī)會(huì)。為了讓讀者更輕松地掌握PhotoshopCC平面

Illustrator2022是優(yōu)秀的矢量圖形處理軟件，廣泛應(yīng)用于插畫繪制、廣告設(shè)計(jì)等領(lǐng)域。在最新2022版本中，不僅傳承了前期版本的優(yōu)秀功能，還增加了許多非常實(shí)用的新功能。 本書以案例為引導(dǎo)，系統(tǒng)并全面地講解了Illustrator2022圖形處理與設(shè)計(jì)的相關(guān)功能及技能應(yīng)用。內(nèi)容包括：Illustrator2022基

本書根據(jù)AutoCAD2022中文版的功能和繪圖特點(diǎn)，通過(guò)大量的繪圖實(shí)例講解了工程圖的設(shè)計(jì)方法和軟件應(yīng)用技巧，并詳細(xì)介紹了AutoCAD2022軟件的圖層管理、基本繪圖、精確繪圖、圖形編輯、文字書寫、尺寸標(biāo)注、三維實(shí)體圖形繪制、零件圖繪制、裝配圖繪制等內(nèi)容。本書在進(jìn)行知識(shí)點(diǎn)講解的同時(shí)，列舉了大量的實(shí)例，能使讀者在理解工