本書主要涉及Calabi-Yau三角范疇中扭對(duì)分類的發(fā)展研究,涵蓋了有限的2-CY三角范疇、叢范疇、高階叢范疇和無(wú)窮叢范疇中的(余)扭對(duì)的分類及其應(yīng)用,有限的2-CY三角范疇是只含有限多個(gè)不可分解對(duì)象并且?guī)в袠O大剛性對(duì)象的2-CY三角范。叢范疇和高階叢范疇包括A型和D型,無(wú)窮叢范疇包括A型、A型、包含n個(gè)極限點(diǎn)的A型和
本書內(nèi)容主要分為三個(gè)部分:第一部分介紹了有關(guān)的創(chuàng)新理論與方法,結(jié)合工程問(wèn)題引導(dǎo)學(xué)習(xí)者掌握科學(xué)地發(fā)現(xiàn)問(wèn)題、分析問(wèn)題和解決問(wèn)題的基本方法;第二部分是數(shù)學(xué)建模與數(shù)學(xué)案例;第三部分是相關(guān)的數(shù)學(xué)實(shí)驗(yàn)、數(shù)學(xué)建模訓(xùn)練題。
本書從數(shù)學(xué)建模的基礎(chǔ)認(rèn)知出發(fā),對(duì)數(shù)學(xué)建模的作用與地位等相關(guān)內(nèi)容進(jìn)行詳細(xì)的闡述,接著對(duì)數(shù)學(xué)建模的基礎(chǔ)進(jìn)行探索與研究,并分析了數(shù)學(xué)建模中常用的方法,如類比分析法、數(shù)據(jù)處理法、層次分析法、主成分分析法等,接著闡述了非線性規(guī)劃方法與應(yīng)用、線性規(guī)劃方法與應(yīng)用、圖論方法及應(yīng)用、神經(jīng)網(wǎng)絡(luò)方法及應(yīng)用等進(jìn)行系統(tǒng)詳細(xì)的總結(jié)與分析,最后對(duì)綜
本書內(nèi)容包括:引言、命題邏輯的語(yǔ)言和語(yǔ)義、真值樹、自然演繹推理系統(tǒng)、命題邏輯的完全性。
本書分為四個(gè)部分:第一部分介紹了基本概念和ZU的公理;第二部分討論了如何由此引出自然數(shù)、實(shí)數(shù)、線等概念;第三部分的主題是基數(shù)和序數(shù);第四部分主要討論了選擇公理和連續(xù)統(tǒng)假設(shè)。本書不僅由淺入深地呈現(xiàn)了集合論領(lǐng)域的技術(shù)手段和證明結(jié)論,還論述了這些工作背后的哲學(xué)動(dòng)機(jī),可以讓讀者了解那些貌似繁雜冗長(zhǎng)的技術(shù)細(xì)節(jié)背后的哲學(xué)思考。
本書圍繞具體的優(yōu)化實(shí)際問(wèn)題案例,集中探討利用MATLAB、Lingo,Gurobi和Yalmip等軟件和工具箱來(lái)編寫合格的數(shù)學(xué)模型代碼。MATLAB自R2017b增加了問(wèn)題式優(yōu)化建模流程,這是MATLAB構(gòu)造和求解優(yōu)化模型的里程碑式調(diào)整,到本書截稿的R2022b版本,問(wèn)題式建模流程每次版本更替都有新增功能和變化。鑒于目
本書闡述數(shù)學(xué)建模的常用理論和方法,主要內(nèi)容包括數(shù)學(xué)建模入門、數(shù)學(xué)軟件入門、線性規(guī)劃、微分方程與差分方程、多元統(tǒng)計(jì)分析、綜合評(píng)價(jià)方法、非線性規(guī)劃、圖論、插值和擬合、智能算法、機(jī)器學(xué)習(xí)方法等。
《從數(shù)學(xué)到哲學(xué)》是數(shù)理邏輯學(xué)家王浩的代表作之一。作者通過(guò)對(duì)數(shù)、連續(xù)統(tǒng)、集合、證明和機(jī)械程序等數(shù)學(xué)概念的探討,提供了一個(gè)數(shù)學(xué)哲學(xué)的導(dǎo)論和對(duì)當(dāng)時(shí)流行的學(xué)院哲學(xué)的一個(gè)內(nèi)在批評(píng)。書稿中所呈現(xiàn)的材料,同時(shí)也是對(duì)一種新的、更一般的研究進(jìn)路的例示。此進(jìn)路就是所謂的實(shí)質(zhì)事實(shí)主義,它主張?jiān)谡軐W(xué)研究中應(yīng)當(dāng)充分尊重人類已有的知識(shí),特別是那些
本書介紹了二層模型及其擬合方法,包括數(shù)據(jù)準(zhǔn)備、模型估計(jì)、模型解釋、假設(shè)檢驗(yàn)、模型假設(shè)條件檢驗(yàn)及中心化,并介紹了多層次模型的擴(kuò)展應(yīng)用,包括對(duì)非連續(xù)型因變量和非正態(tài)分布型因變量的處理以及使用多層次方法分析縱向數(shù)據(jù)和構(gòu)建三層模型的方法。