本書是關(guān)于現(xiàn)代類型論的專著。與集合論類似，現(xiàn)代類型論是數(shù)學(xué)及諸多領(lǐng)域的基礎(chǔ)語(yǔ)言。本書介紹了現(xiàn)代類型論(及其元理論)，并以自然語(yǔ)言語(yǔ)義學(xué)和計(jì)算機(jī)輔助推理為例對(duì)以現(xiàn)代類型論為基礎(chǔ)的應(yīng)用領(lǐng)域進(jìn)行深入淺出的討論。作為基礎(chǔ)語(yǔ)言，現(xiàn)代類型論一方面提供了豐富的描述機(jī)制，另一方面便于理解與實(shí)現(xiàn)，因此與集合論相比有著多方面的優(yōu)勢(shì)。這些優(yōu)
《數(shù)字身份認(rèn)證技術(shù)與實(shí)踐》內(nèi)容涵蓋身份認(rèn)證的基礎(chǔ)理論，包括身份認(rèn)證與授權(quán)的區(qū)別、常見的認(rèn)證方式以及關(guān)鍵技術(shù)和協(xié)議，如SAML、OAuth2.0、OIDC等。除基礎(chǔ)概念外，《數(shù)字身份認(rèn)證技術(shù)與實(shí)踐》還展示如何在不同的環(huán)境中安全地接入和實(shí)現(xiàn)身份認(rèn)證，包括純前端應(yīng)用、BFF和后端領(lǐng)域服務(wù)。同時(shí)，《數(shù)字身份認(rèn)證技術(shù)與實(shí)踐》詳細(xì)
本書面向華為設(shè)備，以一個(gè)真實(shí)的企業(yè)網(wǎng)搭建項(xiàng)目貫穿全書，共分四篇。第一篇為教學(xué)項(xiàng)目準(zhǔn)備，通過引入教學(xué)項(xiàng)目，引導(dǎo)學(xué)生了解課程目標(biāo)，提高學(xué)生的學(xué)習(xí)興趣；第二篇為教學(xué)項(xiàng)目實(shí)施，緊緊圍繞引入的教學(xué)項(xiàng)目，按照一般網(wǎng)絡(luò)項(xiàng)目實(shí)施的工作流程，從企業(yè)總部?jī)?nèi)網(wǎng)搭建，到企業(yè)內(nèi)外網(wǎng)路由連通，再到企業(yè)網(wǎng)絡(luò)安全控制，直至無(wú)線網(wǎng)絡(luò)配置4大步，分成11
本書較為全面地介紹了Cinema4D2023的基本操作和核心功能，選取了部分“1+X”數(shù)字創(chuàng)意建�？荚囌骖}與企業(yè)真實(shí)項(xiàng)目融合。全書共包括7個(gè)項(xiàng)目：初識(shí)Cinema4D、Cinema4D數(shù)字創(chuàng)意建�；A(chǔ)、卡通角色設(shè)計(jì)、虛擬數(shù)字人中國(guó)娃娃、Cinema4D動(dòng)畫、Cinema4D與Arnold渲染器、“1+X”數(shù)字創(chuàng)意建模綜
《Photoshop2022圖像處理實(shí)例教程(微課版)》由淺入深、循序漸進(jìn)地介紹Photoshop2022的操作方法和使用技巧。全書共分10章，分別介紹Photoshop2022入門、圖像文件的基礎(chǔ)操作、選區(qū)的基本操作、矢量圖形的應(yīng)用、繪畫和修飾工具的應(yīng)用、通道與蒙版的應(yīng)用、圖層混合與圖層樣式、圖像顏色調(diào)整、文字工具的
本書以Photoshop核心功能和實(shí)戰(zhàn)提升的形式系統(tǒng)講述了Photoshop必備知識(shí)和摳圖、修圖、調(diào)色、合成、特效等核心技術(shù)，以及Photoshop在平面設(shè)計(jì)、數(shù)碼照片處理、電商美工、UI設(shè)計(jì)、手繪插畫、室內(nèi)設(shè)計(jì)、建筑設(shè)計(jì)、創(chuàng)意設(shè)計(jì)等領(lǐng)域的實(shí)戰(zhàn)應(yīng)用，是一本全面講述Photoshop軟件應(yīng)用的Photoshop完全自學(xué)教
本書是高等院校應(yīng)用型本科工業(yè)設(shè)計(jì)專業(yè)的創(chuàng)新型教材。全書共7章，主要內(nèi)容包括Creo的基本功能概述、零件裝配、工程圖設(shè)計(jì)、參數(shù)化建�；A(chǔ)知識(shí)、復(fù)雜曲面的參數(shù)化建模、非參數(shù)化建模模塊、綜合曲面建模等。書中各章均根據(jù)相應(yīng)的工程實(shí)際應(yīng)用需求，設(shè)置了案例講解、課后練習(xí)等內(nèi)容。 全書將最新Creo實(shí)體建模理論與實(shí)際案例有機(jī)融合，以
本收是一本系統(tǒng)介紹熱門前端多端框架uni-app的實(shí)戰(zhàn)教程。全書由基礎(chǔ)知識(shí)和實(shí)戰(zhàn)項(xiàng)目?jī)纱蟛糠纸M成，內(nèi)容包括初識(shí)uni-app，uni-app環(huán)境搭建，生命周期，尺寸單位、Flex布局與背景圖片，配置pages。json，配置manifest。json，路由，運(yùn)行環(huán)境判斷和平臺(tái)判斷，常用組件，常用AP以及仿美團(tuán)點(diǎn)餐小程序
《生成式AI繪畫：StableDiffusion從基礎(chǔ)到實(shí)戰(zhàn)》一書用簡(jiǎn)潔而又生動(dòng)的語(yǔ)言，全方位地解讀了生成式人工智能繪畫的原理、歷史沿革、倫理道德等，同時(shí)，通過對(duì)StableDiffusion平臺(tái)的全面介紹，以經(jīng)典案例和典型行業(yè)應(yīng)用（建筑設(shè)計(jì)、動(dòng)漫設(shè)計(jì)、平面設(shè)計(jì)）為載體，解讀了用人工智能進(jìn)行繪畫的思路與步驟，內(nèi)容包含了
本書全面、系統(tǒng)地介紹3dsMax2020的基本操作方法和動(dòng)畫制作技巧，包括3dsMax2020概述、創(chuàng)建常用的幾何體、創(chuàng)建二維圖形、編輯修改器、復(fù)合對(duì)象的創(chuàng)建、材質(zhì)與貼圖、創(chuàng)建燈光和攝影機(jī)、動(dòng)畫制作技術(shù)、粒子系統(tǒng)、常用的空間扭曲、環(huán)境特效動(dòng)畫、高級(jí)動(dòng)畫設(shè)置和綜合設(shè)計(jì)實(shí)訓(xùn)等內(nèi)容。 本書以課堂案例為主線，通過案例操作，學(xué)生
書單推薦 新書推薦
