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

本書介紹了聲學學科多個分支的概貌、基本原理及應(yīng)用，主要內(nèi)容包括音頻技術(shù)、環(huán)境聲學、超聲檢測技術(shù)、醫(yī)學超聲、微聲學、人工聲學材料和功率超聲。本書避免了對聲學理論的平鋪直敘，而是側(cè)重于對聲學相關(guān)應(yīng)用領(lǐng)域的介紹，以適應(yīng)本書通俗易懂、嚴謹有趣的科普讀物定位。

本書共12章，第1章為緒論；第2～5章為疲勞分析基礎(chǔ)篇，介紹材料循環(huán)特性，常幅疲勞的高周疲勞曲線和低周疲勞曲線，變幅疲勞的損傷累積理論，隨機疲勞的循環(huán)計數(shù)方法及結(jié)構(gòu)疲勞分析方法；第6～9章為斷裂力學基礎(chǔ)篇，介紹線彈性斷裂力學和彈塑性斷裂力學基本理論及疲勞裂紋擴展相關(guān)知識；第10～12章為應(yīng)用和發(fā)展篇，介紹基于有限元方法

“物理化學實驗”是高等學�；瘜W化工類專業(yè)本科生培養(yǎng)的必修核心課程，是化學實驗教學的重要環(huán)節(jié)。本書專門為此門課程編寫，適用于高等學�；瘜W化工類專業(yè)及其相關(guān)專業(yè)的“物理化學實驗”課程教學。本書由緒論、實驗、基礎(chǔ)知識與技術(shù)和附錄四部分組成，其中37個實驗涵蓋了熱力學、動力學、電化學、表面性質(zhì)與膠體化學和結(jié)構(gòu)化學等物理化學分支

"本書內(nèi)容由淺入深、逐層遞進，包括固體光學宏觀理論、晶體的線性光學性質(zhì)與非線性光學性質(zhì)及其應(yīng)用、固體材料的發(fā)光、發(fā)光材料的制備與發(fā)光特性測試、固體光學中的性能檢測等。本書既保留了固體光學領(lǐng)域的經(jīng)典理論，又緊密結(jié)合固體光學領(lǐng)域的最新科研成果，以及我國相關(guān)產(chǎn)業(yè)在時代發(fā)展下的知識需求，系統(tǒng)介紹了固體光學領(lǐng)域的前沿發(fā)展。讀者通

"本書是教育部“面向21世紀高等教育教學內(nèi)容和課程體系改革計劃”項目研究成果《工程電磁場導論》一書的修訂本，是在西安交通大學電工原理教研室多年教學研究和實踐的基礎(chǔ)上編寫而成的。全書內(nèi)容分為8章：靜電場、恒定電場、恒定磁場、時變電磁場、準靜態(tài)電磁場、平面電磁波的傳播、均勻傳輸線中的導行電磁波、波導與諧振腔。不僅在每小節(jié)后

"本書根據(jù)《理工科類大學物理實驗課程教學基本要求》（2010年版）和本科一年級學生所掌握的物理概念與實驗基礎(chǔ)知識編寫而成，主要包括實驗基礎(chǔ)理論和47個物理實驗。實驗基礎(chǔ)理論部分給出了一些在實驗數(shù)據(jù)處理中必須要用到的計算公式（例如求測量結(jié)果的不確定度公式），同時介紹了有關(guān)隨機誤差的概率統(tǒng)計分析理論。物理實驗部分分為基礎(chǔ)性

"本書根據(jù)教育部高等學校物理學與天文學教學指導委員會編制的《理工科類大學物理實驗課程教學基本要求》（2010年版）和太原工業(yè)學院圍繞“立德樹人、強化實踐、突出應(yīng)用、服務(wù)社會”的辦學理念開展應(yīng)用型本科教育教學工作的辦學思路，結(jié)合學院大學物理實驗課程教學改革的實踐經(jīng)驗編寫而成。全書共6章，內(nèi)容包括測量誤差及數(shù)據(jù)處理、力學和

"1938年諾貝爾物理學獎獲得者費米是20世紀貢獻最大的物理學家之一，同時又是一位優(yōu)秀的教育工作者。本書是他于1954年在美國芝加哥大學最后一次講授量子力學時準備的提綱手稿，是珍貴的歷史文獻。中譯本按照作者手稿，參照蘇聯(lián)МИР出版社1965年俄譯本翻譯成中文，并影印了作者的英文手稿。為了方便讀者理解，譯文補上了手稿中略

"本書是根據(jù)作者在吉林大學物理學院多年的數(shù)學物理方法課程教學經(jīng)驗編寫而成的。本書內(nèi)容包括：基礎(chǔ)數(shù)學知識、數(shù)學物理方程定解問題概述、行波法、積分變換法、直角坐標系下的分離變量法、球坐標系下的拉普拉斯方程、柱坐標系下的拉普拉斯方程、波動方程和熱傳導方程、一維線性諧振子定態(tài)方程、氫原子定態(tài)方程、格林函數(shù)法和變分法，共12章。