语言
没有数据
通知
无通知
演算（演算子）はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、証明論的には、公理と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。
ド回路」を備えるものもある。負の数の表現に2の補数を使っているのであれば、減算は2の補数を加算することで実現出来る。回路規模が大きくなってもわずかでも高速化したい場合、減算に対応するための論理反転の追加（XORを1段または、NOTを1段とセレクタを1段）を避け、専用の減算回路
論理演算子（ろんりえんざんし、英: logical operator）は、コンピュータ・プログラミングや命題論理等における論理演算の演算子の総称である。 多くのプログラミング言語では、論理積と論理和および否定のための演算子が用意されている。 C言語やその影響を受けた構文を持つ言語では、論理積の演算子に
計算理論（けいさんりろん、Theory Of Computation）または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算（Computation）とは、数学的に表現できる、あらゆる種類の情報処理のこと。
計算すること。 運算(ウンザン)。
物理演算エンジン（ぶつりえんざんエンジン、Physics engine）とは、質量・速度・摩擦・風といった、古典力学的な法則をシミュレーションするコンピュータのソフトウェアである。多くの場合、ミドルウェアライブラリを指す。 略して物理演算、物理エンジン、Physicsとも言う。 物理演算
計算木論理（けいさんきろんり、Computational Tree Logic、CTL）は、分岐時相論理の一種である。その時間モデルでは未来は決定されておらず木構造のように分岐している。未来の複数の経路のうちの1つが実際に現実の経路となる。 ϕ ::= F | T | p | ( ¬ ϕ ) | (
ビット演算（ビットえんざん、英: bitwise operation）とは、主にコンピュータで行われる演算のひとつで、データをビット列（つまり0か1が多数並んだもの）と見なして、各ビットの移動やビット単位での論理演算を行うもの。 デジタルコンピュータの内部では、情報をビット列
搜索 
