APP 研究形式語言及其解釋(模型)之間的關系的理論。數理邏輯的分支學科。模型論中的概念與方法,主要來源于數理邏輯,也有不少來源于代數,特別是與泛代數的理論聯系很密切;此外,由魯賓孫(A.Robinson,1918～1974)所創始的非標準分析,則是 （本文共 561 字 ） [閱讀本文] >>
海量資源，盡在掌握
研究形式語言及其解釋(模型)之間的關系的理論。數理邏輯的分支學科。模型論中的概念與方法,主要來源于數理邏輯,也有不少來源于代數,特別是與泛代數的理論聯系很密切;此外,由魯賓孫(A.Robinson,1918～1974)所創始的非標準分析,則是 （本文共 561 字 ） [閱讀本文] >>
開通會員，享受整站包年服務
說明： 本文檔由創作者上傳發布，版權歸屬創作者。若內容存在侵權，請點擊申訴舉報