翻訳と辞書
Words near each other
・ チャーチ・オブ・ミザリー
・ チャーチ・オルガン
・ チャーチ・オン・ヨーク
・ チャーチ・スクエア (プレトリア)
・ チャーチ・ストリート
・ チャーチ・ストリート (マンハッタン)
・ チャーチ・ストリート・トラム駅
・ チャーチ・チューリングのテーゼ
・ チャーチ・チューリングの提唱
・ チャーチ・モード
・
チャーチ・ロッサーの定理
・ チャーチ=チューリングのテーゼ
・ チャーチ=チューリングの提唱
・ チャーティス
・ チャーティスト運動
・ チャーティス・ファー・イースト・ホールディングス
・ チャーティズム
・ チャート
・ チャート (トポロジー)
・ チャート (位相幾何学)
Dictionary Lists
mini英和辞書
mini和英辞書
Webster 1913
Latin-English
FOLDOC
Wikipedia English
ウィキペディア
翻訳と辞書 辞書検索
[ 開発暫定版 ]
スポンサード リンク
チャーチ・ロッサーの定理 : ウィキペディア日本語版
チャーチ・ロッサーの定理[ちゃーちろっさーのていり]
チャーチ・ロッサーの定理
は、同じ
ラムダ式
から始まる二個の異なる簡約がある場合、それぞれの簡約から一連の簡約を行うことで到達可能な式があることを述べる定理である。詳しくは
合流性
を参照。
抄文引用元・出典: フリー百科事典『
ウィキペディア(Wikipedia)
』
■
ウィキペディアで
「チャーチ・ロッサーの定理」
の詳細全文を読む
スポンサード リンク
翻訳と辞書
:
翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.