A.用阿拉伯数字从车站两端由外向里依次编号,上行列车到达一端用双数,下行列车到达一端用单数
B.每一道岔均应编为单独的号码,对于渡线、交分道岔等处的联动道岔,则应编为连续的单数或双数
C.站内道岔,一般以车站站舍中心线作为划分单数号与双数号的分界线
D.当站内有几个车场时,每一车场的道岔必须单独编号,这时道岔号码应使用三位数字,百位数字表示车场号码,个位和十位表示道岔号码,避免在同一车站内有相同的道岔号码
①对每个自然数m,m+0=m;
②对每一对自然数m和n,m+n'=(m+n)',
(a)证明用以上定义的加法是可结合的。
(b)用类似方法归纳地定义乘法(可以引用上边定义的加法运算)。
(c)用乘法运算归纳地定义幂运算。
(d)给出关于“小于”的一个归纳定义。