1、 计算机科学导论 课程教学大纲Course Outline课程基本信息（Course Information）课程代码（Course Code） CS120*学时（ Credit Hours）64 *学分（ Credits） 4（中文） 计算机科学导论*课程名称（Course Title） （英文） Mathematical foundations for computer science*课程性质（Course Type） 专业基础课授课对象（Target Audience） 致远计算机班学生*授课语言(Language of Instruction) 中文（教材及课件为英文）*开课院系（S
2、chool ） 致远学院先修课程（Prerequisite） 无授课教师（Instructor） 卢宏涛课程网址(Course Webpage)*课程简介（ Description）（中文 300-500 字，含课程性质、主要教学内容、课程教学目标等）计算机科学导论是针对致远学院计算机科学班（ACM 班）的特点和高要求特定设置的一门专业基础课，教学对象为刚进入大学的一年级新生。教学目标是为该班同学提供比较全面、深入的计算机科学的数学基础教学，为将来学习后续的课程及从事计算机科研工作打下坚实的基础。同时，通过本课程的教学，培养同学的逻辑思维能力、数学建模能力和以计算机科学的角度分析问题、解决问题
3、的能力。该课程还能为同学提供创新思维能力训练。教学内容主要包括命题逻辑和谓词逻辑，证明；基本结构：集合、函数、序列；算法基础；数论和应用；归纳和递归；组合数学：基本计数原理和高级计数方法；离散概率；关系；图论、树；布尔代数；计算建模等。教材为英文教材，课件内容为英文。授课主要为中文。*课程简介（ Description）（英文与中文内容对应）“Mathematical foundations for computer science” is a required course designed for freshman students of computer science major in
4、 Zhiyuan honored college. The goal of this course is to provide these students the complete and profound mathematical foundations for computer science and lay a solid foundation to facilitate their further studying and research. The course will also train and improve the students ability of logical
5、thinking, reasoning, mathematical modeling and problem solving by computer. The main contents of this course include Proposition logic and predicate logic; basic structure: sets, functions and sequences; Algorithm; Number theory and its applications; Induction and Recursion; Combinatorics: basic cou
6、nting and advanced counting techniques; discrete probability; Relation; Graphs and trees; Boolean algebra; Modeling computation. 课程教学大纲（course syllabus）*学习目标(Learning Outcomes)1提供计算机科学所需的数学基础知识2训练学生的逻辑思维能力3训练学生的数学建模能力4提高使用计算机解决实际问题的能力5. 培养学生英文阅读科技文献的能力*教学内容、进度安排及要求(Class Schedule&Requirements)教学内容 学
7、时 教学方式作业及要求 基本要求 考查方式逻辑和证明 8 课堂授 课 每次课后3-5 道习题掌握逻辑、证明、英文教材学习作业、课堂提问集合、函数、序列 4课堂授课每次课后3-5 道习题掌握基本概念、理论方法，英文教材学习作业、课堂提问算法基础 4 课堂授 课 每次课后3-5 道习题掌握基本概念、理论方法，英文教材学习作业、课堂提问数论及其应用 8课堂授课每次课后3-5 道习题掌握基本概念、理论方法，英文教材学习作业、课堂提问归纳和递归 4 课堂授 课 每次课后3-5 道习题掌握基本概念、理论方法，英文教材学习作业、课堂提问；期中考试组合数学：基本计数方法4 课堂授 课 每次课后3-5 道习题掌
8、握基本概念、理论方法，英文教材学习作业、课堂提问离散概率 4 课堂授 课 每次课后3-5 道习题掌握基本概念、理论方法，英文教材学习作业、课堂提问高级计数方法 4课堂授课每次课后3-5 道习题掌握基本概念、理论方法，英文教材学习作业、课堂提问关系 4 课堂授 课 每次课后3-5 道习题 掌握基本概念、理论方法，英 作业、课 堂提问文教材学习图论 6 课堂授 课 每次课后3-5 道习题掌握基本概念、理论方法，英文教材学习作业、课堂提问树 4 课堂授 课 每次课后3-5 道习题掌握基本概念、理论方法，英文教材学习作业、课堂提问布尔代数 4 课堂授 课 每次课后3-5 道习题掌握基本概念、理论方法，
9、英文教材学习作业、课堂提问计算模型 6 课堂授 课 每次课后3-5 道习题掌握基本概念、理论方法，英文教材学习作业、课堂提问*考核方式(Grading) （成绩构成）平时作业 20% + 期中考试 30% + 期末考试 50%*教材或参考资料(Textbooks & Other Materials)1. Kenneth H. Rosen Discrete Mathematics and Its Applications, 7th ed.（英文影印版） ，机械工业出版社。2. 自编英文讲义。其它（More）备注（ Notes）备注说明：1带*内容为必填项。2课程简介字数为 300-500 字；课程大纲以表述清楚教学安排为宜，字数不限。
