Similar to 再帰的定義
ゲーム意味論
Game semantics
アルゴリズム
Algorithm▲2 trends
意味論 (論理学)
Semantics
議論領域
Domain of discourse
恒真式
Tautology (logic)
循環定義
Circular definition
内包と外延
Intension
メレオロジー
Mereology
M系列
Maximum length sequence
アルファベット (計算機科学)
Alphabet (formal languages)
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
制約論理プログラミング
Constraint logic programming
不動点コンビネータ
Fixed-point combinator
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Mizar
Mizar systemラムダ計算
Lambda calculus
論理プログラミング
Logic programming
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
Μ再帰関数
General recursive function
0
0
1
1
2
2
3
3
4
4