APP 研究形式語(yǔ)言及其解釋(模型)之間的關(guān)系的理論。數(shù)理邏輯的分支學(xué)科。模型論中的概念與方法,主要來(lái)源于數(shù)理邏輯,也有不少來(lái)源于代數(shù),特別是與泛代數(shù)的理論聯(lián)系很密切;此外,由魯賓孫(A.Robinson,1918～1974)所創(chuàng)始的非標(biāo)準(zhǔn)分析,則是 （本文共 561 字 ） [閱讀本文] >>
海量資源，盡在掌握
研究形式語(yǔ)言及其解釋(模型)之間的關(guān)系的理論。數(shù)理邏輯的分支學(xué)科。模型論中的概念與方法,主要來(lái)源于數(shù)理邏輯,也有不少來(lái)源于代數(shù),特別是與泛代數(shù)的理論聯(lián)系很密切;此外,由魯賓孫(A.Robinson,1918～1974)所創(chuàng)始的非標(biāo)準(zhǔn)分析,則是 （本文共 561 字 ） [閱讀本文] >>
說(shuō)明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請(qǐng)點(diǎn)擊申訴舉報(bào)
