邏輯系統
邏輯系統
相關文章 : 1篇
瀏覽 : 10次
可判定邏輯系統(decidable logic system)具有能行判定算法的邏輯系統一個邏輯系統S是可判定的,是指存在一個能行的算法,使得該算法能夠判定S中的任何公式是否可證.若使用哥德爾編碼,則可以得到更為精確的描述。

推薦產品
列表欄目