朱道元編著的《研究生數(shù)學建模精品案例》精選了全國研究生數(shù)學建模競賽的若干賽題，總結并發(fā)展了相應的優(yōu)秀論文及命題人的綜述。全書共分12章，內(nèi)容包括從研究生數(shù)學建模角度看創(chuàng)造性及創(chuàng)造性培養(yǎng)、吸波材料與微波暗室問題的數(shù)學建模、基于光的波粒二象性一種猜想的數(shù)學仿真、汶川地震中唐家山堰塞湖泄洪問題、特殊工件磨削加工的數(shù)學建模、空
《信息科學與技術基礎叢書·數(shù)理邏輯：基本原理與形式演算（第二版）》的內(nèi)容共分十章，系統(tǒng)介紹數(shù)理邏輯的基本原理與形式演算。前五章涵蓋了經(jīng)典數(shù)理邏輯的核心內(nèi)容，包括一階語言的語法與模型，形式推理系統(tǒng)，可計算性與可表示性，哥德爾定理。后五章的內(nèi)容是作者的研究成果。這部分內(nèi)容包括：版本序列及其極限理論、修正演算系統(tǒng)、過程模式理
本書系統(tǒng)地介紹了數(shù)學建模的基本方法，并通過各類典型實例展示了數(shù)學建模解決實際問題的基本過程。主要內(nèi)容包括：數(shù)學建模概述、初等模型、微分方程模型、概率與隨機模型、統(tǒng)計分析模型、數(shù)學規(guī)劃模型、圖與網(wǎng)絡模型、其他模型。方法講解按照由淺入深、由簡到繁的原則，適合大學本科低年級在數(shù)學建模課程中使用；問題介紹按照由熟悉到陌生、由基
《北京工業(yè)大學研究生創(chuàng)新教育系列教材：數(shù)學建�；A（第2版）》深入淺出地介紹了與數(shù)學建�；A有關的內(nèi)容，其重點放在微分方程模型、運籌學模型和數(shù)理統(tǒng)計模型方面，著重講述建模的基本思想和模型求解的基本方法，以及運用數(shù)學軟件求解數(shù)學問題。其內(nèi)容包括數(shù)學建模入門、微分方程模型、線性規(guī)劃模型、動態(tài)規(guī)劃模型、最優(yōu)化模型、圖論與網(wǎng)絡
《普通高等教育“十二五”規(guī)劃教材：數(shù)學建�！方Y合黑龍江科技學院人才培養(yǎng)和專業(yè)課程建設的總體要求，既注重學生基本能力的訓練，同時又結合學生的專業(yè)實際，介紹體現(xiàn)專業(yè)特點的數(shù)學模型供不同專業(yè)進行選擇、介紹體現(xiàn)素質(zhì)能力的綜合模型，注重培養(yǎng)學生的科技寫作和講演能力。教材結構安排如下：第一章數(shù)學模型概論（1學時）；第二章初等模型（
《數(shù)學建模及其實驗》主要是根據(jù)“數(shù)學建�！闭n程的教學和“大學生數(shù)學建模競賽”培訓活動的實際需要，以及編者多年從事教學和培訓工作的實踐經(jīng)驗與體會編寫而成的�？紤]到課堂教學的特點和建模實驗在整個建模過程中的重要性，《數(shù)學建模及其實驗》在內(nèi)容上體現(xiàn)了少而精和建模實驗的實踐性，目的是通過完整的建模過程訓練，提高學生的建模能力和
全書較系統(tǒng)地講述了各種三值邏輯、n值邏輯以及連續(xù)值邏輯理論；為模糊命題演算建立了一套形式演繹系統(tǒng)；把模糊推理納入了嚴格的邏輯軌道；從整體賦值出發(fā)，建立了積分語義學理論，為近似推理提供了一種可能的框架；系統(tǒng)論述了Pavelka邏輯并扼要論述了抽象邏輯。
本書從數(shù)理邏輯模型論的基本知識開始，介紹近年來在穩(wěn)定性和單純性理論中出現(xiàn)的新成果、新方法，并提供了相關練習。
本書共六部分，分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式系統(tǒng)，并研究自然推理系統(tǒng)和重言式系統(tǒng)的關系。第四章研究邏輯演算的可靠性和完備性問題。笫五章討論了邏輯演箅如何應用于陳述具體的數(shù)學理論，并且研究了在數(shù)學中引進定義的形式化問題。附錄(一)陳述帶量詞的命題邏輯；附錄(二)定義了斜形證明，
本書共六部分，分上、下兩冊.上冊包括緒論、第一章和第二章.緒論對數(shù)理邏輯的性質(zhì)，邏輯演算的大概內(nèi)容.以及閱讀以后各章所需要的預備知識作了簡要的說明.第一章構造命題邏輯和一階邏輯的形式系統(tǒng)，介紹演繹邏輯的基本規(guī)則.第二章研究邏輯演算的重要系統(tǒng)特征
書單推薦
