本書首先簡要介紹了數(shù)理邏輯的發(fā)展、形式系統(tǒng)及一些預備知識，然后介紹了集合論，詳細講解了命題演算、謂詞演算、可計算性理論和哥德爾不完全性定理，最后介紹了模型論的基礎知識和方法。全書重點突出，論證詳細，各部分內(nèi)容配有典型的例子和習題，以便讀者更好地理解、掌握相關知識。

全國大學生數(shù)學建模競賽一直受到廣大同學的熱烈歡迎，越來越多的學生加入了競賽的行列。數(shù)學建模競賽有利于培養(yǎng)學生解決實際問題的能力、創(chuàng)新意識及合作精神，有力地促進了高等學校的教學改革，已經(jīng)發(fā)展成為國內(nèi)規(guī)模和影響力的大學生學科性競賽活動之一。本書收集了競賽章程和規(guī)則、1992年以來競賽組織的相關文件，選編了領導和專家的講話，

本書共七章，第一章對思維進行了概述；第二至三章介紹了數(shù)學思維和數(shù)學思維能力。闡述了思維與數(shù)學思維的關系，介紹了數(shù)學思維能力的培養(yǎng)與價值。第四至七章從數(shù)學建模思維到數(shù)學建模能力進行了詳細的研究，并以近幾年的參賽論文為實例具體分析數(shù)學建模思維能力的培養(yǎng)和運用。

本書共7章，致力于猶豫模糊集和粗糙集的融合研究，主要內(nèi)容包括新的猶豫模糊粗糙集及其拓撲性質(zhì)、雙論域上的猶豫模糊粗糙集及其應用、猶豫模糊容差粗糙集模型和多粒度猶豫模糊粗糙集模型與近似約簡。

《數(shù)學建模基礎及應用》既是編者在西南交通大學多年教學經(jīng)驗的總結(jié)，也是編者長期組織學生參加各類數(shù)學建模比賽的經(jīng)驗集成�！稊�(shù)學建模基礎及應用》共9章，內(nèi)容包含數(shù)學建模概述、數(shù)學規(guī)劃模型、圖論方法、數(shù)理統(tǒng)計模型、綜合評價方法、預測方法、方程模型、其他模型、現(xiàn)代優(yōu)化算法等。在編寫過程中，力求做到以下幾點：，系統(tǒng)性強，《數(shù)學建模

本書是一本面向高職高專教學的數(shù)學建模教材，是根據(jù)高職高專專業(yè)人才培養(yǎng)要求，適應高職高專學生知識基礎和范圍，精選豐富多樣、難易恰當?shù)哪Ｐ�，遵循常用的教學模式，按照新穎的體例編寫而成的。本書包括基礎篇和競賽篇，分別對應課堂教學和競賽培訓，主要內(nèi)容有數(shù)學建模簡介、初等模型、微分模型、微分方程模型、線性代數(shù)模型、數(shù)學規(guī)劃模型、

《數(shù)學建模方法與實踐》內(nèi)容包括線性規(guī)劃、非線性規(guī)劃、動態(tài)規(guī)劃、國論基礎、組合數(shù)學、多元統(tǒng)計分析、微分方程建模分析、數(shù)值計算等。每章為一個相對獨立的數(shù)學方法與建模實踐單元。通過學習，可以使讀者掌握基本數(shù)學方法，同時培養(yǎng)讀者對實際問題的理解能力、從具體到抽象的分析能力、算法設計與編程能力、綜合概括與結(jié)果分析能力等。

本書主要介紹數(shù)據(jù)分析處理領域中的經(jīng)典模型和算法，包括回歸分析、時間序列分析、差值與擬合方法、多元統(tǒng)計方法、灰色分析方法、微分方程與差分方程方法及現(xiàn)代綜合評價方法等內(nèi)容。書中選用的相關案例，注重從不同側(cè)面反映數(shù)學思想在實際問題中的靈活應用，既注重算法原理的通俗性，也注重算法應用的實現(xiàn)性。本書所有例題均配有Matlab或L

《圖利的貓：著名的116個思想悖論》是一本思想悖論通俗讀本。作者以簡練的語言介紹了悖論的提出者、命題、邏輯推理方式、核心論點和矛盾之處等，涉及的思想悖論類型包括形而上學、精神哲學、身份認同、語言哲學、邏輯學、倫理學、美學等，這些思想悖論及其衍生或流變的問題吸引了眾多思想家和學者的關注，提出了別開生面的不俗見解，促進了現(xiàn)

數(shù)學建模的過程是從實際中抽象出數(shù)學問題，使用已學的數(shù)學知識和方法建立數(shù)學模型，并利用計算機解模型，對實際問題驗證模型并寫成建模論文。本書闡述數(shù)學建模的常用理論和方法，包括:數(shù)學建模和MATLAB人門、初等方法與微積分方法、線性代數(shù)與概率論方法、微分方程與差分方程方法、線性規(guī)劃方法整數(shù)規(guī)劃與非線性規(guī)劃方法、多元統(tǒng)計分析方