APP 研究數(shù)學證明的理論。數(shù)理邏輯的分支學科。它以數(shù)學的無矛盾性和判定問題等為研究對象。數(shù)學的無矛盾性是關(guān)于數(shù)學基礎(chǔ)的研究,而判定問題不僅本身較前者研究的內(nèi)容更為廣泛,而且與算法和計算機科學也緊密地聯(lián)系在一起。證 （本文共 466 字 ） [閱讀本文] >>
海量資源，盡在掌握
研究數(shù)學證明的理論。數(shù)理邏輯的分支學科。它以數(shù)學的無矛盾性和判定問題等為研究對象。數(shù)學的無矛盾性是關(guān)于數(shù)學基礎(chǔ)的研究,而判定問題不僅本身較前者研究的內(nèi)容更為廣泛,而且與算法和計算機科學也緊密地聯(lián)系在一起。證 （本文共 466 字 ） [閱讀本文] >>
說明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請點擊申訴舉報
