查詢結果分析
來源資料
頁籤選單縮合
題 名 | Logical and Computational Problems of Arithmetical Sentences=算術句型之邏輯與計算問題 |
---|---|
作 者 | 董世平; | 書刊名 | 中原學報 |
卷 期 | 26:1 1998.02[民87.02] |
頁 次 | 頁1-6 |
分類號 | 310.12 |
關鍵詞 | 算術句型; 可決定性; 可定義性; 計算繁度; Arithmetical sentences; Decidability; Definability; Computational complexity; |
語 文 | 英文(English) |
中文摘要 | 本文是對算術句型中的邏輯問題做一綜覽,特別是算術句型的可定義性與可決定 性。對具可決定性的算術句型,我們並給出了其計算繁度的上界與下界。 |
英文摘要 | In this article, we make a survey on the logical problem of arithmatical sentences, definability and decidability, in paticular. For the decidable cases of arithmatical sentences, we give the upper and lower bounds of their computational complexity. |
本系統中英文摘要資訊取自各篇刊載內容。