Category:理論計算機科学
チューリングマシン
Turing machine▲1 trendsアルゴリズム
Algorithm▲1 trendsヨセフスの問題
Josephus problemラムダ計算
Lambda calculus▲1 trends計算複雑性理論
Computational complexity theoryファジィ論理
Fuzzy logic論理プログラミング
Logic programming形式手法
Formal methodsカリー=ハワード同型対応
Curry–Howard correspondenceM系列
Maximum length sequence計算木論理
Computation tree logicプログラム意味論
Semantics (computer science)計算理論
Theory of computation数学基礎論
Foundations of mathematics理論計算機科学
Theoretical computer science閉世界仮説
Closed-world assumptionホーン節
Horn clause形式言語
Formal language形式的検証
Formal verificationコンビネータ論理
Combinatory logic再帰的定義
Recursive definition部分観測マルコフ決定過程
Partially observable Markov decision process公理的意味論
Axiomatic semanticsゲーム意味論
Game semanticsクヌース賞
Knuth Prize並行制約プログラミング
Concurrent constraint logic programmingマルコフ決定過程
Markov decision processモデル検査
Model checking