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

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

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

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

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

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

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

朱道元編著的《研究生數(shù)學建模精品案例》精選了全國研究生數(shù)學建模競賽的若干賽題，總結(jié)并發(fā)展了相應的優(yōu)秀論文及命題人的綜述。全書共分12章，內(nèi)容包括從研究生數(shù)學建模角度看創(chuàng)造性及創(chuàng)造性培養(yǎng)、吸波材料與微波暗室問題的數(shù)學建模、基于光的波粒二象性一種猜想的數(shù)學仿真、汶川地震中唐家山堰塞湖泄洪問題、特殊工件磨削加工的數(shù)學建模、空

本書適用于應用型人才培養(yǎng)中的數(shù)學建模教學，分基礎篇和提高篇兩冊�；�礎篇從數(shù)據(jù)或故事出發(fā)，通過生活中的簡單案例講述什么是數(shù)學模型，以及怎樣用機理分析方法和初等教學、隨時分等工具建立模型，盡量避免繁瑣的教學推導，可以作為數(shù)學建模課程的教學用書。

《數(shù)學建模（第2版）/高等學校教材》根據(jù)作者多年的教學經(jīng)驗編寫而成，主要內(nèi)容包括數(shù)學規(guī)劃與組合優(yōu)化建模、方程建模、隨機方法建模、模糊和灰色系統(tǒng)建模，以及常用數(shù)學軟件與算法等，涵蓋了數(shù)學建模常用的方法和工具。每部分內(nèi)容安排上不追求知識的系統(tǒng)性和完整性，更多地以大量建模問題實例和涉及面較廣的背景素材引出需要的方法，并在此基