Category:理論計算機科学
チューリングマシン
Turing machine▲1 trends
ヨセフスの問題
Josephus problem
論理プログラミング
Logic programming
ファジィ論理
Fuzzy logic
形式手法
Formal methods
マルコフ決定過程
Markov decision process
M系列
Maximum length sequenceデジタル物理学
Digital physics
カリー＝ハワード同型対応
Curry–Howard correspondence
部分観測マルコフ決定過程
Partially observable Markov decision process
数学基礎論
Foundations of mathematics
不動点コンビネータ
Fixed-point combinator
グスタフソンの法則
Gustafson's law
二人の将軍問題
Two Generals' Problem
ホーン節
Horn clause
プログラム意味論
Semantics (computer science)
ゲーデルの不完全性定理
Gödel's incompleteness theorems
ラフ集合
Rough set閉世界仮説
Closed-world assumption
計算木論理
Computation tree logic
失敗による否定
Negation as failure
計算論的哲学
Computational philosophy
アルファベット (計算機科学)
Alphabet (formal languages)
表明 (プログラミング)
Assertion (software development)
弱文脈依存言語
Mildly context-sensitive grammar formalism
制約論理プログラミング
Constraint logic programming
公理的意味論
Axiomatic semantics
双模倣性
Bisimulation