論理演算 - Wikipedia
論理演算（ろんりえんざん、logical operation）は、論理式において、論理演算子などで表現される論理関数（ブール関数）を評価し（正確には、関数適用を評価し[1]）、変数（変項）さらには論理式全体の値を求める演算である。 非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合（真理値集合）と演算（演算子）はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、証明論的には、公理と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。 演算の種類[編集] ここでは1出
数学のセミナーの板書における省略記法一覧 - iso.2022.jp
数学のセミナーの板書においては，手間を省くためにしばしば省略記法が使われます． ここでは今までに私が見かけたものを一覧で掲載しています． もちろん全てを網羅しているわけではなく，だいたい次のような基準で掲載しています． 使用頻度の高いものや非自明なものであって，書籍等には載っていないものを掲載する． 逆に，使用頻度の低いものや自明と思われるもの，多くの書籍に載っているものは掲載しない． したがって，たとえば「単項イデアル整域をPIDと略す」といった，たいていの書籍に載っているものは省いてあります． 略し方は人によってまちまちなので，ここに書いてある略記法がどこでも通じるというわけではありません． また，このような略記法を多用すると読みづらくなるので，使用はほどほどにしましょう． Wikipediaの記事も参考にしてください．
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
