Category:理論計算機科学
並行論理プログラミング
Concurrent logic programming
コンビネータ論理
Combinatory logicデジタル物理学
Digital physics再帰的定義
Recursive definition
理論計算機科学
Theoretical computer science
論理プログラミング
Logic programming
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
プログラム意味論
Semantics (computer science)ラムダ計算
Lambda calculus
計算理論
Theory of computation
不動点コンビネータ
Fixed-point combinator
形式手法
Formal methods
M系列
Maximum length sequence
計算複雑性理論
Computational complexity theory
ファジィ論理
Fuzzy logic
マルコフ決定過程
Markov decision process
チューリングマシン
Turing machine
アルゴリズム
Algorithm▼-1 trends