《数学机械化》中组集合完备化定理的改进研究

来源 :大庆师范学院学报 | 被引量 : 0次 | 上传用户:lhyzb364
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对科学出版社吴文俊先生所著《数学机械化》中的定理4.1.27的充分性进行了讨论,给出了一个新结果,这个结果改进了原定理的结论。
其他文献
当井底渗流速度增加时,压差与流量逐渐偏离直线关系,为非线性渗流,达西定律将不再适用。为了准确求解非线性不稳定渗流的速度场。以单井为例,在假设油藏为单相渗流,符合非达西Forc
【摘要】创新是当前社会发展的第一动力,也是教育改革的动力。小学美术欣赏课也要在不断创新中获得提升。在教学中,教师要通过问题探究、生活美术、趣味欣赏以及实践动手等方法,提升学生的核心素养,培养学生认识美、创造美的能力。  【关键词】小学美术 欣赏课 教学 创新  【中图分类号】G613.5 【文献标识码】A 【文章编号】2095-3089(2017)23-0253-01  十八届六中全会的重要意义在
摘?要:目前高职教育的培养要求一般是实用型的高技能人才,比较重视能力教育的培养。应用办公文章的写作能力在当下成为很多用人单位对录用高职毕业生的基本要求,同时是高职院校学生对自身诸多能力的需求之一。我们就要在有限的教学时间内把高职学校学生的应用文章写作能力提高上来,就要针对目前的教材内容中不适合的纯理论性的内容进行修改,以学生的掌握程度和接受能力为前提进行修订,达到实用性和接受性的整体结合,为广大高
“女乐”自先秦产生,在发展过程中,虽衍生出多种概念名称,但在历史上都有专业歌舞女艺人的含义。其以艺为本、声色娱人。从某种程度而言,“女乐”是音乐的化身,是精神文化的象征。
药用植物与生药学教学以中医药理论为指导,以学生为中心,针对该课程教学中存在的问题,结合学科特点,论述了教学改革方面的一些思路,探讨了模块法教学在药用植物学与生药学的教学改
教学目标:1.认识长方体,掌握长方体的特征,初步学会看立体图。2.培养学生的探索意识和创新实践能力,发展学生的空间观念。掌握有序观察、分类比较等学习方法。
【摘要】《音乐新课程标准》指出:“小学音乐要体现以音乐审美体验为核心、通过聆听音乐、表现音乐和音乐创造活动、培养学生爱好音乐的情趣,发展音乐感受与欣赏能力、表现能力和创造能力,提高音乐文化素养,丰富情感体验,陶冶高尚情操。音乐是听觉艺术,听觉体验是学习音乐的基础,发展学生的音乐听觉应贯穿于音乐教学的全部活动中。”因此,音乐教学必须突出音乐听觉体验。  【关键词】有效聆听 音乐审美 感受 体验  【
【摘 要】《植物生长与环境》是种植类专业的一门重要专业基础课之一,教学中观察能力的培养是至关重要的,通过这门课的课堂理论教学、课外实习、实验实训课等过程来培养学生的观察能力,教会学生正确的观察方法是学生观察能力的培养关键。学生观察能力的培养贯穿了整个教学的始终,能把学生的思维、记忆、动手操作、表达分析等综合能力培养结合起来,提高了学生的学习兴趣,取得教好的教学效果。  【关键词】专业课教学 重要性
目的:研究分析硫酸镁与丹参在胎儿生长受限治疗中的临床疗效。方法:选取2012年1月-2013年1月在本院接受治疗的胎儿生长受限的孕妇110例,按照随机数字表法分为观察组57例和对照组
随着高职院校的不断发展,高职院校的学术交流工作越来越频繁。为了高职院校的长期发展,学术交流有着十分重要的作用。开展学术交流工作不仅有利于促进教师的学术水平的提高,同时