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

本書是數(shù)理邏輯和集合論的基礎語言。共8章，前5章是數(shù)理邏輯部分：第1-3章是數(shù)理邏輯，包括命題邏輯、謂詞邏輯及其公理化理論；第4章是簡單模態(tài)邏輯，第5章是利用基礎知識分析基礎教育階段數(shù)學教、學中遇到的問題。在每一節(jié)的起始將本節(jié)內容所滲透的重要的思想方法提煉出來放在前面，以期利于讀者對內容的深入理解和對數(shù)學思想方法的進一

本書側重數(shù)學建模知識的了解和數(shù)學建模能力及意識的培養(yǎng)，案例豐富，由淺入深，便于學生自學和教師教學。本著簡明、實用和有趣的原則，書中的內容主要以初、中等難度數(shù)學建模問題為主，以求達到降低數(shù)學建模學習起點、實用和通俗易懂的目的。讀者只要學過微積分、線性代數(shù)和了解簡單的概率統(tǒng)計知識就可以學習本書。

從華南農業(yè)大學2009年到2014年，參加全國大學生數(shù)學建模競賽中精選出的10篇獲獎的論文加工整理而成的，所選擇的論文都是最有代表性的，論文幾乎完整地保持了參賽論文的原貌。同時每篇論文后給出了比較細致的點評。書后附錄中提供了參加數(shù)學建模競賽部分部分同學的感受和體會賽題。

本書為高等學校數(shù)學建模與實驗課程教材,集應用數(shù)學知識、數(shù)學建模和數(shù)學實驗為一體,共兩篇17章。第一篇為Matlab基礎(第15章),包括Matlab入門、程序設計、圖形處理、數(shù)值計算、符號計算;第二篇為常用數(shù)學建模方法與實驗(第617)章,包括數(shù)字圖像處理、微分方程模型求解、插值與擬合、圖論方法建模與實驗、隨機方法建模

廣義差集矩陣理論是一種利用多邊矩陣理論和矩陣象技術，對多維數(shù)組進行封閉的廣義差運算，以此處理多指標復雜系統(tǒng)的關系結構和邏輯分析問題的方法體系.本書系統(tǒng)地闡述廣義差集矩陣理論及其應用.《廣義差集矩陣理論和正交表構造》共7章，內容包括廣義差集矩陣的等價形式？原子形式？并列或標準混合形式？規(guī)范半混合形式？核形式的理論及其在混

本書作者把多年數(shù)學建模課程教學、數(shù)學建模競賽培訓經驗與一般理工科院校的學生實際相結合，重點介紹了常用的數(shù)學建模方法內容包括數(shù)學建模概論、初等建模方法、差值擬合方法、數(shù)學規(guī)劃方法、微分方程方法、圖論方法、不確定信息處理方法、常用統(tǒng)計與隨機分析方法及現(xiàn)代優(yōu)化方法等本書將數(shù)學模型、數(shù)學方法和數(shù)學軟件通過實際案例有機地結合在一

《數(shù)學建�！芬杂脭�(shù)學解決實際問題所需要的知識和技能為順序。介紹了數(shù)學建模的基本概念、方法與步驟。以及常用的計算方法、數(shù)值軟件。分專題介紹幾個主要數(shù)學分支的相關知識及其在具體問題中的應用�！稊�(shù)學建�！饭财哒隆�內容包括數(shù)學建模所需要的基本知識：數(shù)學建模概念、數(shù)值軟件、常用計算方法；進行數(shù)學基本應用的初等模型、常微分方程模型

非經典邏輯及推理的種類和成果頗多，限于篇幅，《對偶三角模--三角余模邏輯及推理》總結作者張興芳2005年以來關于概率論、Lawry的適當測度理論、劉寶碇的不確定理論、模糊集理論與數(shù)理邏輯理論的結合研究成果。根據(jù)非經典命題和謂詞的不確定性的各種特征，作者分別提出了相應的邏輯和推理方法，概括其本質分別稱為隨機命題的概率邏輯

《MATLAB與數(shù)學建模(普通高等教育十二五規(guī)劃教材)》從數(shù)學建模的角度介紹MATLAB的應用及常用的數(shù)學建模方法。書中內容根據(jù)數(shù)學建模競賽的需要而編排，涵蓋了大部分數(shù)學建模問題的MATLAB求解方法，全書共14章，內容包括數(shù)學建模概述、MATLAB基礎、微分方程、差分方程、插值與數(shù)據(jù)擬合、線性規(guī)劃、整數(shù)規(guī)劃、非線性規(guī)

數(shù)學建模這門課程在數(shù)學及其在各個領域的應用之間架起了一座橋梁。本書介紹了整個建模過程的原理，以數(shù)學建模案例為實體，以激發(fā)大學生學習數(shù)學積極性和主動性為目的，結合高等數(shù)學、線性代數(shù)、概率論與數(shù)理統(tǒng)計的教學實踐，通過大量案例，介紹應用數(shù)學解決實際問題的基本思路和方法。同時，部分案例在第一版的基礎上，增加了問題分析和思考題，

悖論是邏輯學中最光彩奪目的部分，也是最能激發(fā)邏輯學家、數(shù)學家、哲學家以及普通大眾興趣的話題，它指的是與公認的信念相左的“道理”，或是讓人陷入兩難、無所適從的命題。它雖然看似荒謬，違反常理，但卻似乎論證縝密、無從反駁。 悖論起源很早，如古希臘的“說謊者悖論”、中國的“白馬非馬”之說。歷史上，眾多的哲學家、數(shù)學家、邏輯學

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

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

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

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

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

本書分9章，內容涉及數(shù)學建模簡介、Matlab基礎知識、微分方程與差分方程、優(yōu)化方法、回歸分析、預測與決策分析方法、圖論方法、模糊數(shù)學方法、神經網絡方法等建模常用的方法，并在附錄中介紹建模競賽論文寫作的方法和范例。第2-9章每一章先結合實例講解建模方法的理論，之后結合軟件介紹模型的求解方法，避免在解決問題中做繁瑣

本書系統(tǒng)地介紹了數(shù)學建模的基本方法，并通過各類典型實例展示了數(shù)學建模解決實際問題的基本過程。主要內容包括：數(shù)學建模概述、初等模型、微分方程模型、概率與隨機模型、統(tǒng)計分析模型、數(shù)學規(guī)劃模型、圖與網絡模型、其他模型。方法講解按照由淺入深、由簡到繁的原則，適合大學本科低年級在數(shù)學建模課程中使用；問題介紹按照由熟悉到陌生、由基

本書是代數(shù)模型論的一本人門書。第一章介紹代數(shù)模型論所需要的模型論的基礎知識。第二章至第九章分別介紹代數(shù)模型論各主要領域在近二三十年來國外的主要研究成果和研究方法，其中包括代數(shù)閉域、實閉域、線性序和偏序結構的模型論等。最后一章介紹可計算模型論。本書起點較低，具備數(shù)學系二、三年級知識的讀者即可閱讀，并具自完備性，以方便閱讀