本書全面分析了推理、理性和理由這三個(gè)元哲學(xué)概念的內(nèi)部關(guān)聯(lián)，指出它們都有真值性和實(shí)踐兩重內(nèi)涵。格賴斯力圖說(shuō)明從哲學(xué)上跨越“真值性/實(shí)踐”的鴻溝是可能的，進(jìn)而得出一些重要的哲學(xué)結(jié)論。本書是格賴斯推理思想、邏輯觀、元倫理學(xué)思想和哲學(xué)方法論的集中體現(xiàn)，它對(duì)于格賴斯哲學(xué)與語(yǔ)言學(xué)思想的整體把握具有重要的研究?jī)r(jià)值�！禕R》AspectsofReasonwasoriginallypublishedinEnglishin2001.Thistranslationispublishedbyarrangementwit

《超窮數(shù)理論基礎(chǔ)（茹爾丹，齊民友注釋）》是偉大的德國(guó)數(shù)學(xué)家，集合論創(chuàng)始人格奧爾格·康托關(guān)于集合論和超窮數(shù)理論的精髓�？低写蚱屏藬�(shù)學(xué)中對(duì)于無(wú)窮的一貫解釋和運(yùn)用方式,創(chuàng)立了全新的集合論和超窮數(shù)理論。自此,集合論成為實(shí)數(shù)理論乃至整個(gè)微積分理論的基礎(chǔ),嚴(yán)密的微積分體系亦隨之建立起來(lái)。同時(shí),集合概念在更高和更廣的層面上發(fā)揮威力,大大拓展了數(shù)學(xué)的研究疆域,為數(shù)學(xué)結(jié)構(gòu)奠定了牢固的基礎(chǔ),深深影響了現(xiàn)代數(shù)學(xué)的走向,最終成為整個(gè)數(shù)學(xué)的基礎(chǔ),亦對(duì)現(xiàn)代哲學(xué)與邏輯的產(chǎn)生和發(fā)展大有裨益。 著名數(shù)學(xué)家茹爾丹撰寫英文導(dǎo)讀，河

生產(chǎn)生活中的宏觀結(jié)冰/霜等實(shí)際上是單個(gè)過(guò)冷小水滴與壁面作用而結(jié)冰并逐漸積累形成宏觀冰層的過(guò)程。為了減小結(jié)冰/霜導(dǎo)致的危害，本書對(duì)過(guò)冷水滴的結(jié)冰與碰撞特性開(kāi)展研究，首先解耦研究靜置過(guò)冷水滴的結(jié)冰和常溫水滴的碰撞特性，然后耦合研究過(guò)冷水滴的碰撞結(jié)冰過(guò)程，最后基于單個(gè)過(guò)來(lái)水滴碰撞結(jié)冰的研究建立宏觀積冰模型。本書旨在闡明過(guò)冷水滴結(jié)冰與碰撞的耦合機(jī)理，理解過(guò)冷水滴碰撞結(jié)冰過(guò)程中的傳熱與流動(dòng)機(jī)制，為改善結(jié)/防/除冰相關(guān)的工程應(yīng)用提供理論基礎(chǔ)和技術(shù)參考。

本書針對(duì)深度學(xué)習(xí)及開(kāi)源框架——PyTorch，采用簡(jiǎn)明的語(yǔ)言進(jìn)行知識(shí)的講解，注重實(shí)戰(zhàn)。全書分為4篇，共19章。深度學(xué)習(xí)基礎(chǔ)篇（第1章~第6章）包括PyTorch簡(jiǎn)介與安裝、機(jī)器學(xué)習(xí)基礎(chǔ)與線性回歸、張量與數(shù)據(jù)類型、分類問(wèn)題與多層感知器、多層感知器模型與模型訓(xùn)練、梯度下降法、反向傳播算法與內(nèi)置優(yōu)化器。計(jì)算機(jī)視覺(jué)篇（第7章~第14章）包括計(jì)算機(jī)視覺(jué)與卷積神經(jīng)網(wǎng)絡(luò)、卷積入門實(shí)例、圖像讀取與模型保存、多分類問(wèn)題與卷積模型的優(yōu)化、遷移學(xué)習(xí)與數(shù)據(jù)增強(qiáng)、經(jīng)典網(wǎng)絡(luò)模型與特征提取、圖像定位基礎(chǔ)、圖像語(yǔ)義分割。自然語(yǔ)

《突破平面PremierePro2022短視頻與視頻制作》將PremierePro2022的軟件功能與當(dāng)前熱門的短視頻內(nèi)容進(jìn)行了緊密結(jié)合，全面地講解了視頻編輯的基礎(chǔ)知識(shí)，以及PremierePro2022軟件的使用方法和技巧。全書共10章，由淺入深地剖析了視頻制作的流程，并詳細(xì)講解了PremierePro2022的視頻編輯基礎(chǔ)、工作環(huán)境、基本操作、素材剪輯、轉(zhuǎn)場(chǎng)特效、字幕制作、視頻效果、運(yùn)動(dòng)特效、音頻效果、素材采集與疊加、摳像等核心技術(shù)�！锻黄破矫鍼remierePro2022短視頻與視頻制作》

WPS致力于打造一個(gè)集協(xié)作工作空間、開(kāi)放平臺(tái)、云服務(wù)于一體的辦公環(huán)境，迎合云辦公的現(xiàn)代化辦公需求，因此受到了眾多用戶的喜愛(ài)。WPSOffice可以實(shí)現(xiàn)日常辦公中常用的文字、表格、演示等多種功能。本書從實(shí)際工作應(yīng)用出發(fā)，以WPS軟件為平臺(tái)，全面系統(tǒng)地講解文字、表格、演示文稿等組件的應(yīng)用技巧�！禬PSOffice高效辦公入門與應(yīng)用（微課版）》從辦公人員的工作需求出發(fā)，結(jié)合大量典型案例，以幫助讀者輕松、高效地完成辦公任務(wù)�！禬PSOffice高效辦公入門與應(yīng)用（微課版）》的特點(diǎn)是不僅指導(dǎo)讀者“會(huì)用”W

本書系統(tǒng)地講解企業(yè)主流開(kāi)發(fā)框架SpringBoot以及微服務(wù)開(kāi)發(fā)框架SpringCloud的基礎(chǔ)知識(shí)。全書分為15章，包括初識(shí)SpringBoot、SpringBoot快速入門、SpringBoot項(xiàng)目屬性配置、深入理解SpringBoot自動(dòng)裝配和啟動(dòng)類、SpringBootWeb應(yīng)用開(kāi)發(fā)、SpringBoot整合與部署、微服務(wù)架構(gòu)介紹、SpringCloud介紹、SpringCloud快速入門、深入了解Eureka、服務(wù)網(wǎng)關(guān)開(kāi)發(fā)Zuul、負(fù)載均衡器Ribbon、服務(wù)熔斷器Hystrix、Sp

《人力資源管理合規(guī)實(shí)戰(zhàn)入門》以勞動(dòng)仲裁員的思維、律師的訴訟技巧，關(guān)注企業(yè)人力資源切實(shí)、迫切的員工關(guān)系管理難點(diǎn)，針對(duì)從入職到離職的19個(gè)人力資源管理合規(guī)點(diǎn)、100個(gè)員工關(guān)系管理風(fēng)險(xiǎn)點(diǎn)進(jìn)行系統(tǒng)詳解，助力HR落地企業(yè)人力資源管理合規(guī)�？勺鳛槠髽I(yè)管理者、合規(guī)師、人力資源管理者、法務(wù)人員、律師的案頭書。

本書主要介紹如何將軟件測(cè)試的專業(yè)方法運(yùn)用到游戲產(chǎn)業(yè)中，全面涵蓋了游戲測(cè)試的基本知識(shí)。通過(guò)閱讀本書，讀者將掌握以下知識(shí)技能：游戲軟件測(cè)試的基礎(chǔ)理論，游戲測(cè)試和測(cè)試工程師融入游戲開(kāi)發(fā)流程中的方法，游戲測(cè)試中所使用的工具和實(shí)用經(jīng)驗(yàn)，游戲測(cè)試工程師這個(gè)角色的職責(zé)以及決定游戲質(zhì)量和測(cè)試流程的標(biāo)準(zhǔn)。借助真實(shí)游戲場(chǎng)景，讀者將一步一步地學(xué)習(xí)測(cè)試設(shè)計(jì)和其他的質(zhì)量保障手段。

隨著云計(jì)算、大數(shù)據(jù)等的快速發(fā)展，越來(lái)越多的組織用信息化手段進(jìn)行流程管理。如何提升流程執(zhí)行的智能化程度、動(dòng)態(tài)性和柔性，以提高對(duì)非標(biāo)準(zhǔn)業(yè)務(wù)的管理效率，是流程管理面臨的一個(gè)重要問(wèn)題。 本書基于流程管理系統(tǒng)積累的日志，提出了3種流程管理的工作流活動(dòng)推薦方法，分別為基于用戶類別近鄰的活動(dòng)推薦方法、基于Pearson相關(guān)系數(shù)的活動(dòng)推薦方法和基于協(xié)同過(guò)濾的活動(dòng)推薦方法，并介紹了一種流程信息的可視化算法，實(shí)現(xiàn)了一個(gè)可視化原型系統(tǒng)。 本書結(jié)構(gòu)清晰，文字流暢，圖文并茂，適合從事流程管理系統(tǒng)研究的讀者閱讀，也適合作為