命题函数

词组短语

propositional function · sentential function

与命题函数相关的网络例句 [注：此内容来源于网络，仅供参考]

The traditional distinction based on the matrix attribute reduction algorithm analysis, for distinction in the matrix "repeat" Too many elements, these "duplicate" elements not only in solving attribute reduction in the process does not work, But also reduce the time efficiency by improving the shortcomings that distinction in the matrix structure in the process of using Proposition calculus in the absorption of the law removed the distinction between the functions of the non-functional "repeat"element, a property Reduction of improved algorithm RADM, improve the efficiency of the attribute reduction.

通过对传统的基于区分矩阵的属性约简算法进行分析后，针对区分矩阵中"重复"元素过多，同时这些"重复"元素非但在求解属性约简的过程中不起作用，而且还降低时间效率这一缺点进行了改进，即在构造区分矩阵的过程中，利用命题演算中的吸收律去掉了在区分函数中不起作用的"重复"元素，提出了一种属性约简的改进算法RADM，提高了属性约简效率。

The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。

This paper firstly introduces the concept of least function dependence set and the minimal fixed point theory, and then analyzes the relation between closure of function dependence set and complete lattice, and puts forward analyzes a concrete solution of least function dependence with use of minimal fixed point theory.

本文尝试采用严密的逻辑方法，利用最小不动点理论去求解最小函数依赖集。1最小函数依赖集(1)函数依赖一个数据依赖是关于关系数据库中关系的属性值之间的相关关系的一个命题，它规定了一个关系数据库的规范所满足的完整性约束条件。

And a counter example about a result of E-convex programming is given.

给出了一类广义的凸集和凸函数——E-凸集和E-凸函数的一个性质；并给出了关于E-凸规划命题的一个反例。

Applying the convexification of nonconvex function and the theorem in Chapter 2, we establish the perturbed optimization in the bounded subsets of the dual of locally convex spaces

运用非凸函数凸化的方法以及第二章给出的命题，在局部凸空间的对偶空间的有界子集上建立相应的的扰动优化和变分原理

If the function is linearly homogeneous it is possible to derive several propositions of interest.

若函数是线性齐次的，可以推导出一些令人感兴趣的命题。

It combines with a raised noun via predication operation to form a new propositional function and constructs a grammatical sentence with the subject.

它们如果要成为句子的谓语，必须首先通过一个谓词化的操作将性质π转化为命题函数，才能成为合格的谓语并与主语结合形成一个合法的句子。

A yuan of 3 second function the propositional means in the university entrance exam is mixed from the extreme value that studies function at first the main character of the function such as drab interval begins, had now

一元三次函数在高考中的命题方式从最初论究函数的极值和单调区间等函数的基本性质开始，现在有了

Based on this we one and for all give the unified definition of 24 kinds distinct limit of the simple function and in new way use intactly, succinctly, systematicly giving prove of set of propositions about the limit of the simple function.

将现有的邻域概念作了适当的扩充，在此基础上，一次性地给出了一元函数的24种不同极限的统一定义，并进而以新的方式更完整、更系统、更简洁地给出了有关一元函数极限的一系列命题的证明。

The closed-characteristic expression is proven to be of a A-class entire function and some related propositions are also given. Based on them a series of nathematic deviations are done, which brings an analytic expression between the controller parameters and the cost funtion as well as the restrictions on the optimization problem. In this way the original proposition is concretized for solving.

从系统的传递函数出发，首先证明系统闭环特征函数为A-类整函数的性质并给出其它有关定理，然后进行一系列数学推导，得出了控制器参数与目标函数间的解析关系式及优化的约束条件，由此产生参数优化的具体命题。

与命题函数相关的网络解释 [注：此内容来源于网络，仅供参考]

propositional connective：命题联结词

propositional calculus 命题演算 | propositional connective 命题联结词 | propositional function 命题函数

propositional function：命题函数

propositional connective 命题联结词 | propositional function 命题函数 | propositional inference 命题推演

propositional function：命题函词;命题函数

命题演算 propositional calculus | 命题函词;命题函数 propositional function | 命题推演 propositional inference

basic propositional function：基本命题函数

basic proposition 基礎命題 | basic propositional function 基本命题函数 | basic protein 碱性蛋白

simple propositional function：简单命题函数

simple piston gauge 简单活塞式压力计 | simple propositional function 简单命题函数 | simple pursuit game 简单追击对策

propositional variable：命题变量

propositional function 命题函数 | propositional variable 命题变量 | proprietary account 业主帐户

universal map：通用映射

universal function 通用函数 | universal map 通用映射 | universal negative proposition 全称否定命题

truth-value function：真值函数

truth value of proposition ==> 真值命题 | truth-value function ==> 真值函数 | truxillic acid ==> 组丝酸

Quantifiers and Bound Variables：量词和约束变量

4. Tacit and Propositional Knowing 默会认识和命题认识 | Ⅲ. Quantifiers and Bound Variables 量词和约束变量 | 1. Functions and Concepts 函数和概念