述語論理

命題論理を拡張し、主語と述語の関係や変数の量化（すべての、ある〜が存在する）を扱える論理体系。データベースの問合せやAIの知識表現の基礎となる。

命題論理を拡張し、変数と述語（性質や関係を表す関数）、全称量化子（∀）と存在量化子（∃）を導入した論理体系。「すべてのxについてP(x)が成り立つ」のような命題を形式的に表現でき、関係データベースの理論的基盤。

命題論理に、対象の性質や関係を表す述語と変数、「すべてのxについて」を表す全称記号∀と「あるxが存在して」を表す存在記号∃を加え、より細かな論理を表現できるようにした論理体系。「すべての人間は死ぬ」のような一般的な命題を扱え、知識表現、論理型プログラミング（Prolog）、データベースの問合せの理論の基礎となる。

命題を主語と述語に分解し、「すべてのxについて」（全称記号∀）や「あるxが存在する」（存在記号∃）といった量化を使って表す論理の体系。命題論理より表現力が高く、形式仕様記述、データベースの問合せ、人工知能の知識表現の基礎になる。

真か偽のいずれかの値を持つ命題と、論理演算子（AND、OR、NOT、含意など）を用いて命題間の関係を表現・推論する体系。論理式の真偽を判定する真理値表が基本的なツールとなる。

ある事象の起こりにくさを数値化した指標で、シャノンの情報理論に基づく。生起確率pの事象の情報量は-log₂(p)ビットで表される。確率が低い事象ほど情報量が大きい。

情報源が持つ平均情報量のこと。各事象の情報量にその生起確率を掛けて合計した値で表される。エントロピーが大きいほど不確実性が高く、データ圧縮の理論的な限界を示す。

データを2次元の表（テーブル、リレーション）の集合として管理するデータベース。行（タプル）と列（属性）で構成され、テーブル間をキーで関連付けてデータの整合性を維持する。SQLによる操作が標準的で、最も広く普及しているデータベース形式。

情報量の最小単位で、0または1の2つの状態を表す。binary digitの略であり、コンピュータが扱うデータの基本単位である。

8ビットをひとまとまりにした情報量の単位。1バイトで256通り（2の8乗）の情報を表現でき、文字コードやファイルサイズの基本単位として使われる。