西方經(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é)中斯密體系的各國(guó)后繼者的經(jīng)濟(jì)

自動(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軟件在控制

本書在簡(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)系。

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

邏輯定理的機(jī)器證明是人工智能領(lǐng)域人們最早從事研究的課題。本書從邏輯定理的人工證明和機(jī)器證明兩方面來展現(xiàn)邏輯定理證明的藝術(shù)，而機(jī)器證明又從定理的自動(dòng)證明和計(jì)算機(jī)輔助證明兩個(gè)方面來展現(xiàn)。本書首先用作者構(gòu)造的命題演算系統(tǒng)FPC和狹謂詞演算系統(tǒng)FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次，用邏輯定理的機(jī)器證明工具

師生關(guān)系一直是影響教育活動(dòng)的重要因素之一。隨著人工智能的勃興，基于物聯(lián)網(wǎng)、云計(jì)算、大數(shù)據(jù)、泛在網(wǎng)絡(luò)等新一代信息技術(shù)在教育領(lǐng)域的推廣應(yīng)用，不僅使教育步入新的發(fā)展階段，而且給師生關(guān)系及其建設(shè)帶來新的機(jī)遇與挑戰(zhàn)。本書發(fā)現(xiàn)，師生關(guān)系從原來僅限于人類教師與學(xué)生之間的雙主體關(guān)系走向人類教師、機(jī)器人教師和學(xué)生三者間的三主體關(guān)系。本書

本書以飼料智能加工生產(chǎn)學(xué)理論為綱，主要論述配合飼料的智能加工設(shè)備與加工工藝，兼顧添加劑預(yù)混合飼料智能加工技術(shù)，涵蓋生產(chǎn)配合飼料的原料接收-清理-儲(chǔ)存-輸送-粉碎-配料-混合等全流程生產(chǎn)工藝。全書共11章，第一章為緒論部分，主要介紹了飼料智能加工的特點(diǎn)、優(yōu)勢(shì)，以及飼料智能加工工業(yè)的現(xiàn)狀與發(fā)展前景；第二章至第十一章不僅介紹

本書共19章。詳細(xì)介紹了以下內(nèi)容：不同類型環(huán)境，包括海水環(huán)境、低溫及堿性極端環(huán)境、植物內(nèi)生環(huán)境等樣本的DNA/RNA提取及宏基因組文庫(kù)構(gòu)建技術(shù)；從核酸、脫氧核酸、蛋白質(zhì)三個(gè)角度分析環(huán)境微生物代謝活性；通過宏基因組測(cè)序獲得功能基因分類及多樣性的方法；從基因組學(xué)技術(shù)層面介紹復(fù)雜微生物群落的研究方法，以及挖掘活性基因（如有機(jī)

本書從電磁兼容基本概念和發(fā)展趨勢(shì)切入，分別介紹：電磁兼容性分析的必要性，電磁計(jì)算方法在電磁兼容分析與設(shè)計(jì)領(lǐng)域的發(fā)展趨勢(shì)；電磁兼容分析中的基礎(chǔ)理論知識(shí)；傳導(dǎo)發(fā)射與傳導(dǎo)抗擾度基本概念；線纜耦合電磁兼容分析，包括電磁計(jì)算方法對(duì)場(chǎng)-線-路耦合等典型電磁兼容問題的分析；輻射發(fā)射與電磁兼容分析的計(jì)算電磁學(xué)方法；系統(tǒng)級(jí)電磁兼容分析的

為了突破光纖非線性對(duì)系統(tǒng)傳輸容量的限制，進(jìn)一步提高光纖的帶寬利用率，人們開始發(fā)展并利用新的光纖復(fù)用維度——空分復(fù)用(SDM)�？辗謴�(fù)用技術(shù)與密集波分復(fù)用(DWDM)系統(tǒng)的融合應(yīng)，有助于實(shí)現(xiàn)多維復(fù)用光纖網(wǎng)絡(luò)的發(fā)展目標(biāo)。本書從空分復(fù)用角度重新梳理光纖的相關(guān)知識(shí)，總結(jié)空分復(fù)用光纖的**成果，形成了較為完整的空分復(fù)用光纖理論體