公式-一流百科

体重

体重体重是一个人的质量或重量。严格来说，体重是人体不带物品的重量测量值。但实际上，可以穿着衣服测量体重，但不穿鞋或手机和钱包等沉重的配件，并使用手...

词条百科

德雷克公式

德雷克公式德雷克公式是一种概率论证，用于估计银河系中活跃的、可交流的地外文明的数量。该方程总结了科学家在考虑其他无线电通信生命问题时必须考虑的主要...

词条百科

花程式

花程式花程序式是表示特定类型花的结构的符号。这些符号使用数字、字母和各种符号以紧凑的形式传达重要信息。它们可能代表特定物种的花型，或者可能被概括...

词条百科

有效介质近似理论

有效介质近似理论在材料科学中，有效介质近似 (EMA) 或有效介质理论 (EMT) 属于描述复合材料宏观特性的分析或理论建模。 EMA 或 EMT 是通过对直接构成复合材...

词条百科

共识主动性

共识主动性共识主动态是一种通过环境在代理或动作之间进行间接协调的机制。其原理是，个体行为在环境中留下的痕迹会刺激相同或不同xxx执行后续行为。对环...

词条百科

克莱因-仁科公式

克莱因-仁科公式在粒子物理学中，克莱因-仁科公式给出了从单个自由电子散射的光子的微分截面（即可能性和角度分布），以量子电动力学的最低阶计算。该公式...

词条百科

蔡希公式

蔡希公式蔡希公式是一个半经验阻力方程，用于估计明渠管道中的平均流速。 Chézy 发现了一个相似性参数，可用于根据另一个通道的测量值来估计一个通道中的流量...

词条百科

自动化定理证明

自动化学定义证明自动化定理证明（也称为 ATP 或自动演绎）是自动推理和数学逻辑的一个子领域，涉及通过计算机程序证明数学定理。基于数学证明的自动推理是...

词条百科

哥德尔数

哥德尔数在数理逻辑中，哥德数是一种函数，它为某些形式语言的每个符号和格式正确的公式分配一个xxx的自然数，称为哥德尔数。这个概念是由库尔特·哥德尔为证...

词条百科

马尔可夫算法

马尔可夫算法在理论计算机科学中，马尔可夫算法是一种字符串重写系统，它使用类似语法的规则对符号字符串进行操作。马尔可夫算法已被证明是图灵完备的，这意...

词条百科

凯利公式

凯利公式在概率论中，凯利公式是一个确定下注最佳理论规模的公式。当预期收益已知时，它是有效的。因为从长远来看，凯利标准比任何其他策略都带来更高的财富...

词条百科

共识机制

共识机制分布式计算和多代理系统中的一个基本问题是，在存在一些故障进程的情况下，实现系统的整体可靠性。这往往需要协调进程来达成共识，或者就计算过程中...

词条百科

重叠-存储之卷积法

简介在信号处理中，重叠-保存是评估一个很长的信号x [ n ] {displaystyle x[n]}和一个有限脉冲响应（FIR）滤波器h [ n ] {displaystyle h[n]}之间离散卷积的...

词条百科

决策列表

简介决策列表是布尔函数的一种表示方法，可以很容易地从实例中学习。单项决策列表比二连词和连词更有表达力；但是，单项决策列表的表达力不如一般的二连词正...

词条百科

标准翻译

标准翻译在模态逻辑中，标准翻译是将模态逻辑的公式转化为一阶逻辑的公式的一种方式，它可以捕捉模态公式的意义。标准翻译是在公式的结构上归纳定义的。简而...

词条百科

S5（模态逻辑）

S5（模态逻辑）在逻辑和哲学中，S5是克拉伦斯-欧文-刘易斯和库珀-哈罗德-兰福德在1932年的《符号逻辑》一书中提出的五个模态逻辑系统之一。它是一种正常的模...

词条百科

模态深度

模态深度在模态逻辑中，一个公式的模态深度是模态运算符的最深嵌套（通常为).没有模态运算符的模态公式的模态深度为零。模态深度的定义模态深度可以被定义如...

词条百科

混合逻辑

简介混合逻辑是指对命题模态逻辑的一些扩展，具有更强的表达能力，尽管仍低于一阶逻辑。在形式逻辑中，表现力和计算的可操作性之间存在着权衡。混合逻辑的历...

词条百科

有限模型属性

简介在数理逻辑中，如果L的任何非定理都被L的某个有限模型所证伪，则逻辑L具有有限模型属性（简称fmp）。另一种说法是，如果对于L的每个公式A，当且仅当A是L...

词条百科

布里丹公式

简介在量化模态逻辑中，布里丹公式和可转换的布里丹公式（更准确地说，是模式而不是公式）（i）在句法上说明量词和模态之间的互换原则；（ii）在语义上说明可...

词条百科

巴肯公式

简介在量化模态逻辑中，巴肯公式和相反的巴肯公式（更准确地说，是图式而不是公式）（i）在语法上陈述了量词和模态之间的互换原则；（ii）在语义上陈述了可能...

词条百科

模态逻辑

模态逻辑模态逻辑是为表示关于必然性和可能性的声明而开发的形式系统的集合。它在语言哲学、认识论、形而上学和自然语言语义学中发挥着重要作用。模态逻辑通...

词条百科

分析表法

分析表法在证明理论中，是句法和相关逻辑的决策程序，也是一阶逻辑公式的证明程序。一个分析表是为一个逻辑公式计算的树状结构，在每个节点上都有一个要证明...

词条百科

DPLL算法

DPLL算法在逻辑学和计算机科学中，（DPLL）算法是一种完整的、基于回溯的搜索算法，用于决定共轭正常形式下命题逻辑公式的可满足性，即用于解决CNF-SAT问题。...

词条百科

框架问题

简介在人工智能领域，框架问题描述了使用一阶逻辑（FOL）来表达世界上的机器人的事实的问题。用传统的FOL来表示机器人的状态需要使用许多公理，这些公理仅仅...

词条百科

重点证明

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

词条百科

新基础

什么是新基础在数理逻辑中，新基础（NF）是一种公理集合理论，由威拉德-范-奥曼-奎因设想为《数学原理》中类型理论的简化。奎因在1937年一篇题为《数学逻辑的...

词条百科

布彻群

什么是布彻群在数学中，布彻群是以新西兰数学家JohnC.Butcher的名字命名的，由Hairer&Wanner(1974)，是一个无穷大的李群，首先在数值分析中引入，用于研...

词条百科

弗雷格系统

简介在证明复杂性中，弗雷格系统是一个命题证明系统，其证明是使用有限的健全和隐含完整的推理规则得出的公式序列。弗雷格系统（在一般证明理论中更多地被称...

词条百科

事件微积分

事件微积分事件微积分是一种用于表示和推理事件及其影响的逻辑语言，由RobertKowalski和MarekSergot于1986年首次提出。它在20世纪90年代被MurrayShanahan和Ro...

词条百科

1 2