本書以拉格朗日力學(xué)理論與自動(dòng)定理證明思想為指導(dǎo)，系統(tǒng)深入地研究了泛函變分、拉格朗日力學(xué)和機(jī)器人動(dòng)力學(xué)之間的天然關(guān)系，從而構(gòu)建了以泛函變分的形式化為形式化數(shù)學(xué)基礎(chǔ)、以拉格朗日力學(xué)的形式化為中心、以機(jī)器人動(dòng)力學(xué)形式化分析為應(yīng)用依托的定理證明體系。內(nèi)容涵蓋了自動(dòng)定理證明、泛函變分、拉格朗日力學(xué)、形式化驗(yàn)證等領(lǐng)域。《BR》　　全書主要內(nèi)容包括：泛函變分、動(dòng)力學(xué)與形式化驗(yàn)證的進(jìn)展；泛函變分、拉格朗日力學(xué)、機(jī)器人動(dòng)力學(xué)與形式化驗(yàn)證主要理論；泛函變分主要理論的形式化；拉格朗日力學(xué)主要理論的形式化；機(jī)器人動(dòng)力學(xué)的形式化建模與分析；模塊化自組織機(jī)器人對接運(yùn)動(dòng)學(xué)和動(dòng)力學(xué)驗(yàn)證。作者長期系統(tǒng)形式化與自動(dòng)定理證明進(jìn)行深入研究并在機(jī)器人安全驗(yàn)證等領(lǐng)域持續(xù)實(shí)踐迭代，本書是對該過程成果的高度凝練與系統(tǒng)總結(jié)。

更多科學(xué)出版社服務(wù)，請掃碼獲取。