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

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

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

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

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

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

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

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

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

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