出版社内容情報
【解説】
コンピュータ設計における基礎理論であるブール代数について,最新の研究分野も含めて解説した。
【目次】
半順序集合と束・ブール代数・ストーンの双対理論・分配性と表現可能性・直積と補積,連鎖条件・測度ブール代数他
目次
第1章 半順序集合と束
第2章 ブール代数
第3章 部分ブール代数、準同型写像、フィルターとイデアル
第4章 ストーンの双対理論
第5章 超原子的ブール代数、可算ブール代数
第6章 分配性と表現可能性
第7章 直積と補積、速鎖条件
第8章 バルツァー・フラネックの定理
第9章 測度ブール代数