Category:理論計算機科学
チューリングマシン
Turing machine▲1 trendsラムダ計算
Lambda calculus数理論理学
Mathematical logicアルゴリズム
Algorithm▲1 trendsヨセフスの問題
Josephus problemファジィ論理
Fuzzy logic数学基礎論
Foundations of mathematics形式言語
Formal language計算複雑性理論
Computational complexity theoryM系列
Maximum length sequence計算木論理
Computation tree logic計算理論
Theory of computation理論計算機科学
Theoretical computer science形式的検証
Formal verification論理プログラミング
Logic programmingカリー=ハワード同型対応
Curry–Howard correspondence形式手法
Formal methodsプログラム意味論
Semantics (computer science)マルコフ決定過程
Markov decision process閉世界仮説
Closed-world assumption双模倣性
BisimulationMizar
Mizar system公理的意味論
Axiomatic semantics述語変換意味論
Predicate transformer semanticsクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm二人の将軍問題
Two Generals' Problemホーン節
Horn clause不動点コンビネータ
Fixed-point combinator