首页> 中文期刊> 《长江工程职业技术学院学报》 >环上向量空间的逻辑结构

环上向量空间的逻辑结构

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文简要地讨论向量空间的逻辑基础,说明向量空间是精确地建立在最简单的公理组的基础上的.我从三方面加以阐述:(1)以向量空间作为“数学背景”引进它的形式系统.(2)向量空间仅是这形式系统的一个模型.(3)向量空间的定理相应地在形式系统中有一个形式证明.

著录项

来源
《长江工程职业技术学院学报》 |1990年第1期|P.59-63|共5页
作者
刘恒兴;
展开▼
作者单位

展开▼
原文格式 PDF
正文语种 chi
中图分类职业技术教育;
关键词
向量空间; 形式系统; 逻辑基础; 个体常元; 一阶语言; 逻辑法; 符号库; 任意项; 数学背景; 合式公式;

相似文献

中文文献
外文文献
专利

1. 局部域上n维向量空间上的Hardy空间与局部Hardy空间 [J] . 周广才 . 南京大学学报：数学半年刊 . 1994,第002期
2. 环上典型群及其在Galois环上矩阵集合分类上的应用 [J] . 吴炎 ,符昌昭 ,邢灵博 . 琼州学院学报 . 2006,第002期
3. 向量空间上的仿射包含图 [J] . 王丽 ,黄迪 . 河南科技大学学报（自然科学版） . 2020,第004期
4. 有限向量空间上的部分对称双线性函数构造的纠错码 [J] . 齐艳芳 ,刘粉燕 . 廊坊师范学院学报（自然科学版） . 2019,第002期
5. 基于有限域上向量空间的压缩感知矩阵的构造 [J] . 刘雪梅 ,范倩瑜 ,盛受琼 . 黑龙江大学自然科学学报 . 2019,第003期
6. 从逻辑结构上对１０个Ｂｅｎｃｈｍａｒｋ电路进行分析的初步结果 [C] . 梁煜 . 全国第八届ＣＡＤ／ＣＧ学术年会 . 1994
7. 利用有限局部环Z/pZ上的向量空间构作Cartesian认证码 [A] . 吴仲霖 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号