公式-第 2 页-一流百科

可满足性模数理论

可满足性模数理论在计算机科学和数理逻辑中，可满足性模数理论（SMT）是确定一个数学公式是否可满足的问题。它将布尔可满足性问题（SAT）概括为涉及实数、整...

词条百科

SAT解算器

SAT解算器SAT解算器在计算机科学和形式化方法中，SAT解算器是一个旨在解决布尔可满足性问题的计算机程序。在输入一个布尔变量的公式时，比如（x或y）和（x或...

词条百科

布尔可满足性问题

布尔可满足性问题在逻辑学和计算机科学中，布尔可满足性问题（有时称为命题可满足性问题，缩写为SATISFIABILITY，SAT或B-SAT）是确定是否存在一个满足给定布...

词条百科

形式证明

什么是形式证明在逻辑学和数学中，形式证明或推导是一个有限的句子序列，其中每个句子都是一个公理，一个假设，或通过一个推理规则从序列中的前面的句子推导...

词条百科

不饱和度

不饱和度在分析有机分子的分子式时，不饱和度（也称为缺氢指数（IHD）、双键当量或不饱和指数）是决定环数和π键总数的计算。有机化学中使用公式来帮助绘制化...

词条百科

液压间隙

液压间隙液压间隙。狭窄间隙中的流动在液压系统部件设计中至关重要。如果高度与间隙的宽度相比可以忽略不计，例如液压泵，液压马达和滑阀中的大部分间隙，滑...

词条百科

李楠欣

中文名：李楠欣别名：粟粟国籍：中国民族：汉族星座：金牛座血型：B型身高： 160CM出生地：成都出生日期：5.5职业：艺人代表作品...

词条百科

湿度

基本形式一台湿度计正在纪录相对湿度湿度有三种基本形式，即水汽压、相对湿度、露点温度。（曾称为xxx湿度）表示空气中水汽部分的压强，单位以百帕（hPa）为...

词条百科

1 2