计算机导论与程序设计基础

本书的编写借鉴了教育部最新推荐的美国CC2001教学大纲的思想，继承了由北京邮电大学艾波教授在1989年编写的《计算机科学导论》的思路。本书强调了“抽象、设计和理论”三个形态的学科方法论。本书通过程序设计语言和程序设计方法的讲述，引出算法和算法设计的概念和方法，并通过大量的实例讲解加深算法和算法设计的理解；进而提出图灵机和有限状态自动机等抽象的计算模型，论述了如何应用抽象的计算模型指导算法设计的方法，结合实际的设计实例，将设计和抽象形态进行有机的结合。本书可作为计算机科学与技术专业一年级本科生的教材，也可作为计算机爱好者的自学材料。