數(shù)學實驗課的宗旨是：在教師指導下以學生在計算機上動手、動眼、動腦為主，通過用數(shù)學軟件做實驗，學習解決實際問題常用的數(shù)學方法，并在此基礎上分析、解決經(jīng)過簡化的實際問題，提高學數(shù)學與用數(shù)學的興趣、意識和能力�！稊�(shù)學實驗及典型案例分析》是根據(jù)數(shù)學實驗課程教學和數(shù)學建模競賽培訓的需要，在作者多年從事相關教學和研究工作以及指導數(shù)

本書共分七章，重點講解教學媒體、教學設計、教學技能在數(shù)學學科中的應用方法，具體介紹以信息技術為核心的現(xiàn)代教育信息技術與數(shù)學課程教學整合的方法和學科教學案例的設計與應用，通過實際的教學案例將理論與實際相結合，對教學改革和現(xiàn)代教育信息技術在數(shù)學教學中的應用起到促進和推動作用。

本書敘述了與計算機科學有緊密聯(lián)系并且相互之間又有聯(lián)系的數(shù)理邏輯基礎性內(nèi)容，包括經(jīng)典邏輯和非經(jīng)典邏輯中的構造性邏輯和模態(tài)邏輯。本書在選材時考慮了邏輯系統(tǒng)的特征，并且適應計算機科學的要求。本書研究各種邏輯的背景、語言、語義、形式推演，以及可靠性和完備性等問題。本書大部分章節(jié)附有習題。

本書討論如何撰寫美國大學生數(shù)學建模競賽論文。書中包括兩部分內(nèi)容：一部分是地道的英文內(nèi)容，另一部分為與之對應的中文介紹，這樣安排的目的是培養(yǎng)讀者用英文寫作及思考的習慣，有困難時可以查看中文內(nèi)容；或者先快速了解中文，再看英文表達。主要內(nèi)容包括：簡介、文章結構、文體、英語的用法、數(shù)學符號、數(shù)學表達、圖形和表格、修改實例、寫作

本書在深入淺出地介紹LINGO基本用法和LINGO與各種文件和數(shù)據(jù)庫之間的數(shù)據(jù)傳遞和處理方法的基礎上，分兩個層次介紹了LINGO軟件及其應用:*個層次以數(shù)學規(guī)劃、圖論與網(wǎng)絡優(yōu)化、多目標規(guī)劃等LINGO軟件常用領域為背景，介紹LINGO軟件求解優(yōu)化模型的常規(guī)手段和技巧；第二個層次以博弈論、存貯論、排隊論、決策分析、評價方

《實定理的復證明》是對Hadamard的格言“實域中兩個真理之間的最好和最短路程是通過復域”的延伸思考。面向熟悉研究生一年級水平分析學的受眾，此書的目的在于解釋復變量是如何對分析的一些領域中的許多類重要結果提供了快速而高效的證明,這些領域包括諸如近似理論、算子理論、調(diào)和分析和復動力系統(tǒng)。

本書匯集GMAT官方解析2015、2016、2017版的所有閱讀題材，從具體內(nèi)容來講1.以Prep為藍本，幫助考生了解“標準化考試”；2.對開排版，適應機考；3.在語境中背單詞，掃除理解障礙；4.精選長難句，提升閱讀理解能力；5.套路題型，快速有效；6.框架結構，一覽重點；7.結合技巧，解析題目；8.總結規(guī)律，舉一反三

本書是國內(nèi)迄今最全面系統(tǒng)地介紹悖論問題的著作，作者將從古至今五花八門的悖論分成十二類，詳細介紹每一類悖論的歷史原型、各種變體、邏輯學家的解決方案、與日常生活的關系等等。作為國內(nèi)著名的邏輯學家，作者展示了多年來在這一領域探索的成果，對于國內(nèi)外相關領域的邏輯學的研究都將有很大的推動。新版重新撰寫了第十二章。

本書精選20112015年全國大學生數(shù)學建模競賽多篇優(yōu)秀獲獎論文，輔以指導教師的精彩點評。論文未作刪節(jié)，所有細節(jié)和計算過程均予以保留。 本書非常適合初次參賽的高校學生查閱，也可供青年指導教師參考。

本書共分為12章，既詳盡介紹了規(guī)劃論模型、微分方程模型、差分方程模型、組合優(yōu)化與隨機性模型、圖論模型、回歸分析與時間序列方法、模糊數(shù)學建模方法、插值與擬合建模、決策分析方法、現(xiàn)代優(yōu)化算法等與數(shù)學建模相關的理論知識，又結合典型實例全面闡述了數(shù)學建模解決實際問題的基本過程，突出了數(shù)學建模軟件的應用。本書可作為�？粕�、本科生