Category:理論計算機科学
チューリングマシン
Turing machine
アルゴリズム
Algorithm
ゲーデルの不完全性定理
Gödel's incompleteness theorems
ヨセフスの問題
Josephus problem
コンビネータ論理
Combinatory logic
M系列
Maximum length sequence
不動点コンビネータ
Fixed-point combinator
形式手法
Formal methods
ラフ集合
Rough set
部分観測マルコフ決定過程
Partially observable Markov decision process
公理的意味論
Axiomatic semantics再帰的定義
Recursive definition
並行論理プログラミング
Concurrent logic programming
Mizar
Mizar system
ゲーム意味論
Game semantics
形式的検証
Formal verification
並行制約プログラミング
Concurrent constraint logic programming
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
プログラム意味論
Semantics (computer science)閉世界仮説
Closed-world assumption
モデル検査
Model checking
グスタフソンの法則
Gustafson's law
アルファベット (計算機科学)
Alphabet (formal languages)
表明 (プログラミング)
Assertion (software development)
弱文脈依存言語
Mildly context-sensitive grammar formalism
二人の将軍問題
Two Generals' Problem
ロジャー・シャンク
Roger Schank
双模倣性
Bisimulation