Similar to 数理論理学
形式体系
Formal system構成規則
Formation rule
自己言及のパラドックス
Liar paradox▼-1 trends
時相論理
Temporal logic
自動定理証明
Automated theorem proving
正論理
線形時相論理
Linear temporal logic
定義可能集合
Definable setブール論理
Boolean logic
負論理
Logic level
マルコフ決定過程
Markov decision process
計算機科学
Computer science
計算機援用証明
Computer-assisted proof
M系列
Maximum length sequenceアルファベット (計算機科学)
Alphabet (formal languages)
計算理論
Theory of computation
ゲーム意味論
Game semantics再帰的定義
Recursive definition
制約論理プログラミング
Constraint logic programming
不動点コンビネータ
Fixed-point combinator
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Mizar
Mizar systemラムダ計算
Lambda calculus▼-1 trends
論理プログラミング
Logic programming
紀元前13世紀
13th century BC
1の分割
Partition of unity
2015年
2015
