Similar to 論理積
アルファ・ベータ法
Alpha–beta pruning
アルファベット (計算機科学)
Alphabet (formal languages)
レオン・バッティスタ・アルベルティ
Leon Battista Albertiアルマゲスト
Almagest
アレクサンダー多項式
Alexander polynomial
アレクサンダーの角付き球面
Alexander horned sphere
アレクサンダーの定理
Alexander's theorem
アレクサンドリアのメネラウス
Menelaus of Alexandria
アレクサンドル・グロタンディークが考えたこと
List of things named after Alexander Grothendieck
パヴェル・アレクサンドロフ
Pavel Alexandrov
アレクサンドロフ拡大
Alexandroff extensionアレクサンドロフの定理
Alexandrov theorem
アレフ数
Aleph number
アレン＝カーン方程式
Allen–Cahn equation
ナフマン・アロンシャイン
Nachman Aronszajn
アロンシャイン木
Aronszajn tree▲1 trends
命題
Proposition
偶然
Contingency (philosophy)
恒真式
Tautology (logic)恒真命題
真理値
Truth value
推論
Inference
全称命題
Categorical proposition
存在命題
existential proposition定理
Theorem
補題
Lemma (mathematics)
矛盾
Contradiction
命題関数
Propositional function
