本書首先簡要介紹了數理邏輯的發(fā)展、形式系統(tǒng)及一些預備知識，然后介紹了集合論，詳細講解了命題演算、謂詞演算、可計算性理論和哥德爾不完全性定理，最后介紹了模型論的基礎知識和方法。全書重點突出，論證詳細，各部分內容配有典型的例子和習題，以便讀者更好地理解、掌握相關知識。

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

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

本書研究中國傳統(tǒng)數學的機械化、離散性和計數特征，從古代到晚清，共分4編14章，由作者多年來發(fā)表的80余篇數學史和組合數學學術論文編輯而成，選擇典型案例系統(tǒng)論述三千年中算計數的發(fā)展，多有新見，說明中國人自古擅長計數，對近代計數論亦有貢獻。《BR》本書是中國數學史大專題研究，以史料和問題為中心，以應用為導向，以相關拓展和專

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

本書論述空間離子流場數值計算的基本原理及數值方法，推導各種數值方法的數學方程及算法實現過程。全書共分9章，主要內容包括超（特）高壓直流輸電工程離子流場原理，電暈的機理和預測，離子流場的計算和測量方法，二維、三維和瞬態(tài)上流有限元計算方法，電荷輸運模型計算離子流場方法，油紙絕緣設備合成電場計算方法。本書融入了近年來國內外在

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

低溫等離子體被廣泛應用于脈沖激光沉積、磁控濺射、等離子體增強化學氣相沉積等現代半導體薄膜真空沉積技術中，并承擔著薄膜組分物質輸運、薄膜形核與生長動力學調控等關鍵性角色。由于等離子體性質是聯系薄膜真空沉積條件與沉積性能的關鍵性紐帶，以對等離子體性質的表征與探測為突破口并建立其與薄膜沉積條件和性能之間的基礎關系，有助于從理

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

本書內容涵蓋了力學、熱學、電磁學、光學、聲學等，用通俗易懂的語言闡述傳統(tǒng)文化中蘊含的物理知識并加以科學解釋，通過“理盡其用”欄目進一步拓展物理應用，通過“躬行實踐”欄目引導讀者動手實驗。本書適合小學高年級及中學生閱讀。