1) microprogram logic capability
微程序逻辑能力
2) micrologic
微程序控制逻辑
3) Microcomputer &Program Logic
微机和程序逻辑
4) logic program
逻辑程序
1.
Application of Logic Programming in Relation Database Data Integrity Constraint;
逻辑程序在关系数据库完整性约束中的应用
2.
Research of Dynamically Changing Coverage of Immune DetectorBased on Logic Program;
基于逻辑程序的免疫识别器动态覆盖性初探
3.
The Correspondence between the Horn Logic Programs and Grammars;
Horn逻辑程序和形式文法之间的对应关系
5) Program Logic
程序逻辑
1.
This paper summarizes the different methods describing the program logic in programming teaching and analyzes the corresponding deficiencies.
总结了目前程序设计教学中描述程序逻辑所采用的不同方式,分析了存在的不足,提出以“PAD”为工具描述程序逻辑的方法。
6) logic programming
逻辑程序
1.
Semantics of Model Theory and Fixed Points for Logic Programming Based on Further Extension of Fuzzy Logic;
再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究
2.
The popular approaches are introduced and summarized,especially model checking based method,theorem proving based method,logic programming based method and so on.
对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向。
3.
Logic programming has been widely applied in mechanical theorem proving,relational database system, modularized programming and non-monotone reasoning.
逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。
补充资料：微程序
用特定的程序设计语言编写的一系列微指令。在微程序控制的计算机中，一个机器指令分为许多步，每一步就是一条微指令，每条微指令执行一个或几个微操作。计算机执行一条指令的过程实际上就是执行相应的微程序的过程。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条