一类有限BCK—代数的计数

来源 :廊坊师范学院学报:社会科学版 | 被引量 : 0次 | 上传用户:tom_7758
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过对BCK-代数中原子性质的讨论证明了星部阶为n的n+的BCK=代数有且只有2(n-1)个。
其他文献
通过页岩气储层吸附气效应室内试验定量评价临兴地区砂岩与页岩两层合采气体产能,试验以石盒子组砂岩与太原组页岩为目标,利用直径为25mm的岩心柱塞,根据现场试井资料,确定柱
党的十六届四中全会通过的《中共中央关于加强党的执政能力建设的决定》,提出了建设社会主义和谐社会的目标,通过提高党的执政能力,巩固党的执政地位,努力建设民主法治、公平正义
随着经济的发展和社会的进步,我国医疗事业一直在不断前进。医院作为防病治病,为群众提供医疗保健服务的主要场所,一直受到社会各界的关怀与关注。本文笔者多年来从事医院党务工
为确定威远地区筇竹寺组页岩气的富集地质条件及选区评价标准,对筇竹寺组黑色页岩露头及岩心样品进行研究,分析其沉积及有机地球化学特征,总结出页岩气选区评价标准,并优选出
随着我国经济持续快速健康发展,企业改革不断深化,利益格局不断调整,企业既面临着良好的发展机遇,又面临着许多新情况、新问题、新矛盾。尤其是当前企业加快转变发展方式、调节发
猪弓形虫病是由一种龚地弓形体引起的人畜共患病。它可以感染人和猪、牛、羊、禽、兔等多种动物,其中猪感染猪弓形虫病最为常见。人如果食用了被弓形体污染的肉或通过创伤都
期刊
本文论述了一个基于Windows DNA技术构造三层结构的地理信息系统的一个可行方案,该方案充分体现了Microsoft公司的COM/DCOM,COM+技术在实际工程中的运用。事实表明利用Windows DNA技术可以提高系统的性能,简化系统维护性和增强系统的可扩展性。
本文介绍了一个采用ASP动态网页开发技术设计并实现了基于B∕S结构的网络考试系统, 该系统已用于WTO及上海石化厂庆三十周年知识的网络测试.该系统具有题型丰富与操作方便的
高校教育的中心环节为立德树人,因此思政课和专业知识同等重要,但以往的思政教育存在许多问题,需要通过教学改革加以解决。将思政课和专业课相融合是目前思政教育改革的重要
积极开展心理疏导和帮助,促进职工心理健康、实现心理和谐,已成为创新加强企业思想政治工作的一个重大课题。本文从企业基层政工人员的角度出发,就心理疏导在国有企业工作的应用