Similar to 数学的帰納法
Common Object Request Broker Architecture
Common Object Request Broker Architecture
Computer Systems Research Group
Computer Systems Research Group
Concurrent Versions System
Concurrent Versions System
Controller Area Network
CAN busCP/M
CP/M
50
50 (number)1349
1349 (band)
12345679
順序集合
Ordered set
因果集合
Causal sets
ヴェブレン階層
Veblen function
宇宙 (数学)
Universe (mathematics)
可算鎖条件
Countable chain condition
完備半順序
Complete partial order
完備ブール代数
Complete Boolean algebra
吸収法則
Absorption law
クリーネの不動点定理
Kleene fixed-point theorem
コンパクト要素
Compact element
最小不動点
Least fixed point
最大と最小
Greatest element and least element
辞書式順序
Lexicographic order
縮小写像
Contraction mapping
順序環
Ordered ring順序群
Partially ordered group
順序数
Ordinal number昇鎖条件
Ascending chain condition
上方集合
Upper set
スコット連続
Scott continuity