Category:理論計算機科学
ラムダ計算
Lambda calculus
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
計算理論
Theory of computation
不動点コンビネータ
Fixed-point combinator
理論計算機科学
Theoretical computer science
形式言語
Formal languageデジタル物理学
Digital physics
マルコフ決定過程
Markov decision process
カリー＝ハワード同型対応
Curry–Howard correspondence
ロジャー・シャンク
Roger Schank
双模倣性
Bisimulation
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
並行制約プログラミング
Concurrent constraint logic programming
コンビネータ論理
Combinatory logic
グスタフソンの法則
Gustafson's law形式言語の階層
公理的意味論
Axiomatic semantics
アルファベット (計算機科学)
Alphabet (formal languages)
表明 (プログラミング)
Assertion (software development)閉世界仮説
Closed-world assumption
弱文脈依存言語
Mildly context-sensitive grammar formalism
クヌース賞
Knuth Prize
ゲーム意味論
Game semantics
並行論理プログラミング
Concurrent logic programming
制約論理プログラミング
Constraint logic programming
失敗による否定
Negation as failure
計算論的哲学
Computational philosophy