翻訳と辞書
Words near each other
・ ハイチ系アメリカ人
・ ハイチ系カナダ人
・ ハイチ語
・ ハイチ語版ウィキペディア
・ ハイチ軍
・ ハイチ陸軍
・ ハイチ革命
・ ハイッ!ハイッ!ハイッ!ハイッ!
・ ハイティ
・ ハイティンク
ハイティング代数
・ ハイティンハ
・ ハイティー
・ ハイティーン
・ ハイティーンブギ
・ ハイティーン・ブギ
・ ハイティーン・ブギ (映画)
・ ハイティーン・ブギ (曲)
・ ハイテイ
・ ハイテク


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

ハイティング代数 : ミニ英和和英辞書
ハイティング代数[はいてぃんぐだいすう]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [よ, しろ]
 【名詞】 1. world 2. society 3. age 4. generation 
代数 : [だいすう]
 (n) algebra
: [すう, かず]
  1. (n,n-suf) number 2. figure 

ハイティング代数 : ウィキペディア日本語版
ハイティング代数[はいてぃんぐだいすう]
数学におけるハイティング代数(ハイティングだいすう、)とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した性質を満たす半順序集合の一種である。必ずしも排中律が成り立たない直観論理のモデルとして提唱された。ハイティング代数のさらに特別な場合である完備ハイティング代数はの理論の定式化にも用いられる。
== 関連項目 ==

*直観論理
*ブール代数
*ブラウワー代数
*束論
*ストーン双対性



抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ハイティング代数」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.