Category:理論計算機科学
アルゴリズム
Algorithm▲2 trends
チューリングマシン
Turing machine▲1 trends
ファジィ論理
Fuzzy logic
数理論理学
Mathematical logic
マルコフ決定過程
Markov decision processラムダ計算
Lambda calculus
形式手法
Formal methods
プログラム意味論
Semantics (computer science)
形式言語
Formal language
部分観測マルコフ決定過程
Partially observable Markov decision process
二人の将軍問題
Two Generals' Problem
M系列
Maximum length sequence
計算複雑性理論
Computational complexity theory
ヨセフスの問題
Josephus problem
形式的検証
Formal verification
論理プログラミング
Logic programming
数学基礎論
Foundations of mathematics
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm形式言語の階層
計算木論理
Computation tree logic
クヌース賞
Knuth Prize
ラフ集合
Rough set閉世界仮説
Closed-world assumption
並行論理プログラミング
Concurrent logic programming
モデル検査
Model checking
失敗による否定
Negation as failureデジタル物理学
Digital physics
並行制約プログラミング
Concurrent constraint logic programming