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

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

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

相識數(shù)學(xué)邏輯

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

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

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

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

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

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