逻辑

多米诺逻辑多米诺逻辑是基于CMOS的动态逻辑技术的演变，它基于PMOS或NMOS晶体管。它允许轨至轨的逻辑摆动。它的开发是为了加快电路的速度，解决过早级联的问...

甘宁收发器逻辑甘宁收发器逻辑（GTL）是一种用于驱动电子背板总线的逻辑信号。它的电压摆幅在0.4伏和1.2伏之间--比TTL和CMOS逻辑中使用的电压摆幅低得多--以...

动态逻辑（数字电子学）在集成电路设计中，动态逻辑（或有时是时钟逻辑）是组合逻辑电路的一种设计方法，特别是那些用MOS技术实现的电路。它区别于所谓的静态...

集成注入逻辑集成注入逻辑是一类用多集电极双极结晶体管（BJT）构建的数字电路。在推出时，它的速度可与TTL相媲美，但几乎与CMOS一样低功率，使其成为VLSI（...

NMOS逻辑N型金属氧化物半导体逻辑使用n型来实现逻辑门和其他数字电路。这些nMOS晶体管通过在p型晶体管体中创建一个反转层而运作。这个反转层，称为n通道，可...

二极管逻辑二极管逻辑（DL），或二极管-电阻逻辑（DRL），是用二极管构建布尔逻辑门。二极管逻辑被广泛用于早期计算机的构造中，半导体二极管可以取代笨重和...

什么是逻辑族在计算机工程中，逻辑族是两个相关概念中的一个。单片数字集成电路器件的逻辑系列是一组电子逻辑门，采用几种不同的设计之一，通常在一个系列中...

电平移位器在数字电子学中，电平移位器，也称为逻辑电平移位器或电压电平转换器，是一种用于将信号从一个逻辑电平或电压域转换到另一个逻辑电平或电压域的电...

替换（逻辑）替换是逻辑学中的一个基本概念。替换是形式表达式上的一种句法转换。对一个表达式应用替换意味着用其他表达式持续替换其变量或占位符。由此产生...

稳定模型语义稳定模型的概念，或者说答案集，被用来定义以否定为失败的逻辑程序的声明性语义。这是逻辑编程中否定意义的几种标准方法之一，另外还有程序完成...

简介否定即失败（简称NAF）是逻辑编程中的一个非单调推理规则，用于推导出{displaystyle~p}，取决于推理算法的完整性，从而也取决于形式逻辑系统。取决于推理...

简介归纳编程（IP）是自动编程的一个特殊领域，涵盖了来自人工智能和编程的研究，它解决了从不完整的规格，如输入/输出实例或约束条件，学习典型的陈述性（逻...

简介与逻辑编程一样，代数值集的缩小提供了一种对未解决或部分解决的方程中的数值进行推理的方法。在逻辑编程依赖解析的地方，代数值集依赖缩小规则。缩小规...

简介缺省逻辑是雷蒙德-赖特提出的一种非单调逻辑，用于将带有缺省假设的推理形式化。默认逻辑可以表达诸如'在默认情况下，某物为真'的事实；相比之下，标准逻...

简介在哲学逻辑中，可抗辩推理是一种在理性上令人信服的推理，尽管在演绎上并不有效。它通常发生在给出一个规则的情况下，但该规则可能有特定的例外，或受制...

约束逻辑编程约束逻辑编程是约束编程的一种形式，其中逻辑编程被扩展到包括约束满足的概念。约束逻辑程序是一个逻辑程序，它在子句的主体中包含约束。如同在...

简介在数理逻辑中，重点证明是通过目标导向的证明搜索产生的一系列分析性证明，是结构证明理论和还原逻辑的研究课题。它们构成了目标导向证明搜索的最一般定...

并发约束逻辑编程并发约束逻辑编程是约束逻辑编程的一个版本，主要目的是对并发过程进行编程，而不是解决约束满足问题（或除此之外）。约束逻辑编程中的目标...

并发逻辑编程并发逻辑编程是逻辑编程的一种变体，其中程序是形式为受保护的霍恩条款的集合。从声明上看，受保护的Horn子句被理解为普通的逻辑暗示。然而，从...

自体物语逻辑自体物语逻辑是一种用于表示和推理关于知识的知识的形式逻辑。命题逻辑只能表达事实，而自态逻辑可以表达关于事实的知识和缺乏知识。稳定模型语...

推理系统在信息技术中，推理系统是一个软件系统，它使用推理和归纳等逻辑技术从现有的知识中生成结论。推理系统在实现人工智能和基于知识的系统方面发挥着重...

类型栖息在类型理论（数理逻辑的一个分支）中，在一个给定的类型微积分中，这个微积分的类型栖息问题是如下问题：给定一个类型与逻辑的关系在简单类型的λ微积...

简介在计算机科学和逻辑学中，从属类型是一种类型，其定义取决于一个值。它是类型理论和类型系统的一个重叠的特征。在直觉类型理论中，从属类型被用来编码逻...

Łukasiewicz逻辑在数学和哲学中，Łukasiewicz逻辑，是一种非经典的多值逻辑。它属于t-norm模糊逻辑和亚结构逻辑的范畴。换句话说，关于未来的陈述既不是真的...

模糊控制系统模糊控制系统是一个基于模糊逻辑的控制系统，模糊逻辑是一个数学系统，它以逻辑变量的形式分析模拟输入值，而逻辑变量具有0和1之间的连续值，与...

简介在计算机科学中，分离逻辑是Hoare逻辑的延伸，是一种程序推理方式。它是由JohnC.Reynolds,PeterO'Hearn,SaminIshtiaq和HongseokYang借鉴RodBurstall的早...

Q0（数学逻辑）Q0是彼得-安德鲁斯（PeterAndrews）对简单类型的羔羊皮微积分的表述，为数学提供了一个可与一阶逻辑加集合论相媲美的基础。它是高阶逻辑的一种...

简介在自动机理论中，顺序逻辑是一种逻辑电路，其输出取决于其输入信号的现值和过去输入的序列，即输入历史。这与组合逻辑形成对比，后者的输出仅是当前输入...

简介在逻辑学中，逻辑框架提供了一种方法来定义（或呈现）一个逻辑作为高阶类型理论中的签名，其方式是原始逻辑中公式的可证明性减少为框架类型理论中的类型...

霍恩条款在数理逻辑和逻辑编程中，霍恩条款是一个具有特殊规则形式的逻辑公式，使其具有用于逻辑编程、形式化规范和模型理论的有用属性。霍恩条款是以逻辑学...