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