基本集合运算法则的形式化推导

来源 :曲靖师专学报 | 被引量 : 0次 | 上传用户:tt_lang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
众多数学分支都要用到集合论的基本知识,集合的运算法则对于数学的许多分支来讲都是必要的。本文是从几条明显而又极易验证的法则出发,推演出集合运算的其他法则,方法独特,趣味盎然。
其他文献
最近,解放军总医院的王医生在查病房时,感觉轻松多了。原先他需要带厚厚一摞病例,现在他只要带一台平板电脑就行了。并且,病人如果有问题,王医生随时可以将该病人的各种情况通过无
堆石混凝土技术是基于自密实混凝土技术发展起来的一种新型大体积混凝土施工技术,具有水泥用量少、水化温升小、综合成本低、施工速度快、良好的体积稳定性、层间抗剪能力强
发展绿色消费,要强化政府职能:从政策上大力扶持绿色消费的发展;通过制定标准、强化认证,为绿色消费提供有效的信息、知识与产品;加强绿色消费的法律制度建设;完善管理体系,
近期,国内各地所出现的灾情引起了社会各方的关注,公众对政府应对突发事件预警和快速反应机制建设提出了迫切要求。目前,卫生部正和太极软件有限公司合作筹建“突发公共卫生事件
鸡年对人们来说意味着吉祥.人们更加喜欢利用手中的通信工具进行情感的交流。而利用通信手段获得商业信息.是每个企业发展必不可少的环节.所有这些都推动了电信业的急速发展。
本文对《诗经》注译中存在的几个问题,诸如望文生训,穿凿附会、增字强解、臆改原文、滥用通假、误解名物、不明语法、不辨虚实、自相矛盾、译文不顺等,提出了商榷意见,说明了
当前高职学生的个人理想信念较淡薄,存在不少问题,为了更好教育学生,应该加强理想信念教育,使学生树立正确的人生观和价值观;并加强对大学生进行马列主义、毛泽东思想和邓小
水利部农村水利司王爱国司长、顾斌杰副司长一行5人实地调研江西省农田水利改革工作。江西省水利厅罗小云厅长、杨丕龙副厅长及农水处相关人员陪同调研。调研组一行分别赴景
会计模拟实验的手工模拟实验教学因教材建设的滞后、教学组织困难等缺点导致效果不好。利用会计模拟实验软件组织会计模拟实验教学,是会计模拟实验教学的创新,具有可行性。会
本文从哲学、文化的高度论述武术从生产活动、阶级斗争的长规动态行为发展成为一门较为纯粹的体育运动的历史过程,从“对立统一规律”、“传统文化影响的双重性”、“爱国主