比浏览器更快的访问！
13 关系: 卡诺图，启发法，威拉德·冯·奥曼·蒯因，布尔代数，布尔函数，算法，规范形式 (布尔代数)，蕴涵项，逻辑综合，MATLAB，Python，析取范式，指数。
卡诺图
卡诺图是真值表的变形，它可以将有n个变量的逻辑函数的2^n个最小项组织在给定的长方形表格中，同时为相邻最小项（相邻与项）运用邻接律化简提供了直观的图形工具。但是，如果需要处理的逻辑函数的自变量较多，那么卡诺图的行列数将迅速增加，使图形更加复杂；此外，卡诺图的图形化表示方法不适合直接用于算法的设计，因此计算机辅助工程工具一般不会使用卡诺图来进行逻辑函数的优化。 卡诺图是贝尔实验室的电信工程师，在1953年发明的。.
新！!: 奎因－麦克拉斯基算法和卡诺图 · 查看更多 »
启发法
启发法（heuristics，源自古希腊语的εὑρίσκω，又译作：策略法、助发现法、启发力、捷思法）是指依据有限的知识（或“不完整的信息”）在短时间内找到问题解决方案的一种技术。它是一种依据关于系统的有限认知和假说从而得到关于此系统的结论的分析行为。由此得到的解决方案有可能会偏离最佳方案。通过与最佳方案的对比，可以确保启发法的质量。 典型的启发法有试错法和排除法。鉴于启发法基于经验，有时它也可能是基于错误的经验（如感知偏离和伪关系）。.
新！!: 奎因－麦克拉斯基算法和启发法 · 查看更多 »
威拉德·冯·奥曼·蒯因
威拉德·冯·奥曼·蒯因（Willard Van Orman Quine，），20世纪最有影响的美国哲学家、逻辑学家之一。出生富裕家庭，其父為一成功的實業家，其母則任職教師。1926年入歐柏林大學，1930年得數學與哲學學士，1932即於哈佛大學取得哲學博士學位。奎因在哈佛大學任教時為全校薪金最高的教職員。.
新！!: 奎因－麦克拉斯基算法和威拉德·冯·奥曼·蒯因 · 查看更多 »
布尔代数
在抽象代数中，布尔代数(Boolean algebra)是捕获了集合运算和逻辑运算二者的根本性质的一个代数结构（就是说一组元素和服从定义的公理的在这些元素上运算）。特别是，它处理集合运算交集、并集、补集；和逻辑运算与、或、非。 例如，逻辑断言陈述a和它的否定¬a不能都同时为真， 相似于集合论断言子集A和它的补集AC有空交集， 因为真值可以在逻辑电路中表示为二进制数或电平，这种相似性同样扩展到它们，所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数，在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格（特殊的偏序集合）是在集合包含A ⊆ B和次序 a ≤ b之间的相似所预示的。考虑的所有子集按照包含排序的格。这个布尔格是偏序集合，在其中 ≤ 。任何两个格的元素，比如p .
新！!: 奎因－麦克拉斯基算法和布尔代数 · 查看更多 »
布尔函数
在数学中，布尔函数（Boolean function）描述如何基于对布尔输入的某种逻辑计算确定布尔值输出。它们在复杂性理论的问题和数字计算机的芯片设计中扮演基础角色。布尔函数的性质在密码学中扮演关键角色，特别是在对称密钥算法的设计中（参见S-box）。.
新！!: 奎因－麦克拉斯基算法和布尔函数 · 查看更多 »
算法
-- 算法（algorithm），在數學（算學）和電腦科學之中，為任何良定义的具體計算步驟的一个序列，常用於計算、和自動推理。精確而言，算法是一個表示爲有限長列表的。算法應包含清晰定義的指令用於計算函數。 算法中的指令描述的是一個計算，當其時能從一個初始狀態和初始輸入（可能爲空）開始，經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化算法在内的一些算法，包含了一些隨機輸入。 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题，並在其后尝试定义或者中成形。这些尝试包括库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的遞歸函數，阿隆佐·邱奇於1936年提出的λ演算，1936年的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前，依然常有直覺想法難以定義爲形式化算法的情況。.
新！!: 奎因－麦克拉斯基算法和算法 · 查看更多 »
规范形式 (布尔代数)
布尔代数中，由标准逻辑运算符组成的布尔函数可以按利用了对偶性“极小项”和“极大项”的概念的规范形式来表达。.
新！!: 奎因－麦克拉斯基算法和规范形式 (布尔代数) · 查看更多 »
蕴涵项
在布尔逻辑的積項和式中(和項積式亦可)，乘积项P 是布尔函数 F 的蕴涵项（implicant），如果 P 蕴涵 F。更加准确的说：.
新！!: 奎因－麦克拉斯基算法和蕴涵项 · 查看更多 »
逻辑综合
在集成电路设计中，邏輯合成（logic synthesis）是所设计数字电路的高抽象级描述，经过布尔函数化简、优化后，转换到的逻辑门级别的电路连线网表的过程。.
新！!: 奎因－麦克拉斯基算法和逻辑综合 · 查看更多 »
MATLAB
MATLAB（矩阵实验室）是MATrix LABoratory的缩写，是一款由美国The MathWorks公司出品的商业数学软件。MATLAB是一种用于算法开发、数据可视化、数据分析以及数值计算的高级技术计算语言和交互式环境。除了矩阵运算、绘制函数/数据图像等常用功能外，MATLAB还可以用来创建用户界面及与调用其它语言（包括C、C++、Java、Python和FORTRAN）编写的程序。 尽管MATLAB主要用于数值运算，但利用为数众多的附加工具箱（Toolbox）它也适合不同领域的应用，例如控制系统设计与分析、图像处理、信号处理与通讯、金融建模和分析等。另外还有一个配套软件包Simulink，提供一个可视化开发环境，常用于系统模拟、动态/嵌入式系统开发等方面。.
新！!: 奎因－麦克拉斯基算法和MATLAB · 查看更多 »
Python
Python（ ），是一种广泛使用的高级编程语言，属于通用型编程语言，由吉多·范罗苏姆创造，第一版发布于1991年。可以視之為一種改良（加入一些其他程式語言的優點，如物件導向）的LISP。作为一种解释型语言，Python的设计哲学强调代码的可读性和简洁的语法（尤其是使用空格缩进划分代码块，而非使用大括号或者关键词）。相比於C++或Java，Python让开发者能够用更少的代码表达想法。不管是小型还是大型程序，该语言都试图让程序的结构清晰明了。 与Scheme、Ruby、Perl、Tcl等动态类型编程语言一样，Python拥有动态类型系统和垃圾回收功能，能够自动管理内存使用，并且支持多种编程范式，包括面向对象、命令式、函数式和过程式编程。其本身拥有一个巨大而广泛的标准库。 Python 解释器本身几乎可以在所有的操作系统中运行。Python的正式直譯器CPython是用C语言编写的、是一個由社群驱动的自由软件，目前由Python软件基金会管理。.
新！!: 奎因－麦克拉斯基算法和Python · 查看更多 »
析取范式
在布尔逻辑中，析取范式(DNF)是逻辑公式的标准化（或规范化），它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个合取的析取。同合取范式（CNF）一样，在 DNF 中的命题算子是与、或和非。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。例如，下列公式都是 DNF: 但如下公式不是 DNF: 把公式转换成 DNF 要使用逻辑等价，比如双重否定除去、德·摩根定律和分配律。注意所有逻辑公式都可以转换成析取范式。但是，在某些情况下转换成 DNF 可能导致公式的指数性爆涨。例如，在 DNF 形式下，如下逻辑公式有 2n 个项：.
新！!: 奎因－麦克拉斯基算法和析取范式 · 查看更多 »
指数
没有描述。
新！!: 奎因－麦克拉斯基算法和指数 · 查看更多 »
