翻訳と辞書 |
Decidability : ウィキペディア英語版 | Decidability
The word ''decidable'' may refer to: * Decidable language *Decidability (logic) for the equivalent in mathematical logic *Gödel's incompleteness theorem, a theorem on the indecidability of languages consisting of "true statements" in mathematical logic. * Recursive set, a "decidable set" in recursion theory ==See also==
* Decision problem * List of undecidable problems * Decision (disambiguation) * Decide (disambiguation)
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Decidability」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|