面向卓越工程师的“数理逻辑”教学改革

来源 :山东农业大学学报(自然科学版) | 被引量 : 0次 | 上传用户:tangwu2007
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
离散数学是计算机专业的专业基础课,本文针对卓越工程师计划,面向数理逻辑进行了相应的教学改革。该内容通过压缩传统教学内容、增加应用内容的范例,能大幅提高学生对数理逻辑的学习兴趣,进而能改善学生对离散数学其余内容的学习动力。
其他文献
杨晦先生是我国当代著名文艺理论家,但他在戏剧方面的成就还不为很多人所知。本文试图在介绍他成长经历和主要成就的基础上,梳理杨先生的主要戏剧作品,展现其中突显的“五四
民族音乐学的范式对蒙古族“呼图克沁”这一民间仪式表演具有较强的解释力,而在我们已有的研究中,缺少应用民族音乐学的范式来解释“呼图克沁”仪式表演的音乐现象,因而当前
思想自由的知识分子在本质上是焦虑的。由于索尔·贝娄非常复杂的文化身份;由于文化、信仰、财富的发展不平衡性,焦虑情绪在索尔·贝娄小说中尤为突出。贝娄笔下的人物觉知到
新时期以来,饶芃子在原来文艺学研究的基础上,致力于中西文学和诗学的比较研究,在文艺学与比较文学的交叉领域寻找两者的契合点,拓宽了文艺学的学科内涵,并促进其更新和发展;
水利分片防洪除涝体系是全市防洪除涝的保障,根据上海市水利分片综合治理规划,浦南西片为敞开片,片内低洼地需建设防洪除涝圩区。目前,圩区布局虽已基本形成,但部分圩区防洪
通过对奉贤区公路绿化景观现状的研究,指出该区公路绿化景观不足、公路绿化景观与区域总体规划缺乏对应及公路绿化景观单一等。根据奉贤区总体规划及各镇区地方文化,结合现有
科尔姆的《大师》运用“真实与虚构”相结合的手法,走进了亨利·詹姆斯的内心世界,通过描写“亨利的过去”,借用“亨利的写作”等素材,探触亨利灵魂深处的秘密;揣摩他的思绪、
谢伯阳先生的《全明散曲》迄今为止是辑录明人散曲最多的集子。然而,明人文集浩如烟海,难免有所疏漏。在研究明代散曲时,我们发现其中对曲家的生卒年、身份、曲作的归属等问
“体育生活化”被普遍地置于常识语境中讨论。实际上,对“体育生活化”多重语境的解读是可能的。在现代性语境中,它是对现代性和体育自身的一种批判和反思;在政治语境中,它指
奶牛(母)繁殖障碍是指生殖机能紊乱和生殖器官畸形以及由此引起的生殖活动异常的现象。在世界各国不同品种的奶牛,繁殖障碍均有较高的发生率,据报道,世界上有12.7%的奶牛患繁殖障碍