Similar to 存在汎化
アルキメデスの双子の円
Twin circles
アルキメデスの螺旋
Archimedean spiral▼-1 trends
アルキメデス・パリンプセスト
Archimedes Palimpsestアルクィン数
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推論規則
Rule of inference
論理和の導入
Disjunction introduction
論理和の消去
Disjunction elimination
論理積の導入
Conjunction introduction論理積の消去
Conjunction eliminationTemplate:推論規則
Template:Transformation rules
仮言三段論法
Hypothetical syllogism
逆
Converse (logic)選言三段論法
Disjunctive syllogism
対偶 (論理学)
Contraposition対偶論法
Proof by contrapositive
導出原理
Resolution (logic)
ド・モルガンの法則
De Morgan's laws
二重否定の除去
モーダストレンス
Modus tollens
モーダスポネンス
Modus ponens
