产品提交
文章投稿
登录/注册
显示直达
逻辑
逻辑
理论
定理
可编程
系统
函数
布尔
阵列
模糊
橘子
可计算函数的逻辑
可计算函数的逻辑可计算函数的逻辑（LCF）是RobinMilner和合作者在1970年代初在斯坦福和爱丁堡开发的交互式自动定理检验器，基于DanaScott之前提出的可计算函...
功能验证
功能验证在电子设计自动化中，功能验证是验证逻辑设计是否符合规范的任务。功能验证试图回答这样的问题：这个建议的设计是否能达到预期的效果？这是一项复杂...
HOL（证明助手）
简介HOL（高阶逻辑）表示一个使用类似（高阶）逻辑和实现策略的交互式定理证明系统家族。这个系列的系统遵循LCF的方法，因为它们被实现为一个库，该库定义了...
动态逻辑（模态逻辑）
动态逻辑（模态逻辑）在逻辑学、哲学和理论计算机科学中，动态逻辑是模态逻辑的一个扩展，能够对计算机程序的属性进行编码。这说明，如果地面目前是干的，而...
计算树逻辑
计算树逻辑计算树逻辑（CTL）是一种分支时间逻辑，意味着它的时间模型是一个树状结构，其中未来是不确定的；未来有不同的路径，其中任何一条都可能是实现的实...
计算逻辑
计算逻辑计算逻辑是使用逻辑来执行或推理计算的。它与计算机科学和工程的关系类似于数理逻辑与数学的关系以及哲学逻辑与哲学的关系。它是计算机科学中逻辑的...
组合逻辑
组合逻辑组合逻辑在自动机理论中，组合逻辑（也被称为时间无关的逻辑或组合逻辑）是一种数字逻辑，由布尔电路实现，其中输出仅是当前输入的纯函数。这与顺序...
可计算性逻辑
可计算性逻辑可计算性逻辑(CoL)是一个研究计划和数学框架，旨在将逻辑重新发展为一个系统的可计算性形式理论，与作为真理形式理论的经典逻辑相反。它是由Gior...
计算机科学中的逻辑学
计算机科学中的逻辑学计算机科学中的逻辑学涵盖了逻辑学领域和计算机科学领域之间的重叠。该主题基本上可以分为三个主要领域。理论基础和分析使用计算机技术...
符号（形式）
什么是符号（形式）逻辑符号是逻辑学中的一个基本概念，它的标记可能是形成特定模式的标记或标记的配置。虽然符号这个词在通常情况下，有些时候是指被象征的...
解释（逻辑）
解释（逻辑）解释是对一种形式语言的符号的意义分配。许多在数学、逻辑学和理论计算机科学中使用的形式语言完全是用句法术语来定义的，因此在它们被赋予某种...
机构（计算机科学）
机构（计算机科学）机构的概念，目的是处理计算机科学中使用的逻辑系统中的人口爆炸问题。这个概念试图将逻辑系统的非正式概念正式化。机构的使用使得规范语...
制度模式理论
制度模式理论关于社会学中的概念，见制度理论和制度逻辑。在数理逻辑中，制度模型理论将一阶模型理论的很大一部分概括为一个任意的逻辑系统。制度模式理论的...
归纳法
归纳法概述在计算机科学中，协同归纳是一种定义和证明并发互动对象系统属性的技术。协同归纳是结构归纳的数学对偶。协同归纳定义的类型被称为codata，通常是...
混沌计算
混沌计算概述在理论计算机科学中，混沌计算是指使用混沌系统进行计算的想法。特别是，可以使混沌系统产生所有类型的逻辑门，并进一步允许它们相互变形。混沌...
分类逻辑
分类逻辑概述分类逻辑是数学的一个分支，其中类别理论的工具和概念被应用于数理逻辑的研究。从广义上讲，分类逻辑用一个类别来表示语法和语义，用一个放克来...
自动推理
自动推理概述在计算机科学中，特别是在知识表示和推理以及金属逻辑中，自动推理领域致力于理解推理的不同方面。对自动推理的研究有助于产生计算机程序，使计...
胶合逻辑
什么是胶合逻辑在电子学中，胶合逻辑是用于连接大量现成集成电路的定制逻辑电路。这通常通过使用普通、廉价的7400或4000系列组件来实现。在更复杂的情况下，...
逻辑仿真
什么是逻辑仿真逻辑仿真是利用仿真软件来预测数字电路的行为和硬件描述语言。仿真可以在不同程度的物理抽象上进行，例如在晶体管级、门级、寄存器传输级(RTL)...
模糊逻辑
什么是模糊逻辑在逻辑中，模糊逻辑是多值逻辑的一种形式，其中变量的真值可以是0到1之间的任何实数。它用于处理部分真值的概念，其中真值可能介于完全真值之...
控制系统
控制系统控制系统使用控制循环管理、指挥、指导或规范其他设备或系统的行为。它可以从使用恒温器控制家用锅炉的单个家庭供暖控制器到用于控制过程或机器的大...
宏单元阵列
PLD中的宏单元阵列可编程逻辑设备，如可编程阵列逻辑和复杂的可编程逻辑设备，通常在每个输出引脚上都有一个宏单元。宏单元阵列母片通常都是预制的，并大量储...
可编程阵列逻辑
可编程阵列逻辑可编程阵列逻辑（PAL）是Monolithic Memories, Inc.推出的可编程逻辑器件半导体家族，用于在数字电路中实现逻辑功能。（MMI）1978年3月。MMI获...
布尔函数
布尔函数在数学和逻辑中，布尔函数是一个函数，其参数以及函数本身均采用两个元素组成的值（通常为{0,1}）。结果，有时将其称为“切换功能”。应用程序中的布尔...
硅编译器
硅编译器硅编译器是一个软件系统，需要一个用户的规格和自动生成一个集成电路（IC）。该过程有时称为硬件编译。芯片编译分为三个主要步骤：将诸如Verilog或VH...
分子逻辑门
分子逻辑门分子逻辑门是基于一个或多个物理或化学输入和单个输出进行逻辑运算的分子。该领域已经从基于单一化学或物理输入的简单逻辑系统发展到能够进行组合...
归纳逻辑编程
归纳逻辑编程归纳逻辑编程（ALP）是一个高级知识表示框架，可用于基于归纳推理以声明方式解决问题。它通过允许某些谓词未完全定义来扩展常规逻辑编程。解决问...
微处理器
什么是微处理器微处理器是一个 计算机处理器 并入在单一的中央处理单元的功能的集成电路（IC），有时高达8个集成电路。微处理器是一种多功能的，时钟驱动的，...
教育理论
教育理论教育理论是一个培训和学习为目的，应用和解释理论是。教育理论的历史始于18世纪以来的希腊教育家和学者，包括教授和男巫。在20世纪，“理论”涵盖了广...
CMOS
CMOSCMOS，A、P型和N型MOSFET的的数字电路（逻辑电路互补使用电路系统逻辑门等），和此类电子电路和IC。有许多示例是从中衍生出来的，并且模棱两可。CMOS原理...
1
2
3
4
5
添加小工具
点此为“分类归档侧边栏”添加小工具
可计算函数的逻辑
功能验证
HOL（证明助手）
动态逻辑（模态逻辑）
计算树逻辑
计算逻辑
组合逻辑
可计算性逻辑
计算机科学中的逻辑学
符号（形式）
解释（逻辑）
机构（计算机科学）
制度模式理论
归纳法
混沌计算
分类逻辑
自动推理
胶合逻辑
逻辑仿真
模糊逻辑
控制系统
宏单元阵列
可编程阵列逻辑
布尔函数
硅编译器
分子逻辑门
归纳逻辑编程
微处理器
教育理论
CMOS