Similar to 述語論理
0
0▼-1 trends一階述語論理
First-order logic
Μ再帰関数
General recursive function
Axiom (数式処理システム)
Axiom (computer algebra system)
第12SS装甲師団
12th SS Panzer Division Hitlerjugend
第36SS武装擲弾兵師団
Dirlewanger Brigade
1984年ロサンゼルスオリンピック
1984 Summer Olympics
III号突撃砲
Sturmgeschütz III
Android (オペレーティングシステム)
Android (operating system)
Apache Hadoop
Apache Hadoop
B-24 (航空機)
Consolidated B-24 LiberatorB-29 (航空機)
Boeing B-29 SuperfortressB-52 (航空機)
Boeing B-52 Stratofortress
BAC TSR-2
BAC TSR-2
BASIC
BASIC
1
1▲8 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
議論領域
Domain of discourse原子論理式
Atomic formula
高階述語論理
Higher-order logic
二階述語論理
Second-order logic