Similar to 背理法
アルクィン数
Alcuin's sequence
アルゴリズム
Algorithm
アルゴリズム解析
Analysis of algorithms
アルゴリズム情報理論
Algorithmic information theory
アルゴリズム的ランダムな無限列
Algorithmically random sequence
アルゴリズム的確率
Algorithmic probability
ワリード・アルサラム
Waleed Al-Salam
アルス・マグナ (カルダーノの著書)
Ars Magna (Cardano book)
ある数学者の生涯と弁明
A Mathematician's Apology
アルティンのL-函数
Artin L-function
アルティン・ハッセの指数関数
Artin–Hasse exponential
ミハイル・アルティン
Michael Artin
エミール・アルティン
Emil Artin
アルティン・ウェダーバーンの定理
Wedderburn–Artin theoremアルティン加群
Artinian moduleアルティン環
Artinian ring
アルティン・シュライアー理論
Artin–Schreier theoryアルティン–シュライヤーの定理
アルティン相互法則
Artin reciprocity
論理和の導入
Disjunction introduction
仮言三段論法
Hypothetical syllogism
吸収法則
Absorption law
論理和の消去
Disjunction elimination論理積の消去
Conjunction elimination選言三段論法
Disjunctive syllogism
対偶 (論理学)
Contraposition
同一性
Identity (philosophy)
導出原理
Resolution (logic)
