1) precomplete sets
准完备集
1.
One important problem in multiple-valued logic theory is the decision on Sheffer functions, which depends on deciding all precomplete sets, and the solution can be reduced to determining the minimal covering of .
此问题的解决依赖于定出所有准完备集,并可归结为定出所有准完备集的最小覆盖。
2.
The determinant algorithm of the Sheffer function in partial three-valued Logic is given,based on the completeness theory in partial k-valued logic and the minimal covering of precomplete sets in partial three-valued logic.
根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
2) maximal closed sets(precomplete sets)
极大封闭集(准完备集)
3) Precomplete Classes
准完备集(极大封闭集)
4) quasi perfect code
准完备码
5) perfect set
完备集
1.
Finally, a special corresponding relation of point and functional value on perfect set C is presented by the method of binary and ternary decimal mumber.
将康托函数拓广为一个奇异分布函数,然后讨论了该分布函数的连续性和奇异性,在闭区间〔0,1〕上的相似性和平移性,最后以二进制和三进制小数为工具讨论了完备集C上的点与函数值间特殊的对应关系。
6) complete set
完备集
1.
The complete set of angular momentum eigenfunctions in the ultraspherical multidimensional space are obtained.
利用复变函数及高级超越函数的性质 ,得到了多维超球空间中广义解动量波函数的完备集 ,给出了多维超球空广义角动量的本征值 ,多维空间中平面波展开关系式及其它关系
2.
Then the power set 2X of X forms an algebraic system together with four operations: intersection, union,differece and complement,This paper gives several minimal complete sets with above four operations.
选取一个非空集合X作为全集,2~X对交,并,差,补四种运算作成一个代数系统,文中给出了这四种运算的几个极小完备集。
补充资料:准契约的准据法
准契约为契约以外的债务关系,即没有双方当事人的同意,由于一方的行为或事实依法律规定所产生的债务关系。就大多数国家而言,准契约包括无因管理及不当得利,其准据法没有区别;有的法律将两者分别加以规定,其准据法也有所不同。
事实发生地法 依大多数国家法律的规定,准契约的准据法为事实发生地法。其理由在于准契约既然由于一方的行为或事实所产生,无因管理行为的实施地、不当得利的给付地就是这种法律关系的所在地,当然是最自然的连结因素(见连结根据),这是一个客观的,不偏袒任何一方的因素,也是实际上最方便的因素,因为判断一个行为是否有正当原因和是否发生债务关系,只能根据这个地方的法律的规定。
支配原来法律关系的法律 如果无因管理或不当得利不是由一个独立的行为或事实所构成,而是由原先存在的法律关系所产生,例如由于代理人的越权或代理关系消灭后所产生的无因管理,由于买卖合同无效或被取消而产生的不当得利,这时就应适用原来支配代理关系及买卖合同的法律来处理这种无因管理及不当得利,即适用支配其所由产生的法律关系的法律,而不适用事实发生地法。因为在这种情况下,事实发生地只是一个偶然的连结因素,而原先的法律关系是决定性的因素。1940年的蒙得维的亚《国际民法条约》第43条末句,和《布斯塔曼特法典》第222条,都采取这个主张。
其他法律 由于侵权行为和准契约都由当事人双方中的一方造成,二者虽有违法与不违法之分,但有的国家对二者不加区别,二者的准据法也没有区别。例如1942年《意大利民法典》前加编第25条规定,以侵权行为的准据法为准契约的准据法。在分别规定无因管理及不当得利的法律中,例如《布斯塔曼特法典》,则规定无因管理依事实发生地法,而不当得利首先依各当事人的共同属人法,无共同属人法时才依给付地法。这种见解受19世纪后期欧洲大陆法系影响,是扩大属人法的适用范围的反映。
判断无因管理财产行为所产生的物权效果,以及财产权是否已经取得或消灭,适用财产所在地法。
事实发生地法 依大多数国家法律的规定,准契约的准据法为事实发生地法。其理由在于准契约既然由于一方的行为或事实所产生,无因管理行为的实施地、不当得利的给付地就是这种法律关系的所在地,当然是最自然的连结因素(见连结根据),这是一个客观的,不偏袒任何一方的因素,也是实际上最方便的因素,因为判断一个行为是否有正当原因和是否发生债务关系,只能根据这个地方的法律的规定。
支配原来法律关系的法律 如果无因管理或不当得利不是由一个独立的行为或事实所构成,而是由原先存在的法律关系所产生,例如由于代理人的越权或代理关系消灭后所产生的无因管理,由于买卖合同无效或被取消而产生的不当得利,这时就应适用原来支配代理关系及买卖合同的法律来处理这种无因管理及不当得利,即适用支配其所由产生的法律关系的法律,而不适用事实发生地法。因为在这种情况下,事实发生地只是一个偶然的连结因素,而原先的法律关系是决定性的因素。1940年的蒙得维的亚《国际民法条约》第43条末句,和《布斯塔曼特法典》第222条,都采取这个主张。
其他法律 由于侵权行为和准契约都由当事人双方中的一方造成,二者虽有违法与不违法之分,但有的国家对二者不加区别,二者的准据法也没有区别。例如1942年《意大利民法典》前加编第25条规定,以侵权行为的准据法为准契约的准据法。在分别规定无因管理及不当得利的法律中,例如《布斯塔曼特法典》,则规定无因管理依事实发生地法,而不当得利首先依各当事人的共同属人法,无共同属人法时才依给付地法。这种见解受19世纪后期欧洲大陆法系影响,是扩大属人法的适用范围的反映。
判断无因管理财产行为所产生的物权效果,以及财产权是否已经取得或消灭,适用财产所在地法。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条