該教程共包含10章內(nèi)容：前8章屬于數(shù)學(xué)建模部分，第9章主要敘述如何寫好一篇數(shù)學(xué)建模競(jìng)賽論文，第10章介紹了數(shù)學(xué)建模競(jìng)賽中常用的數(shù)學(xué)軟件以及一些編程技巧。數(shù)學(xué)建模部分包含了數(shù)學(xué)建模競(jìng)賽常用的數(shù)學(xué)知識(shí)點(diǎn)，主要有規(guī)劃理論及模型、圖論模型、常微分方程、線性回歸分析，決策分析、排隊(duì)論、多元統(tǒng)計(jì)分析、算法基礎(chǔ)等內(nèi)容。該教程適合各類

《符號(hào)邏輯講義》是當(dāng)代邏輯入門課程的教材，內(nèi)容大約是.階邏輯的前部，可作為教科書或參考書，用于哲學(xué)、數(shù)學(xué)、計(jì)算機(jī)科學(xué)和語言學(xué)等院系的當(dāng)代邏輯課程。希望了解一點(diǎn)當(dāng)代邏輯的各科學(xué)生，也可以把它當(dāng)作課外讀物。 無論在國內(nèi)還是國外，可用于一階邏輯課的教材不少，導(dǎo)論性的教材更多；但兩類教材的脫節(jié)是個(gè)老問題。國外一些教材在導(dǎo)論性

本書從若干智力游戲、歷史趣題和一些看似簡單的實(shí)用問題人手，引進(jìn)數(shù)學(xué)建模的基本思想和方法。在簡要介紹了規(guī)劃模型、經(jīng)濟(jì)數(shù)學(xué)模型、生物數(shù)學(xué)模型等基礎(chǔ)數(shù)學(xué)模型之后，對(duì)全國大學(xué)生數(shù)學(xué)建模競(jìng)賽的若干典型賽題進(jìn)行了探討。

《普通高等教育十一五國家級(jí)規(guī)劃教材·數(shù)學(xué)建模》是普通高等教育“十一五”國家級(jí)規(guī)劃教材，是在第一版的基礎(chǔ)上修訂而成的。主要內(nèi)容包括緒論，數(shù)學(xué)與現(xiàn)實(shí)世界，建模方法論，量綱分析法，機(jī)理分析建模法，基于數(shù)據(jù)的建模方法，模擬模型，模型范例，科技論文與學(xué)術(shù)講演，還在附錄中補(bǔ)充了一些應(yīng)用范例�！稊�(shù)學(xué)建模》是以介紹數(shù)學(xué)建模的一般方法為

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

本書第一版于1991年在南京大學(xué)出版社出版，當(dāng)時(shí)撰寫的主要目的是將本書寫成一本既能適用于計(jì)算機(jī)專業(yè)又能滿足數(shù)學(xué)系基礎(chǔ)數(shù)學(xué)專業(yè)和數(shù)理邏輯專業(yè)教學(xué)需要的基礎(chǔ)教材，并在內(nèi)容上要求有深有淺。其中較淺部分可作為本科生教學(xué)使用，而較深部分可作為研究生教學(xué)使用。經(jīng)過近20年的教學(xué)實(shí)踐并不斷改進(jìn)，可以說是成功地實(shí)現(xiàn)了當(dāng)初撰寫之目標(biāo)，因

本書第一版于1991年在南京大學(xué)出版社出版，當(dāng)時(shí)撰寫的主要目的是將本書寫成一本既能適用于計(jì)算機(jī)專業(yè)又能滿足數(shù)學(xué)系基礎(chǔ)數(shù)學(xué)專業(yè)和數(shù)理邏輯專業(yè)教學(xué)需要的基礎(chǔ)教材，并在內(nèi)容上要求有深有淺。其中較淺部分可作為本科生教學(xué)使用，而較深部分可作為研究生教學(xué)使用。經(jīng)過近20年的教學(xué)實(shí)踐并不斷改進(jìn)，可以說是成功地實(shí)現(xiàn)了當(dāng)初撰寫之目標(biāo)，因

《數(shù)學(xué)建模簡明教程》是作者根據(jù)多年的教學(xué)實(shí)踐，為了滿足高等師范院校數(shù)學(xué)建模課程教學(xué)的實(shí)際需求編寫而成。教材盡可能體現(xiàn)高等師范院校的培養(yǎng)目標(biāo)、辦學(xué)特點(diǎn)，注重?cái)?shù)學(xué)建模思想的敘述，注意與中學(xué)教學(xué)實(shí)際的聯(lián)系�！稊�(shù)學(xué)建模簡明教程》通過實(shí)例介紹數(shù)學(xué)建模的主要方法和建模技巧，注重解決實(shí)際問題時(shí)數(shù)學(xué)建模的分析過程，著力培養(yǎng)學(xué)生的科學(xué)思

集合論近年來發(fā)展迅速，特別是迫力法、內(nèi)模型、大基數(shù)和描述集合論的發(fā)展尤為突出。本書是一本經(jīng)典圖書，內(nèi)容囊括了集合論的各個(gè)分支。全書分為三部分：第一部分綜述了集合論中基本的公理、概念和模型，第二部分深入介紹集合論高等問題，第三部分是集合論的專題介紹。本書各章有習(xí)題，即是一部教科書，也是從事數(shù)理邏輯和集合論等領(lǐng)域研究人員的

本書是教育科學(xué)“十五”國家規(guī)劃課題研究成果，著重訓(xùn)練學(xué)生運(yùn)用數(shù)學(xué)知識(shí)建立數(shù)學(xué)模型、解決實(shí)際問題的技能技巧，本書內(nèi)容為：數(shù)學(xué)建模概論、初等模型、微分方程建模、優(yōu)化模型、線性代數(shù)建模、離散模型、對(duì)策與決策模型、邏輯建模、隨機(jī)模型。�ケ緯�可供培養(yǎng)應(yīng)用型人才的高等學(xué)校理工類學(xué)生選用，也可作為數(shù)學(xué)建模競(jìng)賽培訓(xùn)的教材。