Category:理論計算機科学
ゲーデルの不完全性定理
Gödel's incompleteness theorems
チューリングマシン
Turing machine
アルゴリズム
Algorithm
数学基礎論
Foundations of mathematics
マルコフ決定過程
Markov decision process
数理論理学
Mathematical logic
Mizar
Mizar system
計算理論
Theory of computation
プログラム意味論
Semantics (computer science)デジタル物理学
Digital physics
グスタフソンの法則
Gustafson's law
論理プログラミング
Logic programming
形式的検証
Formal verification
双模倣性
Bisimulation
ロジャー・シャンク
Roger Schank
並行制約プログラミング
Concurrent constraint logic programming
理論計算機科学
Theoretical computer science
ゲーム意味論
Game semantics
並行論理プログラミング
Concurrent logic programming
二人の将軍問題
Two Generals' Problem
形式言語の階層
アルファベット (計算機科学)
Alphabet (formal languages)
クヌース賞
Knuth Prize
計算論的哲学
Computational philosophy
公理的意味論
Axiomatic semantics
表明 (プログラミング)
Assertion (software development)
部分観測マルコフ決定過程
Partially observable Markov decision process
弱文脈依存言語
Mildly context-sensitive grammar formalism