Category:理論計算機科学
チューリングマシン
Turing machineアルゴリズム
Algorithm数理論理学
Mathematical logicマルコフ決定過程
Markov decision process計算複雑性理論
Computational complexity theoryラムダ計算
Lambda calculusファジィ論理
Fuzzy logic形式言語
Formal language論理プログラミング
Logic programming形式的検証
Formal verification理論計算機科学
Theoretical computer scienceホーン節
Horn clause部分観測マルコフ決定過程
Partially observable Markov decision process不動点コンビネータ
Fixed-point combinatorプログラム意味論
Semantics (computer science)形式手法
Formal methodsデジタル物理学
Digital physicsカリー=ハワード同型対応
Curry–Howard correspondence計算理論
Theory of computation並行論理プログラミング
Concurrent logic programmingモデル検査
Model checkingクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithmロジャー・シャンク
Roger Schankクヌース賞
Knuth PrizeMizar
Mizar system制約論理プログラミング
Constraint logic programming双模倣性
Bisimulationアルファベット (計算機科学)
Alphabet (formal languages)