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