證明論是邏輯基礎(chǔ)理論的分枝.結(jié)構(gòu)證明論是證明論的分枝，它研究演算中的分析性證明.本書在介紹古典句子邏輯和直覺主義邏輯的基礎(chǔ)上，給出公理系統(tǒng)、自然演繹和矢列演算等不同類型的邏輯演算.根據(jù)結(jié)構(gòu)的定義和結(jié)構(gòu)規(guī)則，區(qū)分不同類型的矢列演算，并且以切割消除為工具，給出了插值性質(zhì)、可判定性等問題的證明.本書還介紹了一階邏輯、模態(tài)邏輯

本書在簡(jiǎn)要闡述了環(huán)境生態(tài)學(xué)概念及特點(diǎn)的基礎(chǔ)上，系統(tǒng)講述了生物與環(huán)境的關(guān)系、生物種群與群落及生態(tài)系統(tǒng)的基本理論，全面分析了環(huán)境污染與生態(tài)修復(fù)、生態(tài)破壞與生物的生態(tài)關(guān)系，系統(tǒng)探討了全球變化及其對(duì)生物的影響，充分強(qiáng)調(diào)了生物多樣性與生物安全、環(huán)境生態(tài)與生態(tài)環(huán)境管理，深入論述了環(huán)境生態(tài)與生態(tài)文明的關(guān)系。

自動(dòng)控制理論與控制技術(shù)正廣泛深入地應(yīng)用到機(jī)械工程、儀器科學(xué)等領(lǐng)域，本書從工程應(yīng)用角度闡述了經(jīng)典控制理論的概念、原理和各種分析方法，內(nèi)容包括控制系統(tǒng)的基本概念與基本組成、控制系統(tǒng)的數(shù)學(xué)模型、控制系統(tǒng)的時(shí)域分析、控制系統(tǒng)的頻域分析、控制系統(tǒng)的穩(wěn)定性分析、控制系統(tǒng)的根軌跡分析、控制系統(tǒng)的綜合與校正，以及MATLAB軟件在控制

西方經(jīng)濟(jì)學(xué)說史是經(jīng)濟(jì)學(xué)專業(yè)的核心課程之一。本書主要分為四大部分：第一篇前古典經(jīng)濟(jì)學(xué)與古典經(jīng)濟(jì)學(xué)，著重厘清古典經(jīng)濟(jì)學(xué)理論及其代表人物思想，主要包括西方經(jīng)濟(jì)學(xué)體系化之前的經(jīng)濟(jì)思想，古典經(jīng)濟(jì)學(xué)，古典學(xué)派的集大成者亞當(dāng)斯密的經(jīng)濟(jì)思想，古典學(xué)派的杰出代表托馬斯馬爾薩斯和大衛(wèi)李嘉圖的經(jīng)濟(jì)思想，古典經(jīng)濟(jì)學(xué)中斯密體系的各國后繼者的經(jīng)濟(jì)

本書是在大數(shù)據(jù)框架下，全面介紹金融科技在處理真實(shí)場(chǎng)景金融問題時(shí)需要掌握的最重要的幾類機(jī)器學(xué)習(xí)方法，并將重點(diǎn)放在實(shí)施過程中需要用到的特征提取、可解釋性、隱私保護(hù)與數(shù)據(jù)安全共享等相關(guān)內(nèi)容的討論上。 本書內(nèi)容分三部分:第一部分由1～6章組成，主要講常規(guī)情況下，機(jī)器學(xué)習(xí)在金融場(chǎng)景特別是大數(shù)據(jù)風(fēng)控中的建模應(yīng)用；第二部分由第7章和

本教材分為5部分，全面涵蓋了蔬菜栽培學(xué)課程實(shí)驗(yàn)和實(shí)習(xí)。第Ⅰ部分為蔬菜栽培生物學(xué)基礎(chǔ)類，共46個(gè)實(shí)驗(yàn)；第Ⅱ部分為蔬菜栽培技藝類，共34個(gè)實(shí)驗(yàn)；第Ⅲ部分為蔬菜栽培綜合創(chuàng)新設(shè)計(jì)類，共11個(gè)實(shí)驗(yàn)；第Ⅳ部分為蔬菜栽培學(xué)教學(xué)實(shí)習(xí)類，共5個(gè)實(shí)習(xí)；附錄部分共4個(gè)，介紹了蔬菜栽培常用技術(shù)參數(shù)和實(shí)驗(yàn)室技術(shù)。 “蔬菜栽培學(xué)實(shí)驗(yàn)實(shí)習(xí)”是“蔬菜

本書提出微波光子多學(xué)科協(xié)同設(shè)計(jì)思想與方法，首先從微波光子的跨域交叉融合出發(fā)，分析了其多學(xué)科特點(diǎn)，探討了微波光子多學(xué)科協(xié)同設(shè)計(jì)的技術(shù)挑戰(zhàn)；接著，基于微波光子多學(xué)科設(shè)計(jì)的內(nèi)涵，將需求-功能-邏輯-物理（RFLP）系統(tǒng)工程論方法引入微波光子系統(tǒng)的設(shè)計(jì)中，形成了基于RFLP的微波光子系統(tǒng)仿真設(shè)計(jì)的一般方法。同時(shí)，深入研究了微波

本書介紹了水曲柳繁育生物學(xué)研究現(xiàn)狀，重點(diǎn)介紹了水曲柳組織培養(yǎng)技術(shù)和原理研究現(xiàn)狀，包括水曲柳種子無菌發(fā)芽與胚軸離體再生、水曲柳不定芽發(fā)生和腋芽增殖途徑的植株再生、水曲柳離體根培養(yǎng)體系的建立、水曲柳合子胚子葉愈傷組織誘導(dǎo)和增殖的影響因素、水曲柳體胚發(fā)生和植株再生，還對(duì)水曲柳合子胚和體胚發(fā)生發(fā)育的形態(tài)學(xué)、組織細(xì)胞學(xué)、生物化學(xué)

區(qū)塊鏈?zhǔn)且豁?xiàng)會(huì)對(duì)未來信息化發(fā)展產(chǎn)生重大影響的新興技術(shù)，有望推動(dòng)人類從信息互聯(lián)網(wǎng)時(shí)代步入價(jià)值互聯(lián)網(wǎng)時(shí)代。密碼學(xué)是區(qū)塊鏈的底層技術(shù)，為區(qū)塊鏈數(shù)據(jù)的不可偽造、防篡改、可公開驗(yàn)證和隱私保護(hù)提供了基礎(chǔ)保障。本書在介紹區(qū)塊鏈結(jié)構(gòu)、區(qū)塊鏈安全和密碼學(xué)原理等知識(shí)的基礎(chǔ)上，著重介紹應(yīng)用于區(qū)塊鏈的新型密碼技術(shù)。本書涵蓋各類密碼體制的實(shí)現(xiàn)方

當(dāng)前和今后一段時(shí)期將是我國集成電路和光電芯片技術(shù)發(fā)展的重要戰(zhàn)略機(jī)遇期和攻堅(jiān)期，加強(qiáng)自主集成電路和光電芯片技術(shù)的研發(fā)工作，布局和突破關(guān)鍵技術(shù)并擁有自主知識(shí)產(chǎn)權(quán)，實(shí)現(xiàn)集成電路產(chǎn)業(yè)的高質(zhì)量發(fā)展是我國當(dāng)前的重大戰(zhàn)略需求�！吨袊�集成電路與光電芯片2035發(fā)展戰(zhàn)略》面向2035年探討了國際集成電路與光電芯片前沿發(fā)展趨勢(shì)和中國從芯片

服務(wù)質(zhì)量預(yù)測(cè)是服務(wù)計(jì)算的一個(gè)重要研究分支，是支撐服務(wù)發(fā)現(xiàn)和服務(wù)管理的有力技術(shù)工具。經(jīng)過多年發(fā)展，服務(wù)質(zhì)量預(yù)測(cè)已聚焦到如何利用機(jī)器學(xué)習(xí)技術(shù)解決情境感知的應(yīng)用需求問題。本書圍繞此議題，針對(duì)靜態(tài)、動(dòng)態(tài)、多屬性、拓?fù)涓兄�、虛擬機(jī)等場(chǎng)景下服務(wù)質(zhì)量預(yù)測(cè)問題，分別闡述基于近鄰效應(yīng)、矩陣分解、非負(fù)多矩陣分解、貝葉斯魯棒張量分解、深度神

本書全面介紹JUnit5的新特性及其主要應(yīng)用。全書共22章，分為五部分。部分介紹JUnit的核心、JUnit的體系結(jié)構(gòu)、從JUnit4向JUnit5遷移、軟件測(cè)試原則等內(nèi)容；第二部分介紹軟件測(cè)試質(zhì)量、用stub和mockobject進(jìn)行測(cè)試、容器內(nèi)測(cè)試等內(nèi)容；第三部分介紹用Maven和Gradle工具運(yùn)行JUnit測(cè)試

新生事物的出現(xiàn)引發(fā)了一系列激烈的討論，不難發(fā)現(xiàn)輿論聲浪中夾雜著令人不安和無奈的概念混淆，甚至有人把ChatGPT等同于GPT，或等同于AI。對(duì)于新生事物，過度吹捧和質(zhì)疑都是不科學(xué)的。 本書的寫作建立在大量調(diào)查研究和資訊的基礎(chǔ)上，對(duì)ChatGPT、GPT和AI的發(fā)展進(jìn)行了全面分析，幫助讀者了解三者的不同，厘清ChatGP

本書根據(jù)四川省廣安市地形地貌、氣候條件、土壤特性、灌溉水排灌能力等實(shí)際情況，提出評(píng)價(jià)指標(biāo)、權(quán)重閾值、等級(jí)劃分等適宜性評(píng)價(jià)方法，以不同用地類型主要生態(tài)功能的適宜性分級(jí)為主要評(píng)價(jià)內(nèi)容，以科學(xué)量化和有機(jī)融合各評(píng)價(jià)要素為主要手段，查明自然資源開發(fā)利用中的限制因子與優(yōu)勢(shì)因子，進(jìn)行自然資源開發(fā)適宜性分級(jí)，對(duì)自然資源的利用現(xiàn)狀進(jìn)行調(diào)

碑刻藝術(shù)是古代文化傳播的重要工具之一，鐫刻于碑石上的紋樣千變?nèi)f化，體現(xiàn)了中國傳統(tǒng)文化的變遷和技術(shù)的進(jìn)步。本書從碑刻紋樣的起源、發(fā)展和審美價(jià)值入手，從藝術(shù)設(shè)計(jì)學(xué)的角度對(duì)碑刻紋樣進(jìn)行研究。一方面從縱向上以朝代為序，對(duì)古代碑刻紋樣進(jìn)行整理，研究、分析古代碑刻紋樣發(fā)生、發(fā)展的過程及總體特征；另一方面從橫向上進(jìn)行比較，將同朝代碑

南宋在北宋科技成就的基礎(chǔ)上雖然又有一定程度的進(jìn)步，但從整體上看，南宋是由中國封建社會(huì)的科技高峰逐漸向低落轉(zhuǎn)折的特殊時(shí)期，在這個(gè)歷史階段，各種社會(huì)矛盾相互交織在一起，給南宋科技思想的發(fā)展以深刻影響。本書以典型人物為骨架，力求觀照南宋科技思想中的人文情懷，并且通過對(duì)呂本中、陳旉、陳言、范成大、朱熹、秦九韶、楊輝等諸多科技人

本書針對(duì)國家重大戰(zhàn)略和智能網(wǎng)聯(lián)汽車產(chǎn)業(yè)需求，以智能網(wǎng)聯(lián)汽車協(xié)同感知為主要研究對(duì)象，系統(tǒng)地介紹了智能網(wǎng)聯(lián)汽車協(xié)同感知的基本概念、模型和算法，從道路感知、車輛定位、目標(biāo)跟蹤、協(xié)同檢測(cè)等方面深入淺出地闡述了智能網(wǎng)聯(lián)汽車協(xié)同感知領(lǐng)域的核心知識(shí)和發(fā)展趨勢(shì)。全書以貝葉斯學(xué)習(xí)的思想貫穿始終，并適當(dāng)與其他重要知識(shí)點(diǎn)（如深度學(xué)習(xí)等）進(jìn)行

本書系統(tǒng)性構(gòu)建了智能全景系統(tǒng)基礎(chǔ)理論及智能全景電網(wǎng)架構(gòu)，開展了相關(guān)技術(shù)體系在現(xiàn)代電網(wǎng)的應(yīng)用實(shí)踐。重點(diǎn)闡述了互聯(lián)大電網(wǎng)多元基礎(chǔ)信息一體化實(shí)時(shí)感知、動(dòng)態(tài)設(shè)備元件集測(cè)辨建模、在線超實(shí)時(shí)機(jī)電-電磁混合仿真、安全穩(wěn)定態(tài)勢(shì)量化評(píng)估及智能全景電網(wǎng)時(shí)空大數(shù)據(jù)平臺(tái)支撐技術(shù)�；�于先進(jìn)大數(shù)據(jù)和人工智能技術(shù)研發(fā)的大電網(wǎng)在線綜合動(dòng)態(tài)安全穩(wěn)定智能

本書詳細(xì)講解營養(yǎng)素及相關(guān)元素，包括三大營養(yǎng)物質(zhì)，即蛋白質(zhì)、糖類（碳水化合物）、脂肪；水和礦物質(zhì)；維生素等。維生素對(duì)新陳代謝的正常進(jìn)行起著不可或缺的作用。本書詳細(xì)介紹了維生素B1、維生素B2、維生素B12、葉酸、維生素B6、生物素、煙酸、泛酸、維生素C、維生素A、維生素D、維生素E、維生素K等13種人體必需的維生素。還介

本書結(jié)合**臨床指南和**文獻(xiàn)研究、歷代文獻(xiàn)研究，從臨床工作實(shí)際出發(fā)，站在炎癥性腸病患者的角度，對(duì)炎癥性腸病的定義、流行病學(xué)、發(fā)病機(jī)制、診斷、鑒別診斷、輔助檢查、并發(fā)癥、預(yù)后、預(yù)防及隨訪、生活問題、中醫(yī)臨床等幾個(gè)方面進(jìn)行相關(guān)的專業(yè)解答，患者可以從歸類里查閱自己的困惑問題進(jìn)行相關(guān)的了解。本書內(nèi)容翔實(shí)，涵蓋面廣，從中醫(yī)和西