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

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

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

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

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

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