發(fā)布時(shí)間：2024-05-20 22:26

　　自然界、人類社會(huì)和認(rèn)知領(lǐng)域中普遍存在可擴(kuò)展的類。它有兩種存在形式:潛無(wú)窮序列,以及有窮開(kāi)放類。后者是成員可擴(kuò)展的類,這種擴(kuò)展或開(kāi)放的過(guò)程不能無(wú)限制地進(jìn)行下去,且無(wú)法給定過(guò)程的終點(diǎn)。進(jìn)一步,開(kāi)放過(guò)程具有不同的分層和階段,而其生成的類成員以及用于生成類成員的算子也歸屬于不同層次和不同的階段。本文主要采用類型論的方法,描述有窮開(kāi)放過(guò)程及其產(chǎn)物有窮開(kāi)放類,給出了用于描述有窮開(kāi)放類的分層和分階段屬性的開(kāi)放類型系統(tǒng)。

【文章頁(yè)數(shù)】：24 頁(yè)


本文編號(hào)：3979211