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

上海交通大学　致远学院　2014年季学期 《》课程教学说明 课程基本信息 开课学院（系）：致远学院 课程名称：《》 () 学时/学分：学时/ 学分 上课时间： 上课地点： 任课教师：longhuan@sjtu.edu.cn） 办公室及电话 助教：Office hour： 课程主要内容（） 计算机科学概论（Overview of Computer Science） 主要内容：概述计算机科学发展历史，了解现代计算机的发展和应用领域，掌握计算机的特点，介绍计算机科学主要学科与课程内容。 重点与难点：突出介绍计算机科学的起源与发展，强调计算机科学对技术的影响，阐述课程主要目标。 集合论，函数，关系（Set, Function, and Relation） 主要内容：熟悉集合，函数，关系等基本概念及基本定理，并了解它们在计算机科学中的作用。 重点与难点：集合悖论，关系演算，函数中的五个公理。 基数/势（Cardinality） 主要内容：学习基数及其中的基本概念，掌握与之相关的重要原理，并了解它们在计算机科学中的作用。 重点与难点：自然数，等势，有限集/无限集，鸽巢原理等。 逻辑（Logic） 主要内容：掌握命题逻辑、谓词逻辑中的相关概念，介绍数理逻辑的发展以及其和计算机科学的关系。 重点与难点：命题逻辑，谓词逻辑，迪摩根律，逻辑运算，逻辑等值，推理演算，公理化体系，范式。 代数（Algebra） 主要内容：理解群，子群，循环群，排列群的概念，以及抽象代数在计算机科学的应用。 重点与难点：理解伽罗瓦理论，李代数，有限域等概念，以及相关属性。 概率（Probabilistic） 主要内容：了解概率在计算机科学中的作用，学习贝叶斯规则，离散随机变量，期望，概率统计方法等知识点。 重点与难点：理解确定多项式，概率算法，霍尔问题等。 数论（Number Theory） 主要内容：了解数论在计算机科学中的作用，掌握整除理论、不定方程、同余、同余方程、二次同余式与平方剩余、原根与指标以及连分数等基本概念。 重点与难点：整数的可除性的基本概念和理论Security and Cryptology） 主要内容：介绍密码学的基本概念，掌握加密，解密的基本原理，以及一些基本的攻击和防御方法。 重点与难点：理解加解密，攻击/检测的基本过程。 图论（Graph Theory） 主要内容：掌握图论的基本概念、基本理论、欧拉图与哈密尔顿圈，以及图论中的重要结论和一些基本的图论算法。 重点与难点：理解图、简单图、图的度、图的连通性、图的代数表示与匹配、欧拉图与哈密尔顿圈。 树（Tree） 主要内容：介绍树的概念，掌握割点与割边，理解生成树、平衡树、树的基本定理，以及树的应用和遍历。 重点与难点：树的深度与广度遍历、树的六个重要定理、最小生成树、哈夫曼树、以及基本树生成算法。 数据结构（Data Structure） 主要内容：了解数据结构及其分类、数据结构与算法的密切关系，熟悉各种常用数据结构并能尝试用数据结构进行简单算法设计。学习文件组织方法与索引技术。 重点与难点：线形表、堆栈、数组、排序、递归。 算法1（Algorithm 1） 主要内容：掌握算法、算法复杂度的基本概念，学习递归与分治算法、二分搜索、Hanoi塔算法、动态规划 重点与难点：递归思想、算法与时间复杂度概念、动态规划的基本要素 算法2（Algorithm 2） 主要内容：学习贪心算法、局部搜索等常用优化算法。 重点与难点：贪心算法基本要素，掌握贪心算法基本思想。局部搜索法的应用范畴 可计算理论（Computability Theory） 主要内容：了解可计算的概念，学习抽象计算模型如图灵机、无限注册机、理解丘奇-图灵定理及哥德尔不可完备定理。 重点与难点：理解可计算的抽象意义、计算模型与可计算的问题 自动机与计算复杂性理论（Automata and Computational Complexity） 主要内容：学习确定型自动机、非确定型自动机、计算复杂性理论、P与NP的概念和复杂性分类的意义。 重点与难点：理解自动机、图灵机与计算复杂性理论的意义，判断问题的复杂性、学习归约技术。 课程教学进度安排 第一部分、基础篇 (Part 1: Fundamentals) 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 Holi