MCM/ICM數(shù)學建模競賽（第2卷）（英文版）Mathematical Modeling for the MCM/ICM Contests Volume 2

本書共六章，其中第一章主要介紹集合、集合運算的基本思想和方法，第二至四章介紹命題邏輯的基本思想和方法，第五章和第六章介紹狹謂詞邏輯的基本思想和方法。本書各章聯(lián)系緊密，選材適當，體系完整，論述準確，并建立在作者新的研究成果基礎之上，對數(shù)理邏輯的基本思想和方法做了準確而嚴謹?shù)恼撌觥?/p>

你知道三門問題嗎？你聽過理發(fā)師案例嗎？禿子的定義又存在怎樣的矛盾？悖論可以出現(xiàn)在任何日常生活中以及人所面對的現(xiàn)實困境中。悖論迫使我們?nèi)ベ|(zhì)問人們對世界的直觀理解是否正確，也會迫使我們培養(yǎng)自己的二次直覺。本書對“悖論”這一概念進行了深度解讀，不僅列舉了很多有趣的悖論謎題，更提出了如何破解這些謎題的方

相識數(shù)學邏輯

《數(shù)學與猜想第二卷合情推理模式（數(shù)學名著譯叢）》是《數(shù)學與猜想》的第二卷。這一卷系統(tǒng)地論述了合情推理的模式，評述它們彼此之間以及與概率計算的關(guān)系，并扼要地討論了它們與數(shù)學發(fā)現(xiàn)及教學的關(guān)系。《數(shù)學與猜想第二卷合情推理模式（數(shù)學名著譯叢）》將數(shù)學中的推理模式與生活中的實例相聯(lián)系，論述深入淺出，讀來令人興味盎然。全書有大量習

本書從數(shù)學建模與仿真的角度對MATLAB進行詳細介紹和講解。全書共2篇，即基礎篇和應用篇，涵蓋絕大部分數(shù)學建模問題的MATLAB求解方法。前10章為基礎篇，講解有關(guān)MATLAB的基礎知識，包括MATLAB的入門、數(shù)值運算、符號運算和圖形功能、M文件編程、Simulink仿真模型和科學計算等內(nèi)容，在此基礎上介紹應用數(shù)學領

本書是著名數(shù)學家G.波利亞撰寫的一部經(jīng)典名著，書中討論的是自然科學、特別是數(shù)學領域中與嚴密的論證推理完全不同的一種推理方法——合情推理（即猜想）。本書通過許多古代著名的猜想，討論了論證方法，闡述了作者的觀點：不但要學習論證推理，也要學習合情推理，以豐富人們的科學思想，提高辯證思維能力，本書的例子不僅涉及數(shù)學各學科，也涉

《LINGO和Excel在數(shù)學建模中的應用》深入淺出地介紹了LINGO的基礎知識、用LINGO語言描述現(xiàn)實問題的方法和用Excel處理數(shù)據(jù)的方法，重點是這兩種軟件在解決各種優(yōu)化問題以及在數(shù)學建模中的應用，通過豐富的實例介紹了把實際問題轉(zhuǎn)化為數(shù)學模型的方法，以及綜合運用LINGO等軟件來求解模型的手段和技巧�！禠INGO

宣明主編的《數(shù)學建模與數(shù)學實驗（第2版）》是高職院校數(shù)學建模與數(shù)學實驗課程建設與教學實踐成果的第二版。全書共三篇。**篇數(shù)學建模實踐：第1章，數(shù)學建模與數(shù)學實驗簡介；第2章，數(shù)學建模實踐。第二篇數(shù)學實驗：第3章，MATLAB數(shù)學實驗；第4章，LINGO數(shù)學實驗；第5章，EXCEL數(shù)學實驗。第三篇數(shù)學建模培訓：第6章，微

大家在中小學課程里都會碰到某種程度的數(shù)學證明，有些人甚至把做數(shù)學與進行數(shù)學證明等同起來。 但究竟數(shù)學證明這種功夫在數(shù)學活動中有何作用？它是否真正確立了無可置疑的結(jié)論？它是事后的裝扮功夫抑或它能導致前所未知的新發(fā)現(xiàn)？這種獨特的思考方式是怎樣發(fā)展起來的？《數(shù)學證明（珍藏版）》從數(shù)學史的角度出發(fā)，試以大量實