本書共分七章,重點講解教學(xué)媒體、教學(xué)設(shè)計、教學(xué)技能在數(shù)學(xué)學(xué)科中的應(yīng)用方法,具體介紹以信息技術(shù)為核心的現(xiàn)代教育信息技術(shù)與數(shù)學(xué)課程教學(xué)整合的方法和學(xué)科教學(xué)案例的設(shè)計與應(yīng)用,通過實際的教學(xué)案例將理論與實際相結(jié)合,對教學(xué)改革和現(xiàn)代教育信息技術(shù)在數(shù)學(xué)教學(xué)中的應(yīng)用起到促進(jìn)和推動作用。
面向計算機科學(xué)的數(shù)理邏輯 第二版
本書討論如何撰寫美國大學(xué)生數(shù)學(xué)建模競賽論文。書中包括兩部分內(nèi)容:一部分是地道的英文內(nèi)容,另一部分為與之對應(yīng)的中文介紹,這樣安排的目的是培養(yǎng)讀者用英文寫作及思考的習(xí)慣,有困難時可以查看中文內(nèi)容;或者先快速了解中文,再看英文表達(dá)。主要內(nèi)容包括:簡介、文章結(jié)構(gòu)、文體、英語的用法、數(shù)學(xué)符號、數(shù)學(xué)表達(dá)、圖形和表格、修改實例、寫作
本書在深入淺出地介紹LINGO基本用法和LINGO與各種文件和數(shù)據(jù)庫之間的數(shù)據(jù)傳遞和處理方法的基礎(chǔ)上,分兩個層次介紹了LINGO軟件及其應(yīng)用:*個層次以數(shù)學(xué)規(guī)劃、圖論與網(wǎng)絡(luò)優(yōu)化、多目標(biāo)規(guī)劃等LINGO軟件常用領(lǐng)域為背景,介紹LINGO軟件求解優(yōu)化模型的常規(guī)手段和技巧;第二個層次以博弈論、存貯論、排隊論、決策分析、評價方
《實定理的復(fù)證明》是對Hadamard的格言“實域中兩個真理之間的最好和最短路程是通過復(fù)域”的延伸思考。面向熟悉研究生一年級水平分析學(xué)的受眾,此書的目的在于解釋復(fù)變量是如何對分析的一些領(lǐng)域中的許多類重要結(jié)果提供了快速而高效的證明,這些領(lǐng)域包括諸如近似理論、算子理論、調(diào)和分析和復(fù)動力系統(tǒng)。
本書匯集GMAT官方解析2015、2016、2017版的所有閱讀題材,從具體內(nèi)容來講1.以Prep為藍(lán)本,幫助考生了解“標(biāo)準(zhǔn)化考試”;2.對開排版,適應(yīng)機考;3.在語境中背單詞,掃除理解障礙;4.精選長難句,提升閱讀理解能力;5.套路題型,快速有效;6.框架結(jié)構(gòu),一覽重點;7.結(jié)合技巧,解析題目;8.總結(jié)規(guī)律,舉一反三
本書是國內(nèi)迄今最全面系統(tǒng)地介紹悖論問題的著作,作者將從古至今五花八門的悖論分成十二類,詳細(xì)介紹每一類悖論的歷史原型、各種變體、邏輯學(xué)家的解決方案、與日常生活的關(guān)系等等。作為國內(nèi)著名的邏輯學(xué)家,作者展示了多年來在這一領(lǐng)域探索的成果,對于國內(nèi)外相關(guān)領(lǐng)域的邏輯學(xué)的研究都將有很大的推動。新版重新撰寫了第十二章。
本書精選20112015年全國大學(xué)生數(shù)學(xué)建模競賽多篇優(yōu)秀獲獎?wù)撐,輔以指導(dǎo)教師的精彩點評。論文未作刪節(jié),所有細(xì)節(jié)和計算過程均予以保留。 本書非常適合初次參賽的高校學(xué)生查閱,也可供青年指導(dǎo)教師參考。
本書共分為12章,既詳盡介紹了規(guī)劃論模型、微分方程模型、差分方程模型、組合優(yōu)化與隨機性模型、圖論模型、回歸分析與時間序列方法、模糊數(shù)學(xué)建模方法、插值與擬合建模、決策分析方法、現(xiàn)代優(yōu)化算法等與數(shù)學(xué)建模相關(guān)的理論知識,又結(jié)合典型實例全面闡述了數(shù)學(xué)建模解決實際問題的基本過程,突出了數(shù)學(xué)建模軟件的應(yīng)用。本書可作為?粕、本科生
《隴上學(xué)人文存(陶景侃卷)》是一部論文集。陶景侃,1978年12月到蘭州大學(xué)哲學(xué)系工作。1993年6月任教授,1993年10月獲國務(wù)院特殊津貼。曾任中國邏輯學(xué)會理事,甘肅省邏輯學(xué)會會長等。獨立完成國家社會科學(xué)基金項目1項。出版著作有《邏輯學(xué)問答》、《大學(xué)邏輯教程》、《法律規(guī)范邏輯》,發(fā)表相關(guān)論文31篇。《隴上學(xué)人文存(