Category:計算理論
一階述語論理
First-order logic
竹内関数
Tak (function)
アッカーマン関数
Ackermann functionゲーデル数
Gödel numbering
計算可能関数
Computable function
チャイティンの定数
Chaitin's constant
不動点コンビネータ
Fixed-point combinator
型付きラムダ計算
Typed lambda calculus
数学基礎論
Foundations of mathematics
チューリング完全
Turing completeness
領域理論
Domain theory
Μ再帰関数
General recursive function原始再帰関数
Primitive recursive function
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
ワンのタイル
Wang tile
項書き換え
Rewriting
帰納的可算集合
Computably enumerable set
計算可能数
Computable number
計算論的神経科学
Computational neuroscience
計算モデル
Model of computation
合流性
Confluence (abstract rewriting)
相互再帰
Mutual recursion文字列書き換え系
Semi-Thue system
帰納的可算言語
Recursively enumerable language
計算理論
Theory of computation
前向き連鎖
Forward chaining後向き連鎖
Backward chaining
計算等価性原理
A New Kind of Science#Principle of computational equivalence