Similar to 不動点コンビネータ
計算論的哲学
Computational philosophyゲーデル数
Gödel numbering
述語論理
Predicate logic
相互再帰
Mutual recursion
文字列書き換え系
Semi-Thue system
領域理論
Domain theory
M系列
Maximum length sequence
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
形式手法
Formal methods
形式的検証
Formal verification
ゲーデルの不完全性定理
Gödel's incompleteness theorems
ゲーム意味論
Game semantics再帰的定義
Recursive definition
述語変換意味論
Predicate transformer semantics
数理論理学
Mathematical logic
双模倣性
Bisimulation
チューリングマシン
Turing machine
表明 (プログラミング)
Assertion (software development)
プログラム意味論
Semantics (computer science)
モデル検査
Model checking
Smn定理
Smn theorem
ギルモアのアルゴリズム
形式体系
Formal system構成規則
Formation rule
シークエント計算
Sequent calculus
自己認識論理
Autoepistemic logic
時相論理
Temporal logic
自動推論
Automated reasoning