Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule.
将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。
Two ghosts" is the generalization made by Zhou Zuoren of self-contradictoriness, and is also the universal recognition of him."
两个鬼”是周作人对自身矛盾性的一种概括，亦是人们对他的普遍认识。
The idea of university is the most fundamental rational recognition of university, which has universal philosophy generalization. It can be expressed by the simplest concepts.
大学理念是人们对大学的最基本的理性认识和具有普遍意义的最高哲学抽象，一般可用最简单的概念形式表述出来。
This paper gives the definition of parameterized generalization of quantum universal gates, and analyzes the parameterization of single qubit gates, double qubit gates and triple qubit gates.
主要研究参数化的广义量子通用相位门，给出了单比特量子门、双比特量子门以及三比特量子门的参数化构造。
This paper gives the definition of parameterized generalization of quantum universal gates, and analyzes the parameterization of single qubit gates, double qubit gates and triple qubit gates.
主要研究参数化的广义量子通用相位门，给出了单比特量子门、双比特量子门以及三比特量子门的参数化构造。
应用推荐