1、Based on it, the tabular methods calculating the first-order and second-order Boolean partial derivative of the OC type logic function were proposed.───此基础上提出了计算oc型逻辑函数一阶、二阶布尔偏导数的表格方法。
3、This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.───这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式XiTong的并发行为。
second order logic（意思翻译）
二阶逻辑
second order logic（相似词语短语）
1、sophism logic───诡辩逻辑
2、logic───n.逻辑；逻辑学；逻辑性
3、logic puzzles───逻辑猜谜
4、circ logic───电路逻辑
5、effectual logic───有效逻辑
6、second───adj.第二（个）的；（比赛、级别上）居第二位的；另外的；次要的；v.支持，附议；临时调派（工作人员等）；n.(Second)（美）塞孔（人名）；num.第二；（规模、质量等）居第二位的；另外的；n.秒；瞬间；第二名；二等品；adv.居第二位；第二，其次
7、chop logic───v.强词夺理；咬文嚼字；强词夺理；争辩
8、swirl logic───漩涡逻辑
9、cartesian logic───笛卡尔逻辑
second order logic（双语使用场景）
1、Based on it, the tabular methods calculating the first-order and second-order Boolean partial derivative of the OC type logic function were proposed.───此基础上提出了计算oc型逻辑函数一阶、二阶布尔偏导数的表格方法。
2、Second-order dynamic fuzzy logic;───阶动态模糊逻辑；谱理论；
3、This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.───这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式XiTong的并发行为。