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

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

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

本書(shū)共7章，致力于猶豫模糊集和粗糙集的融合研究，主要內(nèi)容包括新的猶豫模糊粗糙集及其拓?fù)湫再|(zhì)、雙論域上的猶豫模糊粗糙集及其應(yīng)用、猶豫模糊容差粗糙集模型和多粒度猶豫模糊粗糙集模型與近似約簡(jiǎn)。

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

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

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

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

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

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