《计算方法》教学大纲.docVIP

上海交通大学　致远学院　2014年季学期 《》课程教学说明 课程基本信息 开课学院（系）：致远学院 课程名称：《》 () 学时/学分：学时/ 学分 上课时间： 上课地点： 任课教师：longhuan@sjtu.edu.cn） 办公室及电话 助教：Office hour： 课程主要内容（） 计算机科学概论（Overview of Computer Science） 主要内容：概述计算机科学发展历史，了解现代计算机的发展和应用领域，掌握计算机的特点，介绍计算机科学主要学科与课程内容。 重点与难点：突出介绍计算机科学的起源与发展，强调计算机科学对技术的影响，阐述课程主要目标。 集合论，函数，关系（Set, Function, and Relation） 主要内容：熟悉集合，函数，关系等基本概念及基本定理，并了解它们在计算机科学中的作用。 重点与难点：集合悖论，关系演算，函数中的五个公理。 基数/势（Cardinality） 主要内容：学习基数及其中的基本概念，掌握与之相关的重要原理，并了解它们在计算机科学中的作用。 重点与难点：自然数，等势，有限集/无限集，鸽巢原理等。 逻辑（Logic） 主要内容：掌握命题逻辑、谓词逻辑中的相关概念，介绍数理逻辑的发展以及其和计算机科学的关系。 重点与难点：命题逻辑，谓词逻辑，迪摩根律，逻辑运算，逻辑等值