本書在H.M.Sheffer和張清宇先生等人工作的基礎上,提出了一種創新型的邏輯符號表示法——中國表示法。在其中僅僅使用一對括號,就可以在一個公式中同時表示出所有的命題聯結詞、量詞、模態詞和時態詞等邏輯常項,由此可以極大地簡化構建邏輯系統所需的初始聯結詞。本書闡述了中國表示法區別于其他表示法的整體性特征,證明了中國表示法的結構唯一性及其強大的表達功能,基于中國表示法探究了若干邏輯基礎問題,獲得了若干創新性成果。
本書是Fred等三個美國流行病學模型專家、數學家合著的Mathematical Models in Epidemiology一書的中譯本。內容分流行病學的基本概念(包括各種類型的倉室模型、地方病模型、流行病模型、異質混合模型、媒介傳播的疾病模型),特殊疾病的模型(包括結核病模型、艾滋病病毒/艾滋。℉IV/AIDS)模型、流感模型、埃博拉模型、瘧疾模型、登革熱模型與寨卡病毒模型),進一步概念(包括年齡結構和空間結構的疾病傳播模型等)和展望未來四個部分,另加三個附錄。
本書介紹了驗證、確認和不確定度量化的定義、研究范疇和主要方法途徑。并對不確定度和誤差中的重要內容進行了具體討論,歸納了誤差和不確定度的來源。從代碼驗證和解驗證以及近似計算模型的代理模型方法,討論了輸入不確定性通過計算模型的傳播問題,以及相應敏感性分析內容。從而進一步對模型確認和預測相關的一系列問題展開介紹。
《MATLAB數學建模方法與應用》主要介紹常用數學建模方法及其MATLAB實現與應用,內容包括MATLAB數組運算、程序設計、繪圖、數據管理、符號計算、數值計算、多項式與插值擬合、常用統計及優化建模方法與MATLAB求解、人工神經網絡方法、排隊論方法、以層次分析法和模糊評價法為代表的多指標綜合評價方法、MATLAB圖像處理基礎、Simulink建模與仿真、全國大學生數學建模競賽真題解析等內容。同時,為便于學習,本書免費提供配套的所有數據及源程序。《MATLAB數學建模方法與應用》可以作為
本書利用數學建模方法討論了人類社會和自然界中的33個話題,既包括對經典話題的全新闡釋,也包含對若干全新話題的原創研磨,不僅解答了大眾對于數學的最常見疑問:“數學有什么用?”更是以高中知識為主要工具、以數學建模為主要載體、以中學生能夠理解的方式,展現了數學研究的基本過程和思維方式。33個話題充分體現了數學與生活的密切聯系,講解了數學建模如何有效地解決跨學科問題,如何為生活中的現實需求建立合理有效的模型,如何在設計制造、生物醫學、機器學習,甚至在解決社會問題方面大顯身手。作者力求將抽象且嚴密的數學闡