排序方式: 共有25条查询结果,搜索用时 15 毫秒
1.
极小项与极大项的运算性质 总被引:2,自引:0,他引:2
研究了极小项、极大项的运算性质,给出了一组运算公式,利用这些运算公式可以使求命题公式的主范式运算更简洁。 相似文献
2.
方天申 《信阳师范学院学报(自然科学版)》2001,14(2):170-171
根据逻辑函数最小项和最大项定义,探讨其运算规律,得出几个运算规则公式。根据这些公式,导出了逻辑函数之间的运算性质。 相似文献
3.
本文阐述了加强大项经费管理的意义,对大项经费的表象问题和本质原因进行了剖析,并提出了加强大项经费管控的对策思路。 相似文献
4.
5.
郑少薇 《华南师范大学学报(自然科学版)》2003,(3):43-48
研究Dirichlet级数的系数、指数、最大项、和函数的最大模与它的正规增长性的关系,刻划右半复平面上零级增长的Dirichlet级数的性质. 相似文献
6.
广义Laplace-Stieltjes变换的(p,q)级 总被引:2,自引:0,他引:2
研究了定义在右半平面的一条从原点出发的Jordan曲线上的广义Laplace-Stieltjes变换所表示的整函数F(s)的增长性.首先定义F(s)在圆周|z|=r上的最大模M(r,F)和最大项m(r,F);其次介绍由最大模所表示的(p,q)级;最后经过研究发现了由最大模所表示的(p,q)级与A_n、λ_n(n=1,2,…)所表示的(p,q)级之间的等价关系. 相似文献
7.
张型岱 《牡丹江师范学院学报(自然科学版)》2002,(3):20-21
文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求A,A ∨ B,A ∧ B,A→B,AB的主范式的公式,由此可用程序化的方法求任意公式的主范式。 相似文献
8.
许寿椿 《中央民族大学学报(自然科学版)》2002,11(1):21-34
本文在作者[20-22]工作的基础上,提出利用与Cn对偶的极大平面图gk研究碳笼分子图的方法,指出当取gk的某个单个点v为参照点时,若与v距离为i的点集合Vi导出的子图Gi,最远子图为Gr,则Gi(0<i<r)实际是圈Ci,即gk被分解为v,C1,C2,C3,……………Cr-1,Gr1,n1,n2,n3,……………nr-1,nrni是Vi中的点数,即Gk中的点数,ni(i=0,1,2,……r)组成层序列,本文给出并论证了序列ni为Cn之层序列的相容性条件,包括a1~n1~n2,只能是1~5~10或1~6~m,9<=m<=12b层序列中间相邻三项m~k~n,必有2k-[k/2]<=m+n<=2k且k所对应层圈上五次点个数为2k-(m+n)c层序列前部若干项是严格递升的,后部各项是严格递降的,中部最大项可能是单项,也可能是相等的连续若干项,并且证明中间两项若相等,则必为最大项.d利用全部五次点为12个,导出n2-n1+nr-2-nr-1=12-(G0,C1,Cr-1,Gr上五次点数之和)f设层序列最后三项为n-m-k,并设Gr上五次点个数为k5,边数为er,给出计算m的公式及m对应圈上五次点个数fm与n的关系式.就基本的简单的26种远端结构绘出图谱(见图4)及计算得到的相应参数表(见表1). 相似文献
9.
10.