翻訳と辞書 Words near each other ・ カット・デニングス ・ カット・ファストボール ・ カット・ファスト・ボール ・ カット・ペースト ・ カット・ミー・サム・スラック ・ カット・ルース ・ カットーリカ ・ カットーリカ・エラクレーア ・ カット主戦型 ・ カット盤 ・ カット規則 ・ カット除去定理 ・ カッドゥシ ・ カッバーラー ・ カッパ ・ カッパ(κ) ・ カッパ(κ)鎖 ・ カッパ(κ)鎖免疫グロブリン ・ カッパの三平 ・ カッパの飼い方 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク カット規則 ： ミニ英和和英辞書 カット規則[きそく] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 規則 ： [きそく] 　【名詞】 1. rules　2. regulations　3. conventions　 カット規則 （ リダイレクト：シークエント計算 ） ： ウィキペディア日本語版 シークエント計算[しーくえんとけいさん] シークエント計算（シークエントけいさん、）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので、LK と呼んで区別することがある。また類似の手法も含め、総称してゲンツェン・システムとも呼ばれる。 シークエント計算とその概念全般は証明論や数理論理学において重要な意味を持つ。以下では LK について解説する。 == LK == シークエント計算ではシークエントの列で証明が記述され、各シークエントは証明過程で既に出現したシークエントに後述する推論規則を適用することで導出される（シークエントとは、命題群の論理積を前提とし、別の命題群の論理和を帰結とする論理的帰結関係を表す論理式の並びである）。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「シークエント計算」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Sequent calculus 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.