Category:理論計算機科学
アルゴリズム
Algorithm▲1 trends
理論計算機科学
Theoretical computer science
計算複雑性理論
Computational complexity theory
形式的検証
Formal verification
部分観測マルコフ決定過程
Partially observable Markov decision process
チューリングマシン
Turing machine
二人の将軍問題
Two Generals' Problem
M系列
Maximum length sequence
論理プログラミング
Logic programming
失敗による否定
Negation as failure
モデル検査
Model checking
ヨセフスの問題
Josephus problem
形式手法
Formal methods
形式言語の階層
グスタフソンの法則
Gustafson's law
ゲーム意味論
Game semantics
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
並行論理プログラミング
Concurrent logic programming
並行制約プログラミング
Concurrent constraint logic programming
クヌース賞
Knuth Prize
計算論的哲学
Computational philosophy
アルファベット (計算機科学)
Alphabet (formal languages)
コンビネータ論理
Combinatory logic
表明 (プログラミング)
Assertion (software development)
述語変換意味論
Predicate transformer semantics
公理的意味論
Axiomatic semantics
弱文脈依存言語
Mildly context-sensitive grammar formalism
ラフ集合
Rough set