ある1つの集合Uについて、それに属するものを(①)または元という。

要素数が0である集合を(①)という。

要素が有限個である集合を(①)という。

無限個の要素をもつ集合を(①)という。

1つの集合Uの中に存在する集合をUの(①)という。

部分集合を集合の要素とした集合をその集合の(①)という。

集合Aの要素であって、集合Bの要素ではない集合を(①)という。

集合Aの要素であってBの要素でないか、または集合Bの要素であってAの要素でない集合を集合AとBの(①)という。

1つの判断や主張を記号や文章で表したものを(①)という。

命題にあるxを含み、そのxの値によって真偽が決まる命題を(①)という。

複数の命題を「かつ」、「または」などで結んでつくられる命題を(①)という。

「pならばqである」のような複合命題を(①)という。

「p→q」の"→"は「真→偽」となるときに限り結果が偽となる演算で、これを(①)という。

原子論理式の真理値に係わらず常に真となる論理式を(①)という。

原子論理式の真理値に係わらず常に偽となる論理式を(①)という。

「p→q」に対し、「q→p」のような命題を(①)という。

「p→q」に対し、「≠p→≠q」のような命題を(①)という。

「p→q」に対し、「≠q→≠p」のような命題を(①)という。

ある2進数のビットを反転させる場合、「1」との(①)演算を行う。

同じ操作を何度繰り返しても同じ結果が得られることを(①)という。

論理式を図的に表現したものを(①)という。

情報の大きさを定量化した値を(①)という。

事象の生起確率が大きくなれば、情報量は(①)。

事象の生起確率が小さくなれば、情報量は(①)。

全ての事象の平均的な情報量を(①)という。

パリティチェック、CRC、ハミング符号などを用いて情報を正しく伝達させるためのプロセスを(①)という。

情報の伝達において、情報が膨大である場合、できるだけ短くする(①)が行われる。

出現度の高い文字は短いビット列で、出現度の低い文字は長いビット列で符号化することを(①)という。

データ列の冗長度に着目し、同じデータ値が連続する部分をその反復回数とデータ値の組に置き換えることによって、データ長を短くする圧縮方法を(①)という。

アナログデータをデジタル符号に変換する変調方式を(①)という。

PCMにおいて、アナログ信号を一定時間間隔で切り出すプロセスを(①)という。

PCMにおいて、サンプリングしたアナログ値をデジタル値に変換するプロセスを(①)という。

PCMにおいて、量子化で得られたデジタル値を2進符号形式に変換し、符号化ビット列を得るプロセスを(①)という。

元の信号波形に含まれる周波数成分がサンプリング周波数の半分未満なら標本点の値を使うだけで元の信号を完全に復元できることを(①)という。

1つの入力値によって1つの出力値が決まるのではなく、入力値と入力されたときの状態によって出力値が決まる機械を(①)という。

順序機械に言語を認識するアルゴリズムを与えた数学的なモデルを(①)という。

文脈自由文法から生成される文脈自由言語を認識するオートマトンを(①)という。

プッシュダウンオートマトンより高い能力をもつ、ノイマン型コンピュータの動作原理の理論的基本モデルで、句構造言語を認識するオートマトンを(①)という。

コンピュータ処理のためにつくられた言語を(①)という。

書換えを行う対象となる非終端記号の集合N、書換えを行うことができない終端記号の集合T、書換え規則の集合P、書換えを開始する最初の非終端記号となるSによって定義される文法を(①)という。

文脈自由文法によって生成される文の集合を(①)という。

文字から字句を構成するための規則を(①)という。

字句の正しい並べ方の規則を(①)という。

字句規則に基づいた字句の検査と切出しを行うことを(①)という。

字句解析によって切り出された字句を構文規則に従って解析し、文法的正当性を検査することを(①)という。

Algo160の構文規則を記述するのに用いられた表記法を(①)といい、現在多くのプログラム言語の構文規則の記述に用いられている。

BNF記法で算術式を表現する構文規則において、自分の定義に自分を用いることを(①)という。

文法に沿って構文木を上から下へと作成する方法を(①)という。

文法に沿って構文木を下から上へと作成する方法を(①)という。

演算子を演算の対象である演算数の右側に記述する方法を(①)という。

字句記号や探索記号の定義など、広く使用されているパターン定義法を(①)という。

正規表現において、字句を取り扱うために定義された文字を(①)という。

頂点の集合Vと頂点を連結する辺の集合Eからなる図形を(①)という。

連結する辺において向きをもつグラフを特に(①)という。