Similar to ブール代数
アルゴリズム
Algorithm▲1 trendsP進タイヒミュラー理論
P-adic Teichmüller theoryアーベル-ルフィニの定理
Abel–Ruffini theoremDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremエルブランの定理
Herbrand's theorem関係代数 (数学)
Relation algebraギルモアのアルゴリズム
グッドスタインの定理
Goodstein's theoremクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm形式の法則
Laws of Formゲーデルの完全性定理
Gödel's completeness theoremゲーデルの不完全性定理
Gödel's incompleteness theorems▲1 trendsタルスキの定義不可能性定理
Tarski's undefinability theoremチューリング次数
Turing degreeチューリングジャンプ
Turing jumpデービス・パトナムのアルゴリズム
Davis–Putnam algorithmブール関数
Boolean functionブール値関数
Boolean-valued functionブール領域
Boolean domainΜ再帰関数
General recursive functionアーネシの曲線
Witch of Agnesiアーベル群
Abelian groupアーベル群の圏
Category of abelian groupsアーベル圏
Abelian categoryアーベル総和法
アーベル多様体
Abelian varietyアーベルの連続性定理
Abel's theorem