面向学科素养培养的数理逻辑教学

阐述计算学科基本素养及其核心内容,从学科认识、学科思维与学科方法 3个方面论述数理逻辑与计算学科素养之间的关系,根据计算学科学生素养教育的基本要求和数理逻辑课程的基本特点,探索高校计算机专业研究生数理逻辑课程内容组织与课程施教的基本策略思想。