《信息科學(xué)與技術(shù)基礎(chǔ)叢書·數(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é)敏感期"，循序漸進(jìn)，開(kāi)發(fā)數(shù)學(xué)能力，是兒童早期學(xué)習(xí)的關(guān)鍵。數(shù)學(xué)學(xué)習(xí)不僅會(huì)豐富兒童的知識(shí)，更會(huì)讓兒童學(xué)會(huì)更多的思維方式。

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

本書適用于應(yīng)用型人才培養(yǎng)中的數(shù)學(xué)建模教學(xué)，分基礎(chǔ)篇和提高篇兩冊(cè)�；�礎(chǔ)篇從數(shù)據(jù)或故事出發(fā)，通過(guò)生活中的簡(jiǎn)單案例講述什么是數(shù)學(xué)模型，以及怎樣用機(jī)理分析方法和初等教學(xué)、隨時(shí)分等工具建立模型，盡量避免繁瑣的教學(xué)推導(dǎo)，可以作為數(shù)學(xué)建模課程的教學(xué)用書。

《數(shù)學(xué)建模（第2版）/高等學(xué)校教材》根據(jù)作者多年的教學(xué)經(jīng)驗(yàn)編寫而成，主要內(nèi)容包括數(shù)學(xué)規(guī)劃與組合優(yōu)化建模、方程建模、隨機(jī)方法建模、模糊和灰色系統(tǒng)建模，以及常用數(shù)學(xué)軟件與算法等，涵蓋了數(shù)學(xué)建模常用的方法和工具。每部分內(nèi)容安排上不追求知識(shí)的系統(tǒng)性和完整性，更多地以大量建模問(wèn)題實(shí)例和涉及面較廣的背景素材引出需要的方法，并在此基

《美國(guó)MCM/ICM競(jìng)賽指導(dǎo)叢書：美國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽題解析與研究（第4輯）》是以美國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽（MCM/ICM）賽題為主要研究對(duì)象，結(jié)合競(jìng)賽特等獎(jiǎng)的優(yōu)秀論文，對(duì)相關(guān)的問(wèn)題做深入細(xì)致的解析與研究�！睹绹�(guó)MCM/ICM競(jìng)賽指導(dǎo)叢書：美國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽題解析與研究（第4輯）》針對(duì)2003年及2004年MCM/

《美國(guó)MCM/ICM競(jìng)賽指導(dǎo)叢書：美國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽題解析與研究（第3輯）》是以美國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽（MCM/ICM）題為主要研究對(duì)象，結(jié)合競(jìng)賽特等獎(jiǎng)的論文，對(duì)相關(guān)的問(wèn)題進(jìn)行深入細(xì)致的解析與研究。本輯的主要內(nèi)容包括：棒球“最佳擊球點(diǎn)”問(wèn)題、重新平衡受人類影響的生態(tài)系統(tǒng)問(wèn)題、泛太平洋垃圾帶問(wèn)題、犯罪情報(bào)分析的建模問(wèn)

《數(shù)學(xué)建模方法與案例(數(shù)學(xué)建模學(xué)習(xí)輔導(dǎo))》內(nèi)容共五章，分別為數(shù)學(xué)建模簡(jiǎn)介，初等模型，數(shù)值分析應(yīng)用，數(shù)學(xué)規(guī)劃模型。統(tǒng)計(jì)回歸等。全書按照循序漸進(jìn)，由淺入深的原則，進(jìn)行合理安排，每章最后一節(jié)是以全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽題為背景的案例。書中實(shí)例豐富，并與：Excel、Math-ematica、LING0等計(jì)算機(jī)軟件緊密結(jié)合。每章

本書系統(tǒng)地介紹了數(shù)學(xué)建模的基本方法，并通過(guò)各類典型實(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)題介紹按照由熟悉到陌生、由基

《羅里波文集：模型論與計(jì)算復(fù)雜度》主要內(nèi)容包括：、關(guān)于代數(shù)系統(tǒng)自同構(gòu)群的一個(gè)問(wèn)題、模型的并、積與齊次模型、自由群內(nèi)方程的討論、可換群中無(wú)限生成元直和項(xiàng)消去條件的探討、計(jì)算機(jī)科學(xué)發(fā)展漫談、多個(gè)一元關(guān)系上的Vaught猜想、無(wú)原子布氏代數(shù)理論的計(jì)算復(fù)雜性、利用計(jì)算機(jī)計(jì)算古典數(shù)論問(wèn)題等。