代数逻辑计算器 calculator with algebraic logic
袖珍计算机的代数逻辑 algebraic logic of pocket calculator
逻辑代数 Boolean algebra ; [数] logic algebra ; [数] algebra of logic
共代数逻辑 coalgebraic logic
代数逻辑函数语言 algebraic logic functional language
现代数理逻辑 modern mathematical logic
逻辑代数基础 Logic Base ; Logic algebra foundation
这些基于SQL的新应用程序正在利用现代数据中心开发概念，某些概念强调将更多业务规则和逻辑推到数据库中的重要性。
These new SQL based applications are taking advantage of modern data centric development concepts that stress the importance of pushing more of the business rules and logic into the database.
布尔代数所需的推理过程是通过开关来实现的，这些开关起着逻辑电路的作用。
The reasoning process called for by Boolean algebra are implemented through switches acting as electronics logic circuits.
莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
应用推荐