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