文档介绍：计算机科学导论课程教学大纲
Course Outline
课程基本信息(Course Information)
课程代码
(Course Code)
CS120
*学时
(Credit Hours)
64
*学分
(Credits)
4
*课程名称
(Course Title)
(中文) 计算机科学导论
(英文) Mathematical foundations puter science
*课程性质
(Course Type)
专业基础课
授课对象
(Target Audience)
致远计算机班学生
*授课语言
(Language of Instruction)
中文(教材及课件为英文)
*开课院系
(School)
致远学院
先修课程
(Prerequisite)
无
授课教师
(Instructor)
卢宏涛
课程网址
(Course Webpage)
*课程简介(Description)
(中文300-500字,含课程性质、主要教学内容、课程教学目标等)
计算机科学导论是针对致远学院计算机科学班(ACM 班)的特点和高
要求特定设置的一门专业基础课,教学对象为刚进入大学的一年级新生。教学目标是为该班同学提供比较全面、深入的计算机科学的数学基础教学,为将来学习后续的课程及从事计算机科研工作打下坚实的基础。同时,通过本课程的教学,培养同学的逻辑思维能力、数学建模能力和以计算机科学的角度分析问题、解决问题的能力。该课程还能为同学提供创新思维能力训练。教学内容主要包括命题逻辑和谓词逻辑,证明;基本结构:集合、函数、序列;算法基础;数论和应用;归纳和递归;组合数学:基本计数原理和高级计数方法;离散概率;关系;图论、树;布尔代数;计算建模等。教材为英文教材,课件内容为英文。授课主要为中文。
*课程简介(Description)
(英文与中文内容对应)
“Mathematical foundations puter science” is a required course designed for freshman students puter science major in Zhiyuan honored college. The goal of this course is to provide these students plete and profound mathematical foundations puter science and lay a solid foundation to facilitate their further studying and research. The course will also train and improve the student’s ability of logical thinking, reasoning, mathematical modeling and problem solving puter. The main contents of this course include Proposition logic and predicate logic; basic structure: