述語論理

命題論理を拡張し、変数と述語（性質や関係を表す関数）、全称量化子（∀）と存在量化子（∃）を用いてより複雑な論理的関係を表現する体系。データベースの問合せ言語やAIの知識表現の基礎。

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

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

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

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

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

単位の前に付けて大きさを表す語。k（キロ:10の3乗）、M（メガ:10の6乗）、G（ギガ:10の9乗）、T（テラ:10の12乗）などがあり、情報量や処理速度の表記に使われる。

音声や画像などのアナログ情報を、コンピュータで扱えるデジタルデータ（0と1の2進数）に変換すること。標本化・量子化・符号化の手順で行われる。

アナログ信号を一定の時間間隔で区切り、各時点の値を取り出す処理。A/D変換の最初の段階であり、標本化の間隔（サンプリング周波数）が音質や画質に影響する。

標本化で取り出したアナログ値を、あらかじめ決められた離散的な値に近似する処理。A/D変換の2番目の段階であり、量子化のビット数が精度に影響する。