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

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

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