Church Monoid的集合表示

来源 :广西大学学报：自然科学版 | 被引量 : 0次 | 上传用户：weihc

【摘要】

：

Stone Representation Theorem之于Boolean Algebra就象Cayley Theorem 之于Ab s tract Group Theory一样重要.本文推广Stone Representation Theorem中所用的方法给出了Chur

【作者】

：

周春来

【机构】

：

中国社会科学院研究生院

【出处】

：

广西大学学报：自然科学版

【发表日期】

：

2001年3期

【关键词】

：

STONE Representation Theorem CHURCH MONOID 有向集有向锥关系代数相干逻辑集合表示 Stone Represen

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Stone Representation Theorem之于Boolean Algebra就象Cayley Theorem 之于Ab s tract Group Theory一样重要.本文推广Stone Representation Theorem中所用的方法给出了Church Monoid的集合表示.而且根据此表示定理,给出了定理1的一个新证明.在证明的过程中,得到了一些抽象代数与关系代数的对应关系.

其他文献

建设银行在国民经济调整中发挥银行职能作用的几个问题

【正】建设银行是管理固定资产投资的国家专业银行。担负着管理基本建设支出预算和财务,办理基本建设和挖、革、改的拨款、贷款和存款等业务。具有财政和银行的双重职能。在

期刊

固定资产投资基本建设投资建设银行国民经济调整建设规模简单再生产折旧基金职能作用国家计划生产能力

新农村建设中我国农村金融存在的问题及策略

农村金融是构成一国宏观金融体系的重要组成部分。通过对农村金融发展现状和存在的问题分析来看，我国农村金融的困境日益凸现，农村金融落后已成为制约我国建设社会主义新农村的

期刊

新农村建设农村金融问题策略new rural reconstruction rural finance question strategy

浅议经济核算

【正】一、经济核算是个经济范畴在我国社会主义制度下,基于公有制,国家可以有计划地统一组织,管理和领导整个国民经济。但是为求社会生产力向高度电气化、自动化和遥控自动

期刊

经济核算宏观经济效果工业企业经济范畴物质利益原则社会主义制度国民经济经济计算生产资料公有制经济关系

初论物质利益规律

人们常说,社会主义要贯彻物质利益原则。其实,在社会经济生活中,有一条物质利益规律。这条规律不但存在于社会主义社会,而且贯串于整个人类的历史,它是一条与人类社会共存的

期刊

物质利益原则物质利益规律社会主义社会社会主义条件下物质资料生产关系资产阶级基本经济规律劳动群众劳动者

固定资产折旧的几个问题

【正】我国在向"四化"进军过程中,除了按照我国国情和国力可能,新建一批重点企业,引进一些必要的先进技术设备外,充分发挥现有数十万个企业的作用,更新改造原有设备,挖掘其

期刊

劳动手段使用价值无形损耗折旧基金折旧率更新改造扩大再生产有形损耗固定资金使用时期

《关于提高基本建设投资效益问题》一书简介

【正】《关于提高基本建设投资效益问题》一书,是董霞飞、艾凡、罗萍同志译白苏联切尔尼亚夫斯基编写的一本理论性专著(1980年版)。全书共分四章,约计14万字。该书由中国财

期刊

固定资产投资效益基本建设投资扩大再生产社会主义中国财政国民收入新华书店经济范畴经济出版社公开发行

矿物资源工程专业课程体系研究

结合广西矿业发展对矿产资源开发与加工高级工程技术人才的需求,探讨了矿物资源工程专业毕业生必须具备的能力与素质及课程体系建设的原则,建立了该专业的课程体系.

期刊

课程体系矿物资源工程采矿工程矿物加工工程

发展中的城域网

阐述了城域网的定义,组成结构,传输方式、目前所用的技术方案和发展趋势.

期刊

城域网传输多业务提供平台DWDMtheMetropolitan Area networktransportmultiservice offer p

提高液压传动课程教学质量的实践和思考

探讨了液压传动课程在学时减少、学科内容不断增加的形势下,如何保证教学质量,以培养适合社会发展需要、具有创新能力的工程人才.

期刊

液压传动教学质量能力培养

根瘤菌胞外多糖的结构与功能性研究

豆科植物根瘤菌产生的胞外多糖（EPS），其结构组成在快生根瘤菌与慢生根瘤菌之间存在差异，研究EPS的合成与调控，发现EPS具有信号功能、免疫调节功能和抗肿瘤的功能．

期刊

根瘤菌胞外多糖(EPS)结构功能rhizobium exopolysaccharides （EPS） structure function

Church Monoid的集合表示

与本文相关的学术论文