standard discrete logic 标准离散逻辑元件
discrete component logic circuit 分立元件逻辑电路
Discrete Mathematics and Logic 离散数学与逻辑
Discrete and logic 分立和逻辑器件
Introducing temporal logic in discrete mathematics and foundations courses offers some tools to reason about concurrency.
在离散数学和基础课程中引入时态逻辑令一些工具能处理并行。
Mathematical logic is one of the difficulties of "Discrete Mathematics".
数理逻辑是《离散数学》的难点之一。
In order to exactly describe logic relations among objects of discrete event control systems and write programs, a rule-based language, logic rule Description language (LRDL) is put forward.
为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序，提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。
应用推荐