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

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

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

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

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

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