本書是與“愛課程”網(wǎng)上廈門大學(xué)譚忠教授主講的“數(shù)學(xué)建模MOOC”配套使用的教材，分基礎(chǔ)篇和提高篇兩冊�；�礎(chǔ)篇從數(shù)學(xué)產(chǎn)生的源頭問題出發(fā)引出數(shù)學(xué)建模的問題與方法，同時配備相當(dāng)數(shù)量的應(yīng)用案例，主要內(nèi)容包括數(shù)學(xué)建模與數(shù)學(xué)思想、初等數(shù)據(jù)處理方法、初等分析方法、初等代數(shù)與幾何方法、差分方程方法、常微分方程方法、偏微分方程方法、變分

本書從一階邏輯的語法和語義開始，介紹了緊致性定理、LwenheimSkolem定理、Tarski準(zhǔn)則、量詞消去、飽和模型、齊次模型、Omega-穩(wěn)定理論、不可區(qū)分序列以及Morley定理等內(nèi)容。

本書是邏輯與形而上學(xué)教科書系列中的一本。遞歸論是數(shù)理邏輯的主要分支之一。本書介紹了遞歸論的基礎(chǔ)知識，以及某些有影響的問題與經(jīng)典構(gòu)造。本書共分5章。*章介紹了圖靈機、遞歸、遞歸可枚舉等概念以及相關(guān)的定理。第二章列舉了一些重要的不可判定問題，其中包括希爾伯特第十問題（丟番圖整數(shù)解判定問題）的否定性結(jié)果（即馬季亞謝維奇定理）

《迷人的邏輯題》介紹了125道經(jīng)典的邏輯趣味題、數(shù)學(xué)題和腦筋急轉(zhuǎn)彎。很多都是你似曾相識的題目，比如狼、羊、卷心菜過河問題，數(shù)獨問題，以及微軟筆試中的渡河問題。 這些題目本身并不高深。它們像詩一樣，優(yōu)雅而簡潔，需要你用嚴(yán)密的邏輯推理以及靈光一現(xiàn)的反常識靈感才能解開。有些的謎題不需要你有任何方面的知識，只需要你有創(chuàng)造力、

大學(xué)數(shù)學(xué)建模與實驗基礎(chǔ)

《數(shù)學(xué)建模及其應(yīng)用》分9章。內(nèi)容涵蓋了數(shù)學(xué)建模課程中的一些基本方法和基本模型，包括插值與擬合、線性規(guī)劃、整數(shù)規(guī)劃與非線性規(guī)劃、常微分方程與差分方程模型、概率統(tǒng)計模型、圖論與網(wǎng)絡(luò)優(yōu)化、綜合評價與決策模型、神經(jīng)網(wǎng)絡(luò)與遺傳算法等�！稊�(shù)學(xué)建模及其應(yīng)用》中所用例題均配有相應(yīng)的MATLAB或Lingo源程序�！稊�(shù)學(xué)建模及其應(yīng)用》可

《LINGO軟件及應(yīng)用習(xí)題解答》是國防工業(yè)大學(xué)出版社出版的《LINGO軟件及應(yīng)用》一書的配套書籍。《LINGO軟件及應(yīng)用習(xí)題解答》給出了《LINGO軟件及應(yīng)用》中全部習(xí)題的解答過程和配套程序設(shè)計。尤其是第12章，針對數(shù)學(xué)建模競賽10道競賽題目，參照公開出版的優(yōu)秀論文給出的解答思路，給出了包括問題分析，模型假設(shè)，模型建立

《數(shù)學(xué)建模實驗/阿爾泰數(shù)學(xué)教程系列，普通高等教育“十三五”規(guī)劃教材》涵蓋了數(shù)學(xué)建模初步、差分方程、插值與數(shù)值積分、常微分方程、線性代數(shù)方程組、非線性方程與方程組、無約束優(yōu)化、約束優(yōu)化、整數(shù)規(guī)劃、數(shù)據(jù)統(tǒng)計分析、統(tǒng)計推斷、回歸分析等基本而重要的建模門類。各章的前部，是數(shù)學(xué)軟件MATLAB/LINDO/LINGO的常用基本命

MATLAB數(shù)學(xué)建模方法與實踐(第3版)本書從數(shù)學(xué)建模的角度介紹了MATLAB的應(yīng)用，涵蓋了絕大部分?jǐn)?shù)學(xué)建模問題的MATLAB求解方法。全書共5篇。第一篇是基礎(chǔ)篇，介紹基本概念，包括MATLAB在數(shù)學(xué)建模中的地位、數(shù)學(xué)模型的分類及各類需要用到的MATLAB技術(shù)，以及MATLAB編程入門；第二篇是技術(shù)篇，介紹MATLAB

鑒于數(shù)學(xué)建模理論與方法的推廣化應(yīng)用及促進成果的共享與校企的快速合作，作者通過歸納總結(jié)過去十幾年教學(xué)、科研、競賽及與企業(yè)合作經(jīng)驗寫成此書。內(nèi)容安排如下：數(shù)學(xué)建模與MATLAB基礎(chǔ)知識；遞歸與迭代方法；線性規(guī)劃問題；整數(shù)規(guī)劃及其MATLAB求解源代碼；圖與網(wǎng)絡(luò)優(yōu)化；統(tǒng)計學(xué)中的參數(shù)估計、假設(shè)檢驗、方差分析和相關(guān)度分析；數(shù)據(jù)的