「ハイティング代数」を解説文に含む見出し語の検索結果(1～10/90件中)
ナビゲーションに移動検索に移動数学におけるハイティング代数（ハイティングだいすう、英: Heyting algebra）とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した...
ナビゲーションに移動検索に移動数学におけるハイティング代数（ハイティングだいすう、英: Heyting algebra）とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した...
ナビゲーションに移動検索に移動数学におけるハイティング代数（ハイティングだいすう、英: Heyting algebra）とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:07 UTC 版)「直観主義論理」の記事における「中間論理との関係」の解説任意の有限ハイティング代数でブー...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/10 07:19 UTC 版)「ストーン双対性」の記事における「空間的完備ハイティング代数」の解説ストーン双対性の定式...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 03:30 UTC 版)「多値論理」の記事における「古典論理、直観主義論理との関連」の解説古典論理は真理値集合を...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/17 09:58 UTC 版)「束 (束論)」の記事における「補元と擬補元」の解説L が最大元 1 と最小元 0 を持...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:07 UTC 版)「直観主義論理」の記事における「ハイティング代数意味論」の解説古典論理において、我々はし...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:07 UTC 版)「直観主義論理」の記事における「多値論理との関係」の解説クルト・ゲーデルは1932年に直...
ストーンの双対性定理（ストーンのそうついせいていり）とは数学における定理で、（非常に弱いある種の制限を満たす）位相空間がある種の性質を満たす束と自然に対応づけられる事を意味し、この対応づけをストーン双...
< 前の結果 | 次の結果 >