翻訳と辞書 Words near each other ・ 決定!全国47都道府県超ランキングバトル!! ・ 決定!全国47都道府県超ランキングバトル!!出身県で性格診断!?ニッポン県民性発表SP ・ 決定!全日本歌謡選抜 ・ 決定!土曜特集 ・ 決定!土曜特集・オレたちひょうきん族 ・ 決定(因)子、決定基、決定群 ・ 決定、定量 ・ 決定これが日本のベスト100 ・ 決定の本質 ・ 決定係数 ・ 決定可能 ・ 決定可能性 ・ 決定問題 ・ 決定器官 ・ 決定器官、決定臓器(問題となる臓器) ・ 決定因子 ・ 決定基 ・ 決定子 ・ 決定性アルゴリズム ・ 決定性公理 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 決定可能 ： ウィキペディア日本語版 決定可能性[けっていかのう] 決定可能（けっていかのう、）は、論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定可能性（けっていかのうせい、）は、そのような属性を指す。命題論理のような形式体系は、論理的に妥当な論理式（または定理）の集合のメンバーシップを実効的に決定できるなら、決定可能である。ある決まった論理体系における理論（論理的帰結で閉じている論理式の集合）は、任意の論理式がその理論に含まれるか否かを決定する実効的方法があれば、決定可能である。 == 計算可能性との関係 == 決定可能集合の概念と同様、決定可能な理論や論理体系の定義は、「実効的方法 (effective method)」や「計算可能関数 (computable function)」によって与えられる。これらは一般にチャーチ＝チューリングのテーゼと等しいと見なされている。実際、論理体系や理論が決定不能であるという証明は、計算可能性の形式定義を使い、ある適当な集合が決定可能集合ではないことを示し、チャーチのテーゼを使って、その理論や論理体系が実効的方法では決定可能でないことを示す。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「決定可能性」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Decidability (logic) 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.