Category:理論計算機科学
ラムダ計算
Lambda calculus
数学基礎論
Foundations of mathematics閉世界仮説
Closed-world assumption
理論計算機科学
Theoretical computer science
ヨセフスの問題
Josephus problem
数理論理学
Mathematical logic
計算木論理
Computation tree logic
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming
双模倣性
Bisimulation
ロジャー・シャンク
Roger Schank
アルファベット (計算機科学)
Alphabet (formal languages)
表明 (プログラミング)
Assertion (software development)
クヌース賞
Knuth Prize
弱文脈依存言語
Mildly context-sensitive grammar formalismデジタル物理学
Digital physics
失敗による否定
Negation as failure
計算論的哲学
Computational philosophy
公理的意味論
Axiomatic semantics
述語変換意味論
Predicate transformer semantics
ゲーム意味論
Game semantics
モデル検査
Model checking
並行論理プログラミング
Concurrent logic programming再帰的定義
Recursive definition
Mizar
Mizar system
グスタフソンの法則
Gustafson's law
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
ラフ集合
Rough set