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