朱道元編著的《研究生數(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é)建模、空

《信息科學(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ò)程模式理

本書系統(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)題介紹按照由熟悉到陌生、由基

《北京工業(yè)大學(xué)研究生創(chuàng)新教育系列教材：數(shù)學(xué)建�；�礎(chǔ)（第2版）》深入淺出地介紹了與數(shù)學(xué)建�；�礎(chǔ)有關(guān)的內(nèi)容，其重點(diǎn)放在微分方程模型、運(yùn)籌學(xué)模型和數(shù)理統(tǒng)計(jì)模型方面，著重講述建模的基本思想和模型求解的基本方法，以及運(yùn)用數(shù)學(xué)軟件求解數(shù)學(xué)問(wèn)題。其內(nèi)容包括數(shù)學(xué)建模入門、微分方程模型、線性規(guī)劃模型、動(dòng)態(tài)規(guī)劃模型、最優(yōu)化模型、圖論與網(wǎng)絡(luò)

《普通高等教育“十二五”規(guī)劃教材：數(shù)學(xué)建�！方Y(jié)合黑龍江科技學(xué)院人才培養(yǎng)和專業(yè)課程建設(shè)的總體要求，既注重學(xué)生基本能力的訓(xùn)練，同時(shí)又結(jié)合學(xué)生的專業(yè)實(shí)際，介紹體現(xiàn)專業(yè)特點(diǎn)的數(shù)學(xué)模型供不同專業(yè)進(jìn)行選擇、介紹體現(xiàn)素質(zhì)能力的綜合模型，注重培養(yǎng)學(xué)生的科技寫作和講演能力。教材結(jié)構(gòu)安排如下：第一章數(shù)學(xué)模型概論（1學(xué)時(shí)）；第二章初等模型（

《數(shù)學(xué)建模及其實(shí)驗(yàn)》主要是根據(jù)“數(shù)學(xué)建�！闭n程的教學(xué)和“大學(xué)生數(shù)學(xué)建模競(jìng)賽”培訓(xùn)活動(dòng)的實(shí)際需要，以及編者多年從事教學(xué)和培訓(xùn)工作的實(shí)踐經(jīng)驗(yàn)與體會(huì)編寫而成的�？紤]到課堂教學(xué)的特點(diǎn)和建模實(shí)驗(yàn)在整個(gè)建模過(guò)程中的重要性，《數(shù)學(xué)建模及其實(shí)驗(yàn)》在內(nèi)容上體現(xiàn)了少而精和建模實(shí)驗(yàn)的實(shí)踐性，目的是通過(guò)完整的建模過(guò)程訓(xùn)練，提高學(xué)生的建模能力和

全書較系統(tǒng)地講述了各種三值邏輯、n值邏輯以及連續(xù)值邏輯理論；為模糊命題演算建立了一套形式演繹系統(tǒng)；把模糊推理納入了嚴(yán)格的邏輯軌道；從整體賦值出發(fā)，建立了積分語(yǔ)義學(xué)理論，為近似推理提供了一種可能的框架；系統(tǒng)論述了Pavelka邏輯并扼要論述了抽象邏輯。

本書從數(shù)理邏輯模型論的基本知識(shí)開(kāi)始，介紹近年來(lái)在穩(wěn)定性和單純性理論中出現(xiàn)的新成果、新方法，并提供了相關(guān)練習(xí)。

本書共六部分，分上、下兩冊(cè)。下冊(cè)包括第三、四、五章和兩個(gè)附錄。第三章陳述邏輯演算的重言式系統(tǒng)，并研究自然推理系統(tǒng)和重言式系統(tǒng)的關(guān)系。第四章研究邏輯演算的可靠性和完備性問(wèn)題。笫五章討論了邏輯演箅如何應(yīng)用于陳述具體的數(shù)學(xué)理論，并且研究了在數(shù)學(xué)中引進(jìn)定義的形式化問(wèn)題。附錄(一)陳述帶量詞的命題邏輯；附錄(二)定義了斜形證明，

本書共六部分，分上、下兩冊(cè).上冊(cè)包括緒論、第一章和第二章.緒論對(duì)數(shù)理邏輯的性質(zhì)，邏輯演算的大概內(nèi)容.以及閱讀以后各章所需要的預(yù)備知識(shí)作了簡(jiǎn)要的說(shuō)明.第一章構(gòu)造命題邏輯和一階邏輯的形式系統(tǒng)，介紹演繹邏輯的基本規(guī)則.第二章研究邏輯演算的重要系統(tǒng)特征