Category:理論計算機科学
ヨセフスの問題
Josephus problem
形式言語
Formal language
形式手法
Formal methods
カリー＝ハワード同型対応
Curry–Howard correspondence
不動点コンビネータ
Fixed-point combinator
コンビネータ論理
Combinatory logic
部分観測マルコフ決定過程
Partially observable Markov decision process
公理的意味論
Axiomatic semantics
プログラム意味論
Semantics (computer science)
ラフ集合
Rough set
論理プログラミング
Logic programming
並行制約プログラミング
Concurrent constraint logic programming
クヌース賞
Knuth Prizeデジタル物理学
Digital physics
アルファベット (計算機科学)
Alphabet (formal languages)
計算木論理
Computation tree logic
表明 (プログラミング)
Assertion (software development)
Mizar
Mizar system
ロジャー・シャンク
Roger Schank
M系列
Maximum length sequence
弱文脈依存言語
Mildly context-sensitive grammar formalism
制約論理プログラミング
Constraint logic programming
計算理論
Theory of computation
失敗による否定
Negation as failure閉世界仮説
Closed-world assumption
計算論的哲学
Computational philosophy
述語変換意味論
Predicate transformer semantics
双模倣性
Bisimulation