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

本書是一部系統(tǒng)地介紹Nabla離散分數(shù)階系統(tǒng)理論的專著,其中包含了許多原創(chuàng)性成果和未解問題.針對Nabla離散分數(shù)階系統(tǒng),本書討論了其穩(wěn)定性分析和控制器設計問題,為了便于驗證所提理論,還介紹了數(shù)值實現(xiàn)方法.本書由淺入深、循序漸進地展開,雖不是字斟句酌的教科書,但所給出的結論均提供了巧妙且嚴謹?shù)淖C明,既介紹了靈感來源,提

第1章介紹規(guī)范變換、正則量子化和經典量子對應。第2~5章從規(guī)范場的觀點統(tǒng)一論述Aharonov-Bohm效應，自旋-軌道耦合動力學，Berry相因子及其應用；揭示Dirac磁單極，超導體Josephson效應和量子態(tài)拓撲相因子的關系；動力學旋轉對稱和分數(shù)量子化角動量。第6~7章介紹路徑積分。量子隧穿的瞬子方法及在分子磁

本書為“聚集誘導發(fā)光叢書”之一。全書共分為7章，第1章介紹了聚集誘導發(fā)光分子在水環(huán)境應用中的瓶頸問題和解決方案；第2章介紹了基于聚集誘導發(fā)光的金屬離子檢測；第3章介紹了基于聚集誘導發(fā)光的陰離子檢測；第4章重點介紹了聚集誘導發(fā)光熒光探針在環(huán)境樣品pH檢測中的應用；第5章介紹了聚集誘導發(fā)光材料對有毒氣體的檢測；第6章介紹了

本書主要討論無窮維Hamilton系統(tǒng)，旨在用現(xiàn)代非線性分析的框架研究無窮維Hamilton系統(tǒng)。本書先介紹無窮維Hamilton系統(tǒng)的定義和性質，同時選取現(xiàn)代非線性分析中的常見問題為例解釋其應用。我們采用變分的方法，建立統(tǒng)一的變分框架并且發(fā)展一些抽象的臨界點理論來處理無窮維Hamilton系統(tǒng)。特別地，對于量子理論中

《高等概率論》從Kolmogorov公理化體系出發(fā),主要講授高等概率論的基礎概念和基本方法,分概率論、隨機過程和鞅論三部分內容.《高等概率論》共十章,具體包括緒論、概率空間與隨機變量、分布與積分、條件數(shù)學期望、隨機變量列的收斂、特征函數(shù)及其應用、隨機過程基礎、鞅論基礎、可選時定理的應用、隨機點過程等.《高等概率論》在內

本書分為上、下兩冊，上冊包括力學基礎和熱學兩大部分；下冊包括電磁學、光學和量子力學三大部分．本冊為下冊，共7章，主要內容包括靜電場、穩(wěn)恒磁場、變化的電磁場、幾何光學、波動光學、量子力學、量子力學新應用等．本書采用經典知識體系，反映新科技發(fā)展方向，注重體現(xiàn)各部分知識之間的內在聯(lián)系，同時保持難度適中．本書結構清晰、表述精練

本書系統(tǒng)介紹了基于聲線法研究高斯行波對球形粒子的聲輻射力和球面聚焦超聲對球形粒子的聲輻射力，基于聲散射法研究平面波和高斯行波對球形粒子的聲輻射力，高斯駐波對球形粒子的聲輻射力和高斯行波對多層球形粒子的聲輻射力，介紹了其他聲源的聲輻射力，包括中空聚焦換能器和環(huán)狀活塞換能器產生的波束，零階準貝塞爾高斯波束和艾里高斯波束，還

近半個多世紀，中外學者對力學史研究傾注了大量心血和精力。學者們在研究中發(fā)現(xiàn)中國古代力學知識發(fā)展不同于西方近代經典力學體系，筆者借鑒科技訓詁、發(fā)生認識論和原始思維等研究方法，從直覺知識、理論知識和實踐知識等方面對中國古代力學知識進行文本分析，術語、思想探源和力學實踐探討，嘗試建構中國古代力學知識體系。研究發(fā)現(xiàn)，中國古代力

在排序問題的研究中,一方面問題模型求解方法的多樣性,另一方面實際的生產和服務需求使得問題新模型不斷涌現(xiàn),使得經典排序的基本假設被不斷突破.工時可變的排序問題,是一類非常重要的非經典排序問題.《工時可變的排序模型與算法》介紹了工時可變排序問題的重要性和現(xiàn)實意義,介紹了三類工時可變的排序問題,以及在重新排序中的應用.《工時