Similar to 数学基礎論
原始再帰関数
Primitive recursive function
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)再帰
Recursion▲1 trends
述語論理
Predicate logic
2型糖尿病
Type 2 diabetes
3の平方根
Square root of 34次元
Four-dimensional space
5の平方根
Square root of 5
5次元
Five-dimensional space
6次元
Six-dimensional space
BPP (計算複雑性理論)
BPP (complexity)
E8 (数学)
E8 (mathematics)
N連結
Homotopical connectivity
Z検定
Z-test
リチャード・アスキー
Richard Askey
M系列
Maximum length sequence
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
ゲーデルの不完全性定理
Gödel's incompleteness theorems
ゲーム意味論
Game semantics再帰的定義
Recursive definition
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Mizar
Mizar systemラムダ計算
Lambda calculus
論理プログラミング
Logic programming
DPLLアルゴリズム
DPLL algorithm
