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