论文部分内容阅读
随着定理证明技术在国内科研院所、大专院校以及企业中的推广,在面向计算机专业的数理逻辑课程中开展基于定理证明器的实验课教学,可以引入更多计算的色彩,调动学生的学习兴趣,对推动数理逻辑教学改革有着积极的作用。
面向计算机专业的数理逻辑实验课的教学改革
【摘 要】
：
随着定理证明技术在国内科研院所、大专院校以及企业中的推广,在面向计算机专业的数理逻辑课程中开展基于定理证明器的实验课教学,可以引入更多计算的色彩,调动学生的学习兴
【机 构】
：
安徽工业大学计算机学院
【出 处】
：
安徽工业大学学报(社会科学版)
【发表日期】
：
2011年3期
其他文献
我国传统的城市危机管理模式是分兵把口和突击式的群众运动,这种模式已经不能适应庞大的城市规模和城市的快速发展之趋势,与生态-经济-技术复合系统的城市危机发生特点也不适
<正>2015年7月30日,郜艳敏发出一纸告白。郜艳敏是河北省曲阳县下岸村的代课教师。因为其令人感佩的人生经历背后的人身权益问题,在7月底至8月初这段时间,她再度成为新闻人物
运用就业弹性和投入产出方法对于上海市生产性服务业就业吸纳能力的估算表明,生产性服务业对于就业增长的贡献非常明显,但内部各行业对于就业贡献的特性存在着较大差异。大力
目的:探讨光学相干断层扫描(optical coherence tomography,OCT)在老年性白内障行超声乳化吸除术前检查中的临床意义。方法:选择尚可看见眼底,直接及间接眼底镜检查正常或仅
对不同乳化沥青掺量下水泥乳化沥青混凝土的耐久性能进行对比试验,其中包括抗酸、碱、盐和机油侵蚀性能以及抗冻性能。试验结果表明,水泥乳化沥青混凝土的耐化学介质侵蚀性能
工具理性的发展,科学技术的进步,奠定了现代文明的物质基础,但是现代文明的快速发展反过来又进一步推动了工具理性的过度膨胀,使其逐步跨越价值理性的"藩篱",渗透进社会生活
为了探究广州地区国有企业气排球运动发展的优势以及影响因素,本文运用文献资料法,问卷调查法,专家访谈法和数理统计法对广州地区国有企业气排球运动的开展现状进行调查与分析,找出广州地区国有企业气排球运动发展现状的优势及影响广州地区国有企业职工参与气排球运动的因素,旨在气排球运动项目在国有企业的开展和普及提供指导和参考。研究结果表明:一、广州地区国有企业气排球运动的开展优势:广州地区国有企业气排球运动发展
旅游市场面临着巨大的挑战与变革:许多旅游者不再满足于传统的大众旅游项目,希望从体验式旅游中获得更多舒畅而独特的感受。本文介绍在体验经济来临的背景下,体验式旅游的特
该文以“基于体育本质而展开的体育教学”为主要研究对象,首先从体育概念和体育本质的角度进行了阐释,然后从基于体质判别而展开的教学、基于教学本分而展开的教学、基于艺术
糖尿病胃轻瘫（DGP）是糖尿病患者常见的并发症之一，大约50％以上的糖尿病患者伴有胃轻瘫，尤其常见于60岁以上的老年糖尿病患者。近年来，我们用开胃进食汤治疗糖尿病胃轻瘫取得较好疗