面向学科素养培养的数理逻辑教学
张晓如;张再跃; 1:江苏科技大学计算机科学与工程学院 摘要(Abstract)：

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

关键词(KeyWords)： 数理逻辑;;学科素养;;课程教学;;研究生教育

Abstract:

Keywords:

基金项目(Foundation): 江苏科技大学精品课程建设项目(KDJP2014007);;中国学位与研究生教育学会研究课题资助项目(2013Y07)

作者(Author): 张晓如;张再跃;

Email:


参考文献(References)： [1]陆钟万.面向计算机科学的数理逻辑[M].北京:科学出版社,2002:1.[2]胡世华.数理逻辑的基本特征与科学意义[J].哲学研究,1957(1):1-45.[3]吴允曾.数理逻辑与计算机科学[J].哲学动态,1994(增刊1):126-130.[4]张晓如,张再跃.再谈计算机思维[J].计算机教育,2010(23):35-42.[5]董荣胜,古天龙,蔡国永.计算机科学与技术方法论[J].计算机科学,2002(5):37-41.[6]张再跃,张晓如.数理逻辑[M].北京:清华大学出版社,2013:9.[7]张晓如,张再跃.计算机课程教学与计算科学思想史研究[J].计算机教育,2008(19):50-54.[8]张晓如,张再跃.浅谈计算科学思想史研究[J].计算机科学,2006,33(11):11-14.[9]Wing J M.Computational thinking[J].Communications of the ACM,2006,49(3):33-35.


摘要:
扩展功能
本文信息
PDF全文请访问中国知网下载(116K)