【摘 要】
：
针对离散数学经典教材中提出的“交运算对并运算的分配等式和并运算对交运算的分配等式是等价的”这一结论,分析了一种常见的错误证明,通过一个反例说明该结论在一般的格中不
【机 构】
：
苏州大学计算机科学与技术学院,江苏苏州,215006
论文部分内容阅读
针对离散数学经典教材中提出的“交运算对并运算的分配等式和并运算对交运算的分配等式是等价的”这一结论,分析了一种常见的错误证明,通过一个反例说明该结论在一般的格中不一定成立,进一步证明这两个分配等式在且仅在模格中是等价的,并提出利用定义判断一个模格是否是分配格的简便算法.作为一个应用,重新证明了该教材中的一条定理.
其他文献
华电章丘发电有限公司(以下简称章丘公司)隶属于中国华电集团公司,规划设计容量289万千瓦,目前总装机容量89万千瓦,在工程建设管理的同时实现了工程的安全、可靠、经济、环保
首先引入了直觉Fuzzifying邻域系和直觉Fuzzifying邻域空间的概念,进而证明了直觉Fuzzifying邻域空间范畴IFYNS同构于直觉Fuzzifying拓扑空间范畴IFYTOP.
珠海积家机械工业有限公司,是拱北关区以生产出口缝纫机为业务的一家日资企业.2007年7月,当得知自己被选中为首批最优先通关的诚信守法企业时,日方经理颇感意外:1992年进入珠
索绪尔把象征与符号对立起来,我们在学理分析的基础上重新把象征纳入符号的范畴,并指出影视明星恰恰是象征符号.这里,我们将进一步论证影视明星是一种特殊的形象符号--偶像符
随着社会的快速发展,我国教育改革的步伐也在不断向前.外界提出了培养学生的学科核心素养,以此提升学习的综合能力.所以,教师就要转变教学思路,不断地提高学生的物理学科核心
在高速公路运营过程中,服务区作为交通运输行业为群众进行服务的一个重要窗口,同时也是公众驾乘车辆时一个非常重要的休息场所,因此做好高速公路指挥服务区系统的设计工作至
和合文化是中华文化的精华.其中包含着许多深邃的天人和谐观、人本观、生态道德观等内容,它们分别体现了现代社会所崇尚的人文精神、道德理性、人格追求、和合理想.构建社会
【摘要】随着我国社会主义建筑市场改革的不断深入，建筑工程市场竞争越来越激烈，在竞争中，建筑企业的实力是竞争的基础，但企业的管理占据着主要的地位，如果一个建筑企业的现场管理出现操作无规程、材料乱堆放、安全无人管的管理乱象，企业就是再有实力在市场竞争的大潮中难以站稳脚跟。本文对建筑工程施工现场管理进行研究和探讨，提出优化措施。 【关键词】现场施工;管理;优化措施 1、现场管理的基本内容 建筑工程
在观察花粉萌发和花粉管生长的实验中,离不开双凹载玻片.通过多次实践,我们找到一种代替双凹载玻片的简易材料--健胃片、ATP片等药片的塑料包装板.具体用法是:
当许多企业热衷于学习GE依靠兼并收购实现多元化增长和员工发展的轮岗制度与10%强制淘汰(末位淘汰)时,富有喜剧意思的是GE在韦尔奇的继任者伊梅尔特的领导下,却转向注重依靠