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