计算机科学导论-致远学院-上海交通大学.doc

上海交通大学　致远学院　2015年秋季学期 《计算机科学导论》课程教学说明 课程基本信息 开课学院（系）：致远学院 课程名称：《计算机科学导论》 (Introduction to Computer Science) 学时/学分：48学时/ 3学分 先修课程：无 上课时间：第1周-第16周；星期二第6节-第8节 上课地点：上院200室 任课教师：高晓沨（gao-xf@） 办公室及电话：电信群楼3号楼328室 助教：朱旭东（nongeek.zv@）和吴双（steinsgate@） Office hour：周五下午14:00-16:00，电信群楼3-328室 课程主要内容（中英文） 计算机科学概论（Overview of Computer Science） 主要内容：概述计算机科学发展历史，了解现代计算机的发展和应用领域，掌握计算机的特点，介绍计算机科学主要学科与课程内容。 重点与难点：突出介绍计算机科学的起源与发展，强调计算机科学对技术的影响，阐述课程主要目标。 集合论，函数，关系（Set, Function, and Relation） 主要内容：熟悉集合，函数，关系等基本概念及基本定理，并了解它们在计算机科学中的作用。 重点与难点：集合悖论，关系演算，函数中的五个公理。 基数/势（Cardinality） 主要内容：学习基数及其中的基本概念，掌握与之相关的重要原理，并了解它们在计算机科学中的作用。 重点与难点：自然数，等势，有限集/无限集，鸽巢原理等。 证明（Proof） 主要内容：了解基本证明技巧，包括一般论述法、逆推法、反证法、数学归纳法等。 重点与难点：理解皮亚诺公理与数学归纳法适用范围，学会一般证明方法。 逻辑（Logic） 主要内容：掌握命题逻辑、谓词逻辑中的相关概念，介绍数理逻辑的发展以及其和计算机科学的关系。 重点与难点：命题逻辑，谓词逻辑，迪摩根律，逻辑运算，推理演算，公理化体系。 伪码（Pesudo Code） 主要内容：了解程序、程序设计、程序设计语言、伪码。 重点与难点：学习各类伪码的写法，包括顺序、循环、选择等基本结构。 图论（Graph Theory） 主要内容：掌握图论的基本概念、基本理论、欧拉图与哈密尔顿圈，以及图论中的重要结论和一些基本的图论算法。 重点与难点：理解图、简单图、图的度、图的连通性、图的代数表示与匹配。 路（Path） 主要内容：介绍路的概念，掌握路、圈、环、欧拉回路、哈密顿回路定理。 重点与难点：简单图、欧拉图与哈密尔顿圈、NP问题。 树（Tree） 主要内容：介绍树的概念，掌握割点与割边，理解生成树、平衡树、树的基本定理，以及树的应用和遍历。 重点与难点：树的深度与广度遍历、树的六个重要定理、最小生成树、哈夫曼树、以及基本树生成算法。 数据结构（Data Structure） 主要内容：了解数据结构及其分类、数据结构与算法的密切关系，熟悉各种常用数据结构并能尝试用数据结构进行简单算法设计。学习文件组织方法与索引技术。 重点与难点：线形表、堆栈、数组、排序、递归。 算法1（Algorithm 1） 主要内容：掌握算法、算法复杂度的基本概念，学习递归与分治算法、二分搜索、Hanoi塔算法、动态规划 重点与难点：递归思想、算法与时间复杂度概念、动态规划的基本要素 算法2（Algorithm 2） 主要内容：学习贪心算法、局部搜索等常用优化算法。 重点与难点：贪心算法基本要素，掌握贪心算法基本思想。局部搜索法的应用范畴 可计算理论（Computability Theory） 主要内容：了解可计算的概念，学习抽象计算模型如图灵机、无限注册机、理解丘奇-图灵定理及哥德尔不可完备定理。 重点与难点：理解可计算的抽象意义、计算模型与可计算的问题 课程教学进度安排（拟定） Week 教学内容 作业 课程实验 1 Fundamentals Syllabus, Organization, Introduction to Computer Science Lab-01 Fix Group 2 Set, Function, and Relation Grading Policy, Set, Function, Relation, etc. Lab-02 3 National Holiday. Project Demo 4 Cardinality Definition, Halting problem, etc Lab-03 5 Proof Proof by Construction/Contrapositive/Cases/Induction Lab-04 6 Logic (1) Epist