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

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

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

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

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

廣義差集矩陣?yán)碚撌且环N利用多邊矩陣?yán)碚摵途仃囅蠹夹g(shù)，對(duì)多維數(shù)組進(jìn)行封閉的廣義差運(yùn)算，以此處理多指標(biāo)復(fù)雜系統(tǒng)的關(guān)系結(jié)構(gòu)和邏輯分析問(wèn)題的方法體系.本書(shū)系統(tǒng)地闡述廣義差集矩陣?yán)碚摷捌鋺?yīng)用.《廣義差集矩陣?yán)碚摵驼�交表�?gòu)造》共7章，內(nèi)容包括廣義差集矩陣的等價(jià)形式？原子形式？并列或標(biāo)準(zhǔn)混合形式？規(guī)范半混合形式？核形式的理論及其在混

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

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

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

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

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

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

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

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

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

本書(shū)是代數(shù)模型論的一本人門(mén)書(shū)。第一章介紹代數(shù)模型論所需要的模型論的基礎(chǔ)知識(shí)。第二章至第九章分別介紹代數(shù)模型論各主要領(lǐng)域在近二三十年來(lái)國(guó)外的主要研究成果和研究方法，其中包括代數(shù)閉域、實(shí)閉域、線(xiàn)性序和偏序結(jié)構(gòu)的模型論等。最后一章介紹可計(jì)算模型論。本書(shū)起點(diǎn)較低，具備數(shù)學(xué)系二、三年級(jí)知識(shí)的讀者即可閱讀，并具自完備性，以方便閱讀