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