1) extending odd-even laws
扩展奇偶规则
2) odd-even law
奇偶规则
3) even-odd rule
偶奇规则
4) extension rule
扩展规则
1.
Research and Implementation of the #QBF Systems Based on Extension Rule;
基于扩展规则的#QBF求解系统的研究及实现
2.
Research of the #SAT Approximate Solvers Based on Extension Rule;
基于扩展规则的#SAT近似求解器的研究
3.
And then we used the first-order extension rule prover to deal with the fragment.
基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推理方法,并证明了其正确性和完备性。
6) extension against rule
反规则扩展
补充资料：奇偶校验(奇ｊī)
一种校验代码传输正确性的方法。根据被传输的一组二进制代码的数位中“1”的个数是奇数或偶数来进行校验。采用奇数的称为奇校验，反之，称为偶校验。采用何种校验是事先规定好的。通常专门设置一个奇偶校验位，用它使这组代码中“1”的个数为奇数或偶数。若用奇校验，则当接收端收到这组代码时，校验“1”的个数是否为奇数，从而确定传输代码的正确性。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条