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