APP 研究謂詞命題和這類命題之間推理關(guān)系的科學(xué)。又稱一階邏輯,數(shù)理邏輯的分支學(xué)科。謂詞邏輯以數(shù)學(xué)命題、數(shù)學(xué)理論的形式化及謂詞推理為研究對象。在程序的正確性證明、數(shù)學(xué)定理的機(jī)器證明以及智能機(jī)的語言(prolog)等方面都有 （本文共 714 字 ） [閱讀本文] >>
海量資源，盡在掌握
研究謂詞命題和這類命題之間推理關(guān)系的科學(xué)。又稱一階邏輯,數(shù)理邏輯的分支學(xué)科。謂詞邏輯以數(shù)學(xué)命題、數(shù)學(xué)理論的形式化及謂詞推理為研究對象。在程序的正確性證明、數(shù)學(xué)定理的機(jī)器證明以及智能機(jī)的語言(prolog)等方面都有 （本文共 714 字 ） [閱讀本文] >>
說明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請點(diǎn)擊申訴舉報(bào)
