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

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

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

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

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

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

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

本書(shū)是數(shù)學(xué)模型課程的教材。重點(diǎn)闡述：（1）如何從具體事物抽象出數(shù)學(xué)概念，有了解這種抽象只是一種近似，只反映具體事物的某些特性；（2）如何從復(fù)雜的實(shí)際問(wèn)題中尋找最重要的因素；（3）如何既注意思考的邏輯性、嚴(yán)密性，又緊密結(jié)合實(shí)際情況；（4）如何將所得結(jié)果應(yīng)用與實(shí)踐、通過(guò)實(shí)踐進(jìn)一步改進(jìn)模型。本書(shū)采取案例教學(xué)的形式，內(nèi)容有數(shù)學(xué)

本書(shū)從系統(tǒng)模型構(gòu)建與算法設(shè)計(jì)相結(jié)合的角度，闡述系統(tǒng)建模的基本原理和方法，介紹了主要的應(yīng)用數(shù)學(xué)模型及其算法設(shè)計(jì)的基本方法等。

數(shù)理邏輯與集合論是離散數(shù)學(xué)的主要組成部分，是計(jì)算機(jī)科學(xué)的數(shù)學(xué)基礎(chǔ)�！肚迦A大學(xué)計(jì)算機(jī)系列教材：數(shù)理邏輯與集合論（第2版）》共12章，前8章介紹數(shù)理邏輯，包括命題和謂詞邏輯的基本概念、等值和推理演算、公理系統(tǒng)、模型論和證明論，后4章介紹集合論，包括集合、關(guān)系、函數(shù)、實(shí)數(shù)集與基數(shù)�！肚迦A大學(xué)計(jì)算機(jī)系列教材：數(shù)理邏輯與集合論（