• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2014, Vol. 36 ›› Issue (A2): 88-91.

• 论文 • 上一篇    下一篇

谈计算机专业实践教学中计算思维能力的培养

常瑞,蒋烈辉,何红旗,宋成杰   

  1. (解放军信息工程大学,河南 郑州 450002)
  • 收稿日期:2014-07-15 修回日期:2014-09-10 出版日期:2014-12-25 发布日期:2014-12-25

Computational thinking cultivation in practical teaching      

  1. (PLA Information Engineering University,Zhengzhou 450002,China)
  • Received:2014-07-15 Revised:2014-09-10 Online:2014-12-25 Published:2014-12-25

摘要:

阐述了计算理论(可计算性与计算机复杂性理论)中的几个典型问题,以图灵机模型、停机问题、近似算法及装箱问题等为例从不同角度分析计算理论与计算思维的密切联系,强调计算机专业实践教学中计算思维能力培养的必要性。

关键词: 可计算性, 计算复杂性, 计算思维

Abstract:

Generalized computation theories include algorithms,computational complexity theory,computability theory,automata theory,and formal language theory.This paper discusses several typical problems in computation theory (computability theory and complexity theory) and reveals the importance of computational thinking in practical teaching.We elaborate the relation between computation theory and computer science from different perspectives.And then we describe Turing machine model and reveals the essential relation between Turing machine model and computational thinking. In addition,we discuss time complexity and space complexity in computer science,explain approximation algorithm,using packing problem examples. Finally,we emphasize the importance of computation theory in computer science education.

Key words: computability;computational complexity;computational thinking;computer science