Category:理論計算機科学
アルゴリズム
Algorithm▲1 trends
チューリングマシン
Turing machine▲1 trends
ゲーデルの不完全性定理
Gödel's incompleteness theorems▲1 trends
数理論理学
Mathematical logic
論理プログラミング
Logic programming
数学基礎論
Foundations of mathematics
ヨセフスの問題
Josephus problem
プログラム意味論
Semantics (computer science)
カリー＝ハワード同型対応
Curry–Howard correspondence
計算理論
Theory of computation
ファジィ論理
Fuzzy logic再帰的定義
Recursive definition
部分観測マルコフ決定過程
Partially observable Markov decision process
M系列
Maximum length sequence
理論計算機科学
Theoretical computer science
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
計算複雑性理論
Computational complexity theoryデジタル物理学
Digital physics
二人の将軍問題
Two Generals' Problem閉世界仮説
Closed-world assumption
ラフ集合
Rough set
ゲーム意味論
Game semantics
公理的意味論
Axiomatic semantics
並行論理プログラミング
Concurrent logic programming
ホーン節
Horn clause
クヌース賞
Knuth Prize
アルファベット (計算機科学)
Alphabet (formal languages)
双模倣性
Bisimulation