下文中说的公式（formula）即为合式公式（well-formed formula），事实（facts）是封 闭的公式，可能假设（possible hypotheses）是带有自由变元的公式，公式的实例（instance） 是指对原公式中...
基于2378个网页-相关网页
WWF的缩略词_简称_英文缩写_海词缩略语词典 -... ... WWF: World Water Forum 世界水资源论坛 WWF: Well-Formed Formula 合式公式 WWF: World Wide Fulfillment (Microsoft licensing media distribution) 在世界范围内实现(微软许可媒体分布) ...
基于8个网页-相关网页
合式的公式 well formed formula
·2,447,543篇论文数据，部分数据来源于NoteExpress
基于相对系数法和经验公式法提出了一个复合式事例修改策略，通过不同修改规则的优化和组合，保证了事例修改的正确性。
To improve the accuracy of case modification, a relative value and experience mixed modification strategy was put forward to combine and optimize the evaluation rules.
介绍了模糊方法在组合式压杆稳定可靠性计算中的应用，给出了组合式压杆的模糊可靠度计算公式。
We present a fuzzy method for the calculating of sectional compression rod stability. The calculation formula of fuzzy reliability of sectional compression rod stability is given.
合式公式，又称谓词公式，是一种形式语言表达式，即形式系统中按一定规则构成的表达式。按照模型论中一种通行习惯，语言F中的合式公式定义如下：1.原子公式是合式公式； 2.若φ和ψ是合式公式，则(φ∧ψ)及(ᒣφ)是合式公式； 3.若φ是合式公式，而x是变元,则(ᗄx)φ是合式公式；4.有限次地应用1—3所得到的符号序列是合式公式。合式公式有时简称公式，如果一个公式φ中的自由变元都属于集合{x₁，x₂，…，xₑ}，则φ也可以记为φ(x₁，x₂，…，xₑ)，不含量词、自由变元的合式公式，分别称为开公式和闭公式，后者又称语句，例如R(x，y)为开公式，ᗄxR(x)是一个语句，由原子公式及联结词∧，∨，ᗄ，∃构成语句 称为正语句。
应用推荐