Similar to 線形時相論理
時相論理
Temporal logic
意味論 (論理学)
計算木論理
Computation tree logic
形式体系
Formal system構成規則
Formation rule
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
正論理
定義可能集合
Definable set
負論理
Logic level
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
Μ再帰関数
General recursive function
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9▲1 trends
12345679
論理学
Logic
Colorless green ideas sleep furiously
Colorless green ideas sleep furiously
Two wrongs don't make a right
Two wrongs don't make a right