不等式軟件與不等式教學(xué).pdf

1、機器證明在近30年來取得了一系列令人矚目的研究成果，尤其是不等式的機器證明在舉步維艱的情況下取得了輝煌的發(fā)展，開創(chuàng)性的開發(fā)了不等式證明軟件——BOTTEMA，它已經(jīng)成為不等式證明領(lǐng)域中的一個新寵，將會引領(lǐng)不等式的發(fā)展，并取得更好的成果。 本文第一章從BOTTEMA軟件的背景、基本原理及算法開始介紹，論及了該軟件的發(fā)展歷程、展望和使用方法等。 第二章中從當(dāng)前學(xué)校不等式的教育現(xiàn)狀剖析，論證了當(dāng)前不等式教學(xué)的弊端和不足，又鑒于

2、時代發(fā)展和教學(xué)實際的需要，得出亟需在高校中引入一本適合的不等式新教材的結(jié)論。接著，我們詳細(xì)地將最新數(shù)學(xué)機械化理論和BOTTEMA的底層算法、基本知識、使用方法、技巧、不等式可讀證明和附加知識都編進(jìn)了教材，設(shè)計了相應(yīng)的章節(jié)和內(nèi)容，并對該教材編寫了配套的課程標(biāo)準(zhǔn)和教學(xué)建議。 第三章中，從課堂教學(xué)的實際出發(fā)，以該教材為案例，論述了該部分引入教學(xué)的方法與期望效果，分別給出了實際的例子并細(xì)致地加以分析，同時也用實例的方式說明了BOTTEM