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

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

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

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

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

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

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

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

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

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