已閱讀1頁，還剩66頁未讀， 繼續(xù)免費閱讀
版權說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權，請進行舉報或認領
文檔簡介
1、機器證明在近30年來取得了一系列令人矚目的研究成果，尤其是不等式的機器證明在舉步維艱的情況下取得了輝煌的發(fā)展，開創(chuàng)性的開發(fā)了不等式證明軟件——BOTTEMA，它已經(jīng)成為不等式證明領域中的一個新寵，將會引領不等式的發(fā)展，并取得更好的成果。 本文第一章從BOTTEMA軟件的背景、基本原理及算法開始介紹，論及了該軟件的發(fā)展歷程、展望和使用方法等。 第二章中從當前學校不等式的教育現(xiàn)狀剖析，論證了當前不等式教學的弊端和不足，又鑒于
2、時代發(fā)展和教學實際的需要，得出亟需在高校中引入一本適合的不等式新教材的結論。接著，我們詳細地將最新數(shù)學機械化理論和BOTTEMA的底層算法、基本知識、使用方法、技巧、不等式可讀證明和附加知識都編進了教材，設計了相應的章節(jié)和內(nèi)容，并對該教材編寫了配套的課程標準和教學建議。 第三章中，從課堂教學的實際出發(fā)，以該教材為案例，論述了該部分引入教學的方法與期望效果，分別給出了實際的例子并細致地加以分析，同時也用實例的方式說明了BOTTEM
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權或不適當內(nèi)容，請與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
評論
0/150
提交評論