1) polynomial clause subset
多项式子句集
1.
In this paper,we propose a new class of Petri nets,higher-order Petri nets (HOPN s),which can be applied to polynomial clause subset of first-order predicate logic.
提出了一种新型Ｐｅｔｒｉ网———高阶Ｐｅｔｒｉ网，这种网可以应用于一阶谓词逻辑中的多项式子句集问题；还研究了目标转移结点Ｔ－不变量之间的关系，最后给出了几个例子。
2) subset phrasing
子集句式
4) chessman polgnomial
棋子多项式
1.
The limited condition of alternate permutation to utilize character of chessman polgnomial sets up recurrence relations and educes two math question about formula of permutation figure.
变更错排问题的限制条件 ,利用棋子多项式的性质建立递推关系 ,推出两个问题的排列数公式 。
5) polynomial functor
多项式函子
补充资料：多项式乘多项式法则
Image:1173836820929048.jpg
多项式乘多项式法则
先用一个多项式的每一项乘以另一个多项式的每一项，再把所得的积相加。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。