Category:理論計算機科学
アルゴリズム
Algorithm▲2 trends
ファジィ論理
Fuzzy logicデジタル物理学
Digital physics
プログラム意味論
Semantics (computer science)
不動点コンビネータ
Fixed-point combinator
二人の将軍問題
Two Generals' Problemラムダ計算
Lambda calculus
カリー＝ハワード同型対応
Curry–Howard correspondence
数学基礎論
Foundations of mathematics閉世界仮説
Closed-world assumption
形式言語
Formal language再帰的定義
Recursive definition
形式的検証
Formal verification
理論計算機科学
Theoretical computer science
グスタフソンの法則
Gustafson's law
並行制約プログラミング
Concurrent constraint logic programming
クヌース賞
Knuth Prize
公理的意味論
Axiomatic semantics
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
アルファベット (計算機科学)
Alphabet (formal languages)
ゲーム意味論
Game semantics
コンビネータ論理
Combinatory logic
表明 (プログラミング)
Assertion (software development)
Mizar
Mizar system
ホーン節
Horn clause
弱文脈依存言語
Mildly context-sensitive grammar formalism
制約論理プログラミング
Constraint logic programming
双模倣性
Bisimulation