论文部分内容阅读
利用文献[3]、[4]的结论,本文给出了一个低阶BCK-代数的算法。根据算法编制了BASIC语言程序,在APPLE-Ⅱ型计算机上进行了计算,得出了互不同构的阶≤6的BCK-代数的全部类型。在本文中列表给出了阶≤4的BCK-代数的乘法表、偏序图和子代数的格的图示。
低阶BCK-代数计算方法
【摘 要】
：
利用文献[3]、[4]的结论,本文给出了一个低阶BCK-代数的算法。根据算法编制了BASIC语言程序,在APPLE-Ⅱ型计算机上进行了计算,得出了互不同构的阶≤6的BCK-代数的全部类型。
【出 处】
：
杭州师范大学学报：社会科学版
【发表日期】
：
1986年S2期
其他文献
给出了曲线是一般螺旋线的判定方法,并给出了它的标准方程.
本文记述了采自安徽九华山、湖南绥宁的一种突腹蛛(Ero)新种,该种与E.tuberculata相似,但外雌器结构不同,故订名为九华突腹蛛。
文章采用评价科学素养的米勒体系，对四川农村人口科学素养进行了调查与评估。调查分析内容主要涵盖三个方面：1．四川农村人口科学素养状况；2．四川农村人口获取科技信息的渠道和对科
村民委员会是村民自我管理、自我教育、自我服务的基层群众性组织.村民委员会实行民主选举、民主决策、民主管理和民主监督.实践中村民委员会得到了较好的发展和壮大,取得了
本文从典型案例的分析入手,研究和探讨新刑法中正当防卫制度的立法本意和适用原则.刑法中正当防卫的制度设计更多的是关注对公民防卫行为合法性的确认和保护,而不是赋予公民
全国高校"中国地理"教学研究会"自1980年成立至今走过了30年历程.回顾过去,教学研究会在组织多学校教师开展区域野外考察、编写立体化教材、建设国家、省、校三级精品课程、课程网络资源建设以及青年教师培养等方面发挥着重要的作用,形成了多学校-多尺度-虚实结合的教学团队模式.展望未来,把"中国地理"教学研究会"作为"教学团队建设"的教学质量工程,在教材配套建设、加强团队辐射和人才培养建设、精品课程的联
【正】 叙述艺术,是小说修辞研究中的一个主要方面,是指作家如何把一个虚构的故事制作成有组织的情节形式,把立体时间改为线性时间叙述出来的技巧。叙述观点,表现作家同故事
令k，m是确定的整数．本文研究几个顶点的一类图G（H，k，H’，m）的Fibonacci数，并给出了这类图的Merrifield—Simmons指标及其序列．
【正】 列宁的伟大文献——《马克思学说的历史命运》,到今年三月一日已经问世七十三年了。在党中央一再号召要努力学习马克思主义,善于运用马克思主义来指导两个文明建设的
本文通过分析青海省交通区域网建设驱动因素,利用近几年青海省GDP增长与青海省交通客货运输量增长及GDP对主要运输方式客货运输量增长相关性,分析目前影响青海交通网发展的主