数理逻辑中的计算思维能力培养

来源 :黑河学院学报 | 被引量 : 0次 | 上传用户:richieli333
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
数理逻辑是计算机专业课程中的核心知识单元,新建地方应用型本科院校的计算机专业,在数理逻辑教学中存在一些缺陷。其教学理念、教学内容、教学方法等方面应不断改革,把计算思维能力培养融入到数理逻辑教学中,并给出基于计算思维的数理逻辑教学要点。
其他文献
本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验,总结数理逻辑中演绎推理的要点和难点,利用图解法帮助学生更快速简单地掌握推理演算的技巧.
党的十八大以来,党中央对全面依法治国做出了一系列重大决策、提出一系列重大举措,将全面依法治国的新理念、新思想上升到了新的战略高度,党的十九大强调提出坚持全面依法治
近年来,语用学的研究得到了长足的发展,而语境,作为语用学中一个很重要的概念,几乎成为语言学研究领域里的一个热门话题.传统的语境观认为,语境是一种预先设定的、静态的客现
利用实验的手段研究了位于真空集热管内的溴化锂溶液,在室外环境中接受连续变化的太阳辐射时,溴化锂溶液的吸热升温及汽化特性.通过对实验数据的分析表明位于真空集热管内的
目的观察前列地尔和氯沙坦联合治疗早期糖尿病肾病(DN)的临床疗效。方法 100例早期DN患者分为观察组51例和对照组49例,对照组患者给予前列地尔注射液10μg,加入100 mL生理盐水
物流业已经成为我国本产业和国民经济发展的新的增长点,文章分析国内外第三方物流企业的基本情况,对第三方物流企业经营战略和模式选择及其存在的问题进行探讨,最后结合我国
基于可持续发展的全寿命周期成本控制,不仅要控制工程造价,还要实现在项目运营期内对环境的破坏最低,经济上最优,社会效益最大化。火力发电项目既是资源消耗型项目,又属于重
四百多年前的中国,徐光启是为数不多的洞悉世界局势大格局的士大夫之一,能够正确对待西方的文化,敢于接受新思想的洗礼,可以说徐光启是真正“睁开眼睛看世界的第一人”.徐光
目的:观察温针灸联合非那雄胺片治疗老年良性前列腺增生症患者的临床疗效。方法:将90例患者随机分成三组:温针灸组(关元穴、三阴交、阴陵泉针灸)、非那雄胺组(非那雄胺片5 mg/d)以及
<正>将家庭暴力案件当家务事而不是犯罪不予干涉如今早已成为往事。美国有关机构正在协同工作以改进针对家庭暴力案件的处理方法,同时设法改变工作流程以期在刑事司法过程中