Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
ブール値関数(ブールちかんすう、英: Boolean-valued function)は、述語や命題の一種の総称であり、f : X → B という形式の関数として表される。ここで、X は任意の集合であり、B はブール領域である。 ブール領域 B とは、2つの元からなる集合であり、B = {0, 1}
ブール代数(ブールだいすう、英: boolean algebra)またはブール束(ブールそく、英: boolean lattice)とは、ジョージ・ブールが19世紀中頃に考案した代数系の一つである。ブール代数の研究は束の理論が築かれるひとつの契機ともなった。ブール論理の演算はブール
ジョージ・ブール(George Boole, 1815年11月2日 - 1864年12月8日)は、イギリスの数学者・哲学者。多くの実績があるが、コンピュータ科学の分野の基礎的な理論のひとつであるブール代数(ブール論理)が現代では広く知られている。 ジョージ・ブールの父であるジョン(John
本項目では、集合代数を用いて、集合、ブール演算、ベン図、真理値表などの基本的解説とブール論理の応用について解説する。ブール代数の記事ではブール論理の公理を満足する代数的構造の型を説明している。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。
ことが示せるからこれは集合環である。 集合 X の部分集合全体の成すブール代数(冪集合代数)は、対称差を加法(単位元は空集合 ∅)とし交叉を乗法(単位元は全体集合 X)とするブール環の構造を与えることを思い出そう。この構造に対して、X 上の集合環は、加法に関して部分群で乗法に関して閉じているから、擬環構造に対する部分構造を与えている。X
また、各種ブール演算を行うことができ、論理積 (AND、&、*)、論理和 (OR、|、+)、排他的論理和 (XOR、NEQV、^)、同値 (EQV、=、==)、非同値 (NEQV、<>、!=)、否定 (NOT、~、!) などの操作が可能である。これらの演算はブール代数の演算に対応している。 Ada
デ・ブール(De Boer)は、オランダ系の姓。オランダ語で「農民」を意味する単語、"boer" に由来する。 フランク・デ・ブール - サッカーオランダ代表のディフェンダー。 ロナルド・デ・ブール - サッカーオランダ代表のミッドフィルダー、フォワード。フランクの双子の弟。 マオド・ド・ブーア=ブキッキオ
ルジュからの求婚を断ったことを後悔している。しかし家庭生活は円満で、セルジュはバーキンの連れ子ケイト・バリーを我が子のように育て、1971年には2人の間に娘のシャルロット・ゲンズブールが生まれた。以後セルジュはバーキンのために多数の曲を作る。デュエット曲には「ジュ