Category:理論計算機科学
チューリングマシン
Turing machineラムダ計算
Lambda calculus
計算複雑性理論
Computational complexity theory
カリー＝ハワード同型対応
Curry–Howard correspondence
ファジィ論理
Fuzzy logic
数理論理学
Mathematical logic
数学基礎論
Foundations of mathematics
形式手法
Formal methods
形式的検証
Formal verification
コンビネータ論理
Combinatory logic
マルコフ決定過程
Markov decision process
ホーン節
Horn clause
グスタフソンの法則
Gustafson's law
理論計算機科学
Theoretical computer science
部分観測マルコフ決定過程
Partially observable Markov decision process
Mizar
Mizar system
計算木論理
Computation tree logic
モデル検査
Model checking
ロジャー・シャンク
Roger Schank
アルゴリズム
Algorithm
失敗による否定
Negation as failureデジタル物理学
Digital physics
双模倣性
Bisimulation
アルファベット (計算機科学)
Alphabet (formal languages)
表明 (プログラミング)
Assertion (software development)
弱文脈依存言語
Mildly context-sensitive grammar formalism
クヌース賞
Knuth Prize
形式言語の階層