《基于數(shù)學(xué)建模的數(shù)學(xué)實(shí)驗(yàn)》從數(shù)學(xué)實(shí)驗(yàn)的角度出發(fā)，通過(guò)對(duì)大量數(shù)學(xué)建模案例的剖析，讓學(xué)生了解數(shù)學(xué)建模需要?jiǎng)邮肿鍪裁矗�讓學(xué)生親自體驗(yàn)數(shù)學(xué)實(shí)驗(yàn)和數(shù)學(xué)建模解決實(shí)際問(wèn)題的無(wú)限樂(lè)趣。本書(shū)分為軟件篇、基礎(chǔ)篇、趣味篇和提高篇，主要內(nèi)容包括：MATLAB軟件平臺(tái)的介紹；以高等數(shù)學(xué)、線(xiàn)性代數(shù)、概率論與數(shù)理統(tǒng)計(jì)為理論的基礎(chǔ)實(shí)驗(yàn)；以提高學(xué)習(xí)興趣

本書(shū)分基礎(chǔ)篇和提高篇兩冊(cè)�；�礎(chǔ)篇從數(shù)據(jù)或故事出發(fā)，通過(guò)生活中的簡(jiǎn)單案例講述什么是數(shù)學(xué)模型，以及怎樣用機(jī)理分析方法和初等數(shù)學(xué)、微積分等工具建立模型，盡量避免繁瑣的數(shù)學(xué)推導(dǎo)。提高篇從實(shí)際問(wèn)題出發(fā)，講述優(yōu)化、統(tǒng)計(jì)、決策、對(duì)策、網(wǎng)絡(luò)、模擬等實(shí)用性較強(qiáng)的建模過(guò)程，計(jì)算方法力求講清思路、針對(duì)應(yīng)用，并介紹相應(yīng)的軟件實(shí)現(xiàn)，供在初步學(xué)習(xí)

數(shù)學(xué)模型是架于數(shù)學(xué)理論和實(shí)際問(wèn)題之間的橋梁.數(shù)學(xué)建模是應(yīng)用數(shù)學(xué)解決實(shí)際問(wèn)題的重要手段和途徑·本書(shū)是作為數(shù)學(xué)理論教學(xué)的一個(gè)補(bǔ)充,通過(guò)數(shù)學(xué)模型和數(shù)學(xué)建模有關(guān)問(wèn)題的論述和模型實(shí)例的介紹,使讀者應(yīng)用數(shù)學(xué)解決實(shí)際問(wèn)題的能力有所提高.全書(shū)分三篇:第一篇闡述了數(shù)學(xué)模型和數(shù)學(xué)建模的有關(guān)問(wèn)題和常用的數(shù)學(xué)模型及其組建的方法,

維恩圖具有一系列迷人的特性，如今，它已在商業(yè)策略、創(chuàng)意表達(dá)、醫(yī)學(xué)研究、計(jì)算機(jī)科學(xué)和理論物理學(xué)等形形色色的領(lǐng)域里獲得了廣泛的應(yīng)用�；�本的維恩圖不僅簡(jiǎn)潔優(yōu)美——由3個(gè)交疊的圓相互交叉形成8個(gè)不同的區(qū)域——而且也給我們帶來(lái)了概念上的革新。由英國(guó)邏輯學(xué)家約翰·維恩設(shè)計(jì)的維恩圖，在視覺(jué)上體現(xiàn)了復(fù)雜的邏輯學(xué)命題和代數(shù)陳述，美不勝收

《美國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽題解析與研究》是以美國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽（MCM／ICM）賽題為主要研究對(duì)象，結(jié)合競(jìng)賽特等獎(jiǎng)的優(yōu)秀論文，對(duì)相關(guān)的問(wèn)題做深入細(xì)致的解析與研究。本輯針對(duì)2013年MCM／ICM競(jìng)賽的3個(gè)題目：最佳巧克力蛋糕烤盤(pán)問(wèn)題、淡水資源的調(diào)配問(wèn)題以及地球生態(tài)環(huán)境的健康臨界點(diǎn)問(wèn)題等進(jìn)行了解析與研究。由于參賽論文需

悖論是英語(yǔ)詞paradox的中譯，指的是與公認(rèn)的信念相左的“道理”，或是讓人陷入兩難、無(wú)所適從的命題。它雖然看似荒謬，違反常理，但卻似乎論證縝密、無(wú)從反駁。悖論起源很早，如古希臘的“說(shuō)謊者悖論”、中國(guó)的“白馬非馬”之說(shuō)。歷史上，眾多的哲學(xué)家、數(shù)學(xué)家、邏輯學(xué)家對(duì)悖論進(jìn)行了奇妙而艱苦的探索，帶給他們成功的快樂(lè)和失敗的苦痛，

關(guān)于說(shuō)謊者及其相關(guān)真理論悖論的研究始于古希臘時(shí)代，之后相關(guān)理論層出不窮，但至今仍無(wú)定論，相關(guān)研究仍是當(dāng)今邏輯研究的一大熱點(diǎn)�！端�斯基定理與真理論悖論》梳理了塔斯基、克里普克、赫茨伯格、古普塔等人的真理論的基本內(nèi)容，并通過(guò)分析其理論對(duì)真謂詞的處理概括出真謂詞在可能世界上的一種模式，進(jìn)而給出了塔斯基定理的一系列的推廣。主要

汪天飛、鄒進(jìn)、張軍主編的《數(shù)學(xué)建模與數(shù)學(xué)實(shí)驗(yàn)》涵蓋了數(shù)學(xué)建模所涉及的常用方法和內(nèi)容，如初等數(shù)學(xué)模型、數(shù)學(xué)規(guī)劃模型、線(xiàn)性代數(shù)模型、微分方程模型、層次分析法、圖論方法和多元回歸分析等，并對(duì)每種方法的原理、應(yīng)用和程序?qū)崿F(xiàn)都做了系統(tǒng)而全面的介紹。程序使用MATLAB、L1NDO、LINGO等軟件編寫(xiě)代碼，實(shí)用性強(qiáng)。 全書(shū)共分

《信息科學(xué)與技術(shù)基礎(chǔ)叢書(shū)·數(shù)理邏輯：基本原理與形式演算（第二版）》的內(nèi)容共分十章，系統(tǒng)介紹數(shù)理邏輯的基本原理與形式演算。前五章涵蓋了經(jīng)典數(shù)理邏輯的核心內(nèi)容，包括一階語(yǔ)言的語(yǔ)法與模型，形式推理系統(tǒng)，可計(jì)算性與可表示性，哥德?tīng)柖ɡ�。后五章的�?nèi)容是作者的研究成果。這部分內(nèi)容包括：版本序列及其極限理論、修正演算系統(tǒng)、過(guò)程模式理

抓住兒童的“數(shù)學(xué)敏感期"，循序漸進(jìn)，開(kāi)發(fā)數(shù)學(xué)能力，是兒童早期學(xué)習(xí)的關(guān)鍵。數(shù)學(xué)學(xué)習(xí)不僅會(huì)豐富兒童的知識(shí)，更會(huì)讓兒童學(xué)會(huì)更多的思維方式。