Category:理論計算機科学
ラムダ計算
Lambda calculus
アルゴリズム
Algorithm
ゲーデルの不完全性定理
Gödel's incompleteness theorems
カリー＝ハワード同型対応
Curry–Howard correspondence
ファジィ論理
Fuzzy logic
形式手法
Formal methods
ヨセフスの問題
Josephus problem
マルコフ決定過程
Markov decision process
コンビネータ論理
Combinatory logic
部分観測マルコフ決定過程
Partially observable Markov decision process
計算複雑性理論
Computational complexity theory
Mizar
Mizar system
グスタフソンの法則
Gustafson's law
M系列
Maximum length sequenceデジタル物理学
Digital physics
二人の将軍問題
Two Generals' Problem
ホーン節
Horn clause
不動点コンビネータ
Fixed-point combinator
計算木論理
Computation tree logic
数理論理学
Mathematical logic
プログラム意味論
Semantics (computer science)
並行制約プログラミング
Concurrent constraint logic programming
形式言語の階層
双模倣性
Bisimulation
並行論理プログラミング
Concurrent logic programming
ロジャー・シャンク
Roger Schank
公理的意味論
Axiomatic semantics
失敗による否定
Negation as failure