本書(shū)首先簡(jiǎn)要介紹了數(shù)理邏輯的發(fā)展、形式系統(tǒng)及一些預(yù)備知識(shí)，然后介紹了集合論，詳細(xì)講解了命題演算、謂詞演算、可計(jì)算性理論和哥德?tīng)柌煌耆�性定理，最后介紹了模型論的基礎(chǔ)知識(shí)和方法。全書(shū)重點(diǎn)突出，論證詳細(xì)，各部分內(nèi)容配有典型的例子和習(xí)題，以便讀者更好地理解、掌握相關(guān)知識(shí)。

本書(shū)主要研究數(shù)學(xué)分析中的微分與積分及相關(guān)的一些問(wèn)題。內(nèi)容包括一元函數(shù)微分學(xué)、一元函數(shù)微分法的應(yīng)用、一元函數(shù)積分學(xué)和多元函數(shù)及其微分學(xué)等。本書(shū)在內(nèi)容的安排上，深入淺出，表達(dá)清楚，可讀性和系統(tǒng)性強(qiáng)。書(shū)中主要通過(guò)一些疑難解析和大量的典型例題來(lái)解析數(shù)學(xué)分析的內(nèi)容和解題方法，并提供了一定數(shù)量的進(jìn)階練習(xí)題，便于教師在習(xí)題課中使用，

本書(shū)從金剛石膜晶體機(jī)構(gòu)、光電及熱性能等基本概念出發(fā)，描述膜的制備工藝；在成功制得[100]定向金剛石膜基礎(chǔ)上，對(duì)它和其它晶面取向的CVD金剛石膜進(jìn)行全面的表征；介紹了金剛石薄膜肖特基場(chǎng)效應(yīng)晶體管和金剛石薄膜紫外光探測(cè)器。在此基礎(chǔ)上研究了金剛石膜粒子探測(cè)器的制備工藝，并通過(guò)所設(shè)計(jì)的信號(hào)處理系統(tǒng)測(cè)量得到在不同粒子輻照下的探

本書(shū)研究中國(guó)傳統(tǒng)數(shù)學(xué)的機(jī)械化、離散性和計(jì)數(shù)特征，從古代到晚清，共分4編14章，由作者多年來(lái)發(fā)表的80余篇數(shù)學(xué)史和組合數(shù)學(xué)學(xué)術(shù)論文編輯而成，選擇典型案例系統(tǒng)論述三千年中算計(jì)數(shù)的發(fā)展，多有新見(jiàn)，說(shuō)明中國(guó)人自古擅長(zhǎng)計(jì)數(shù)，對(duì)近代計(jì)數(shù)論亦有貢獻(xiàn)�！禕R》本書(shū)是中國(guó)數(shù)學(xué)史大專(zhuān)題研究，以史料和問(wèn)題為中心，以應(yīng)用為導(dǎo)向，以相關(guān)拓展和專(zhuān)

本書(shū)主要內(nèi)容包含隨機(jī)事件及其概率、隨機(jī)變量及其分布、多維隨機(jī)變量及其分布、隨機(jī)變量的數(shù)字特征、數(shù)理統(tǒng)計(jì)的基本概念、參數(shù)估計(jì)、假設(shè)檢驗(yàn)等。本書(shū)注重概率統(tǒng)計(jì)的工程應(yīng)用背景知識(shí)，通過(guò)介紹知識(shí)點(diǎn)的背景、起源和相關(guān)科學(xué)家等內(nèi)容，來(lái)激發(fā)學(xué)生的學(xué)習(xí)興趣。本書(shū)內(nèi)容上一方面精簡(jiǎn)壓縮一些傳統(tǒng)知識(shí)點(diǎn)、淡化計(jì)算技巧，另一方面通過(guò)引入人工智能、

本書(shū)論述空間離子流場(chǎng)數(shù)值計(jì)算的基本原理及數(shù)值方法，推導(dǎo)各種數(shù)值方法的數(shù)學(xué)方程及算法實(shí)現(xiàn)過(guò)程。全書(shū)共分9章，主要內(nèi)容包括超（特）高壓直流輸電工程離子流場(chǎng)原理，電暈的機(jī)理和預(yù)測(cè)，離子流場(chǎng)的計(jì)算和測(cè)量方法，二維、三維和瞬態(tài)上流有限元計(jì)算方法，電荷輸運(yùn)模型計(jì)算離子流場(chǎng)方法，油紙絕緣設(shè)備合成電場(chǎng)計(jì)算方法。本書(shū)融入了近年來(lái)國(guó)內(nèi)外在

頻散方程的計(jì)算，特別是涉及能量耗散系統(tǒng)復(fù)波數(shù)域中三維曲線的求解，是一個(gè)十分復(fù)雜的問(wèn)題。本書(shū)提出了一種新的**方程求解算法，結(jié)合超聲導(dǎo)波的應(yīng)用背景，以該算法為基礎(chǔ)，系統(tǒng)研究了多種復(fù)雜材料層合結(jié)構(gòu)中波傳播的耗散問(wèn)題，包括壓電復(fù)合結(jié)構(gòu)中的介電損耗、電極電阻、壓電半導(dǎo)體結(jié)構(gòu)中的載流子遷移以及一般各向異性復(fù)合結(jié)構(gòu)中材料的黏彈性等

低溫等離子體被廣泛應(yīng)用于脈沖激光沉積、磁控濺射、等離子體增強(qiáng)化學(xué)氣相沉積等現(xiàn)代半導(dǎo)體薄膜真空沉積技術(shù)中，并承擔(dān)著薄膜組分物質(zhì)輸運(yùn)、薄膜形核與生長(zhǎng)動(dòng)力學(xué)調(diào)控等關(guān)鍵性角色。由于等離子體性質(zhì)是聯(lián)系薄膜真空沉積條件與沉積性能的關(guān)鍵性紐帶，以對(duì)等離子體性質(zhì)的表征與探測(cè)為突破口并建立其與薄膜沉積條件和性能之間的基礎(chǔ)關(guān)系，有助于從理

本書(shū)主要介紹了納米Cu2O基材料光催化降解有機(jī)污染物的相關(guān)研究成果，對(duì)Cu2O分別與其它半導(dǎo)體及不同材料復(fù)合后的光催化特性進(jìn)行了探討和研究，并對(duì)Cu2O基納米材料的光催化原理、制備方法，以及其在廢水處理等相關(guān)應(yīng)用進(jìn)行了系統(tǒng)的研究。第1章為緒論，概述了Cu2O及Cu2O基化合物制備方法的研究現(xiàn)狀及降解有機(jī)污染物的機(jī)理；第

本書(shū)內(nèi)容涵蓋了力學(xué)、熱學(xué)、電磁學(xué)、光學(xué)、聲學(xué)等，用通俗易懂的語(yǔ)言闡述傳統(tǒng)文化中蘊(yùn)含的物理知識(shí)并加以科學(xué)解釋?zhuān)�通過(guò)“理盡其用”欄目進(jìn)一步拓展物理應(yīng)用，通過(guò)“躬行實(shí)踐”欄目引導(dǎo)讀者動(dòng)手實(shí)驗(yàn)。本書(shū)適合小學(xué)高年級(jí)及中學(xué)生閱讀。