期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
对称逻辑度量次范整子空间及其性质
1
作者
楼志刚
刘宏昭
胡明娣
《计算机工程与应用》
CSCD
2013年第5期40-43,共4页
在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了...
在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了次范整线性子空间,并讨论了该子空间的简单性质。
展开更多
关键词
对称布尔函数
对称逻辑公式
次范整线性空间
真度
对称逻辑子空间
经典逻辑度量空间
在线阅读
下载PDF
职称材料
题名
对称逻辑度量次范整子空间及其性质
1
作者
楼志刚
刘宏昭
胡明娣
机构
西安理工大学机械与精密仪器工程学院
西安邮电大学通信与信息工程学院
出处
《计算机工程与应用》
CSCD
2013年第5期40-43,共4页
基金
陕西省基金项目(No.102-00X903)
文摘
在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了次范整线性子空间,并讨论了该子空间的简单性质。
关键词
对称布尔函数
对称逻辑公式
次范整线性空间
真度
对称逻辑子空间
经典逻辑度量空间
Keywords
symmetric
Boolean function
symmetric
logic
formula
z（
2）
-
normable
linear
logic
space
norm
symmetric logic z（2）- normable linear sub-space
classical
logic
metric space
分类号
O159 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
对称逻辑度量次范整子空间及其性质
楼志刚
刘宏昭
胡明娣
《计算机工程与应用》
CSCD
2013
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
