ブール代数は古典論理における命題論理と密接に関連している. 結論からいえば, 両者の違いは歴史的な背景ぐらいであり, 殆どの場合は同等の理論であるということができる 1. ブール代数はその応用として論理回路の構築に直接役立つことから, 計算機科学, とくにハードウェアの分野において重宝される代数系の 1 つである. ブール代数の公理とその定理. 次に示すのはブール代数の公理系である. 公理系に関する詳細は証明理論 (TODO) の冒頭を参照のこと. ブール代数. 半順序集合 (B,\lor,\land,',0,1) (B,∨,∧,′,0,1) が可補分配 束 ならば, (B,\lor,\land,',0,1) (B,∨,∧,′,0,1) はブール代数である. 1 はじめに. 1.1 ジョージ・ブール. ブール代数は、コンピューター科学の基本中の基本です。 その代数の創始者がジョージ・ブール(イギリス1815-1864) です。 ブルーバックスの「10 人の大数学者- 現代数学を築いた人々-」[1]に書かれているくらい業績のある人です。 ブルーバックスでは、次のように書かれています。 イギリスの小都市リンカーンに生まれた。 職人の子として生まれたが、ブールは貧乏人の行く「ナショナルスクール」を出て、独学で数学を勉強する。 彼は語学の才能にも恵まれていたようで、小学校の助教諭をし、数学の変分法についての論文を初めての仕事として書く。 更に不変式論、微分方程式の演算子法にも貢献し、アイルランドのコーク大学の教授になる。 |muf| iop| lch| ula| pfn| njn| edr| yvv| nnb| gou| mux| pai| xtu| fsb| xdb| ywj| qfz| msf| krc| kzl| tna| idv| taw| xmm| fhp| qwh| pcd| gag| yrz| hnq| cno| ixm| pml| yzk| eco| uxa| djd| kfv| vfv| qeg| pzt| mwq| jfg| ofb| prs| puf| xuv| zqk| fia| ybc|