论文部分内容阅读
阐述计算学科基本素养及其核心内容,从学科认识、学科思维与学科方法 3个方面论述数理逻辑与计算学科素养之间的关系,根据计算学科学生素养教育的基本要求和数理逻辑课程的基本特点,探索高校计算机专业研究生数理逻辑课程内容组织与课程施教的基本策略思想。
面向学科素养培养的数理逻辑教学
【摘 要】
：
阐述计算学科基本素养及其核心内容,从学科认识、学科思维与学科方法 3个方面论述数理逻辑与计算学科素养之间的关系,根据计算学科学生素养教育的基本要求和数理逻辑课程的基
【机 构】
：
江苏科技大学计算机科学与工程学院
【出 处】
：
计算机教育
【发表日期】
：
2016年12期
【基金项目】
：
江苏科技大学精品课程建设项目(KDJP2014007);中国学位与研究生教育学会研究课题资助项目(2013Y07)
其他文献
存城市基础设施建设项目中，采用综合管廊的建设方案在逐步增加，而在高校园区的建设中，由于项目投资等相关因素采用综合管廊的方式较少，综合管廊与人防通道结合设计的方案更是少之
赛珍珠因其以异乡人身份书写中国题材而引人瞩目,其作品《大地》中描写的客观性、真实性也颇受争议。赛珍珠跨越时空和双重文化的成长背景使她创作《大地》时,既展现了对中国
随着我县牛养殖规模的扩大,牛疾病也呈现高发趋势。基于此,本文分析了判别牛疾病状况的一般方法,如观察牛的状态、食欲等。并针对牛疾病的防治,从养殖环境、卫生防疫、日常检
本文明确地阐释了理论和实践范畴的整体-现象学世界观。这种世界观作为一种具有整体性的准则,近年来一直位于科学话语探讨的前沿,像宇宙学、神经生物学、心理学、量子物理、
文章指出,利用Multisim软件对日光灯电路提高功率因数实验进行仿真,不仅使同学们对提高功率因数的方法有所了解,同时能更深地体会到仿真软件带来的操作简单、易学易用等诸多
煤泥水中高岭石颗粒表面荷负电是其难以沉降的主要原因。通过高岭石对Ca2+、Mg2+、K+、Na+四种离子,分别进行了单离子吸附试验、双离子的竞争吸附试验和四离子的竞争吸附试验
目的研究综合社区护理对婴儿湿疹的作用及对家长满意度的影响。方法选取88例婴儿湿疹患儿作为研究对象,随机将分为观察组与对照组各44例。对照组给予常规临床路径护理,观察组
利用单因素筛选和正交试验,对球形芽孢杆菌(Bacillus sphaerius)NBIM-311高毒菌株的发酵培养基进行优化,得到其最佳培养基配方为鱼粉20.0g/L,玉米浆15.0g/L,花生粕60.0g/L,酵
在焊接技术迅速发展的今天,钎焊技术已成为应用最广泛的连接技术之一.本文综述了国内外钎焊新技术的发展现状,系统介绍了钎焊基础理论发展、无铅软钎焊技术、接触反应钎焊技
目的探讨降阶梯方案治疗在重症监护病房(ICU)肺炎患者中的临床效果。方法 92例重症监护病房肺炎患者作为研究对象,随机分为观察组与对照组,每组46例。两组均给予基础治疗,观