Category:理論計算機科学
ラムダ計算
Lambda calculus
数理論理学
Mathematical logic
数学基礎論
Foundations of mathematics
理論計算機科学
Theoretical computer science
計算理論
Theory of computation
マルコフ決定過程
Markov decision process
ロジャー・シャンク
Roger Schank
双模倣性
Bisimulation
並行制約プログラミング
Concurrent constraint logic programming
計算複雑性理論
Computational complexity theory
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
形式言語の階層
アルファベット (計算機科学)
Alphabet (formal languages)
表明 (プログラミング)
Assertion (software development)
弱文脈依存言語
Mildly context-sensitive grammar formalism
公理的意味論
Axiomatic semantics
並行論理プログラミング
Concurrent logic programming形式言語
Formal language閉世界仮説
Closed-world assumption
ゲーム意味論
Game semantics
グスタフソンの法則
Gustafson's law
失敗による否定
Negation as failure
計算論的哲学
Computational philosophy
制約論理プログラミング
Constraint logic programming
クヌース賞
Knuth Prize
述語変換意味論
Predicate transformer semantics
計算木論理
Computation tree logic
部分観測マルコフ決定過程
Partially observable Markov decision process