Similar to 数学基礎論
数理論理学
Mathematical logic
計算理論
Theory of computation
不動点コンビネータ
Fixed-point combinator
Μ再帰関数
General recursive function
アルゴリズム
Algorithm▲1 trends
意味論 (論理学)
Semantics
計算木論理
Computation tree logic
形式体系
Formal system
決定問題
Decision problem構成規則
Formation rule
自己言及のパラドックス
Liar paradox
時相論理
Temporal logic
自動定理証明
Automated theorem proving
正論理
線形時相論理
Linear temporal logic
定義可能集合
Definable setブール論理
Boolean logic
負論理
Logic level
マルコフ決定過程
Markov decision process
アッカーマン関数
Ackermann function一階述語論理
First-order logic
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
帰納的可算集合
Computably enumerable set
計算可能関数
Computable function
計算複雑性理論
Computational complexity theory
計算論的哲学
Computational philosophyゲーデル数
Gödel numbering▲1 trends
