说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 次*自反
1)  * subreflexivity
次*自反
2)  sub-reflexive spaces
次自反空间
1.
Some existent characterizations on sub-reflexive spaces;
次*自反空间的某些存在特征
3)  graded torsionless
分次半自反
4)  minor(anti) self_conjugate matrix
(反)次自共轭矩阵
5)  inverse self-conjugate matrix about secondary diagonal
次反自共轭矩阵
1.
Some properties on self-conjugate matrix and inverse self-conjugate matrix about secondary diagonal are studied.
首先证明次自共轭矩阵A,B的和,实数k与A的乘积,A的2k次幂及A-1仍是次自共轭矩阵;其次给出次反自共轭矩阵的一些与次自共轭矩阵类似的性质和它的一个特殊性质,最后讨论次自共轭矩阵与Hermite矩阵之间的关系并给出任意A可表为一个次自共轭矩阵和一个次反自共轭矩阵之和的结论。
6)  autoadapted subtraction of multiples
多次反射的自适应消减
补充资料:自反性


自反性
reflexivity

  自反性[reflex州ty:pe如e砍”BH0cT“」 二元关系的一个性质.集合A上的二元关系(场-nary relation)R是自反的(re份xive),如果对所有的a‘A有aRa.自反关系的例子有相等关系,等价关系,序关系.T.c.中呻aHoBa撰赵希顺译可驳公式[re加妞b.forlnl山;onponep狱”Ma,加pMy-,],形式可驳公式(formally refutahlefo功叫da),在给定公式系统中 其否定可以在给定系统中推导出的闭公式. B .H.fpH山班n撰【补注】给定逻辑系统中的闭公式A是形式可判定的(由c翻巨b比)(见可判定公式(de‘dable ror丽a3,’茹果A是可证的或可驳的.
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条