翻訳と辞書 Words near each other ・ 分析化学 ・ 分析哲学 ・ 分析学 ・ 分析心理学 ・ 分析手法 ・ 分析法バリデーション ・ 分析法学 ・ 分析法学派 ・ 分析用超遠心機 ・ 分析疫学 ・ 分析的タブロー法 ・ 分析的マルクス主義 ・ 分析的教育哲学 ・ 分析的教育学 ・ 分析的言語 ・ 分析種 ・ 分析線 ・ 分析線対 ・ 分析表 ・ 分析装置 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 分析的タブロー法 ： ウィキペディア日本語版 タブローの方法[たぶろーのほうほう] タブローの方法(英 tableau〔複数形はtableaux、もしくはtableaus。「タブローズ」と発音する。〕 method)とは、真理の木(truth tree)あるいは意味論的タブロー(semantic tableau)または分析タブロー(analytic tableau)と呼ばれるものを用いて、論証の妥当性や、論理式が矛盾しているかやトートロジーであるかを機械的に調べる判定手続き(decision procedure)の一種である。ヤーッコ・ヒンティッカらのモデル集合という考え方を応用して作られ、レイモンド・スマリヤンによって広められた。 ==方法== ==信頼性== タブローの方法は上記に示したような適切な規則を与えた場合、得られる結果は信頼できる。つまり常に正しい。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「タブローの方法」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Method of analytic tableaux 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.