情報数学 I

第九回 (2009年12月 4日)

半順序からブール代数へ

Martin J. Dürst

http://www.sw.it.aoyama.ac.jp/2009/Math1/lecture9.html

AGU

© 2005-09 Martin J. Dürst 青山学院大学

今日の予定

前回のまとめ

代数系

(algebraic system)

代数系の例: 群

(group)

演算は二項演算「∘」一つ。公理:

例: (Z; +), (R-{0}; ×), 置換群 (permutation group)

置換群

代数の例

ブール代数

(boolean algebra)

ブール代数の例 (1): 集合演算

ビット毎演算

ブール代数の例 (2): ビット毎論理演算

ブール代数の例 (3)

有限ブール代数の構造

ブール代数の同型