中山大学——计算机专业课程体系
2015中山大学信息与计算专业教学计划
数据科学与计算机学院信息与计算科学专业2015级培养方案一、培养目标培养具有良好综合素质和开拓创新能力，系统掌握本专业基础理论、基础知识和基本技能与方法，具有较好的工程实践能力、较强的学习能力和一定的科学研究素质，能从事数据分析、科学计算及其相关技术与产业领域的系统设计与开发、项目管理与维护、科学研究与教学的复合型人才。
二、培养规格和要求1.注重德、智、体、美、劳全面发展，具有人文社会科学素养，具有社会责任感和职业道德修养；2.具有比较扎实的数学与统计学基础，受到严格的科学思维训练，初步掌握数学和统计科学的思想方法;3.掌握计算机应用的主要知识与技能，熟悉现代数据分析的主要理论、方法与技巧;能够面向现代商业、金融、企业数据分析，基于数学理论与统计知识分析建模，运用计算机技术与计算方法解决实际问题;4.掌握科学计算的主要理论与方法,能够初步解决科学与工程计算问题;5.具有较强的学习能力，具有追求创新的态度和意识，具有在专业领域跟踪新理论、新知识、新技术的能力，掌握文献检索、资料查询及运用现代信息技术获取相关信息的基本方法；6.具有一定的组织管理能力，表达能力与人际交往能力，并具备在团队中与他人合作并发挥自己作用的能力；7.掌握一门外语, 能熟练阅读本专业有关的外文资料，具有一定的国际视野，具备初步的国际交流、合作与竞争能力。
三、授予学位与修业年限本专业学制四年，按要求完成学业者授予理学学士学位。
四、毕业总学分及课内总学时五、专业基础课程数学分析、高等代数、离散数学基础、程序设计、数字电路与逻辑设计、数据结构与算法、数据结构与算法实验、计算机组成原理、计算机组成原理实验、概率与统计、解析几何六、专业核心课程数据库系统原理、数据库系统实验、数理统计、机器学习与数据挖掘、数值计算方法、微分方程及数值解七、专业特色课程操作系统原理、操作系统原理实验、计算机网络、计算机网络实验、现代统计方法与计算、大数据导论、运筹学与最优化方法、复变函数、数学建模、高级编程技术、高性能计算基础、实变函数与泛函分析、软件工程导论、数字图像处理、图论及其应用八、专业课程设置及教学计划表（见附表1）九、专业学分学时分布情况表（见附表2）十、专业实践教学环节（含实验）一览表（见附表3）十一、辅修教学进程计划表（见附表4）附表1附表2信息与计算科学专业学分学时分布情况表填写说明：（1）公必课、专必课根据该专业设置的课程填写每学期学分学时，专选课分专业设置课程学分和建议学生修读学分两栏填写；公选课的学分、学时不需分学期列出。
中山大学：申报教育部“专业综合改革试点”项目
附表：高等学校“专业综合改革试点”项目任务书学校名称中山大学专业名称通信工程建设内容卓越工程师教育培养计划负责人倪江群联系方式***************** (电邮)广东省教育厅制二O一二年五月填写说明1.任务书的各项内容要实事求是，真实可靠。
文字表达要明确、简洁。
所在学校应严格审核，对所填内容的真实性负责。
2.表中空格不够时，可另附页，但页码要清楚。
3.封面及简表中的“建设内容”填写“B”，表示与“卓越工程师、医生、法律人才、农林人才”等相关专业。
4.任务书限用A4纸张打印填报并装订成册。
一、简表专业名称通信工程建设内容卓越工程师教育培养计划所在院系信息科学与技术学院修业年限4年学位授予门类理学本专业设置时间1997本专业累计毕业生数700首届毕业生时间2001本专业现有在校生数400学校近3年累计向本专业投入的建设经费(万元)600项目负责人基本情况姓名倪江群性别男出生年月1963.11学位博士学历博士所学专业通信与信息毕业院校香港大学职称教授职务副系主任所在学校通讯地址广州市新港西路135号中山大学电话办公：************手机：138****1698电子信箱*****************邮政编码510275主要教学成果中山大学“通信工程”专业以学科建设为龙头、以建设高水平、高素质师资队伍为核心、以培养高素质创新人才为目的，在教学方面取得了显著的成绩。
近四年来，“通信工程”专业共获得广东省和中山大学立项的教学、教改项目16项；主编公开出版教材8部；发表教学论文16篇。
本专业教师曾获得各级教学成果奖励，包括国家科技进步奖二等奖、教育部自然科学一等奖、广东省科技进步一等奖、广东省教学成果一等奖、中国高校科技进步一等奖等。
2010年黄继武教授等获授“广东省教学成果一等奖”及“2009年中山大学教学成果一等奖”。
学生整体思想素质高，学风正，本专业学生曾获得2007年 “广东先进班集体”、2006年“全国先进班集体”。
中山大学计算机科学系2012学年度第一学期课程表(确定)
计算机类 高等数学（一） 计算机类 程序设计1 计算机类 程序设计1实验 计算机类 高等代数 计算机类 高等数学（一） 计算机类 程序设计1 计算机类 程序设计1实验 计算机类 高等代数 计算机类 高等数学（一）
专必 5+1 5 专必 专必 专必 3 2 4 3 1 4
公必 公必 专必 专必 专必
大学物理（1） 概率论与数理统计 计算机组成原理
1-17 1-17 1-3 1-17 3-15 1-17 1-17 1-17 1-17 1-17 1-17
A201 A204
计算机类+信息安全
计算机类+信息安全
4-5
4-5 1-3
A201
实验中心C102 实验中心B402 实验中心B402
周四
周五 上课地点
实验中心B401
备注
10级A班+B班 计科 10级A班+B班 计科 10级A班+B班 计科 10级A班+B班 计科 10级A班+B班 计科 10级A班+B班 计科 10级A班+B班 计科 10级A班+B班 计科 10级B班 11级 11级 11级
11级1班+国防生 11级1班+国防生 11级1班+国防生 11级1班+国防生 11级1班+国防生 11级1班+国防生 11级1班+国防生
3-4节（9：50-10：35 10：45-11：30） 5节（11：40-12：25）
6-7节(12:35-13:20 13:30-14:15) 8-9节（14：25-15：10 15：20-16：05）10-11节（16：15-17：00 17：10-17：55）
中山大学计算机学院离散数学基础教学大纲(2019)
中山大学本科教学大纲Undergraduate Course Syllabus学院（系）：数据科学与计算机学院School (Department)：School of Data and Computer Science课程名称：离散数学基础Course Title：Discrete Mathematics二〇二〇年离散数学教学大纲Course Syllabus: Discreate Mathematics（编写日期：2020 年12 月）(Date: 19/12/2020)一、课程基本说明I. Basic Information二、课程基本内容 II. Course Content（一）课程内容i. Course Content1、逻辑与证明（22学时） Logic and Proofs (22 hours)1.1 命题逻辑的语法和语义(4学时) Propositional Logic (4 hours)命题的概念、命题逻辑联结词和复合命题，命题的真值表和命题运算的优先级，自然语言命题的符号化Propositional Logic, logic operators (negation, conjunction, disjunction, implication, bicondition), compound propositions, truth table, translating sentences into logic expressions1.2 命题公式等值演算(2学时) Logical Equivalences (2 hours)命题之间的关系、逻辑等值和逻辑蕴含，基本等值式，等值演算Logical equivalence, basic laws of logical equivalences, constructing new logical equivalences1.3 命题逻辑的推理理论（2学时）论断模式，论断的有效性及其证明，推理规则，命题逻辑中的基本推理规则（假言推理、假言易位、假言三段论、析取三段论、附加律、化简律、合取律）,构造推理有效性的形式证明方法Argument forms, validity of arguments, inference rules, formal proofs1.4 谓词逻辑的语法和语义 (4学时) Predicates and Quantifiers (4 hours)命题逻辑的局限，个体与谓词、量词、全程量词与存在量词，自由变量与约束变量，谓词公式的真值，带量词的自然语言命题的符号化Limitations of propositional logic, individuals and predicates, quantifiers, the universal quantification and conjunction, the existential quantification and disjunction, free variables and bound variables, logic equivalences involving quantifiers, translating sentences into quantified expressions.1.4 谓词公式等值演算(2学时) Nested Quantifiers (2 hours)谓词公式之间的逻辑蕴含与逻辑等值，带嵌套量词的自然语言命题的符号化，嵌套量词与逻辑等值Understanding statements involving nested quantifiers, the order of quantifiers, translating sentences into logical expressions involving nested quantifiers, logical equivalences involving nested quantifiers.1.5谓词逻辑的推理规则和有效推理(4学时) Rules of Inference (4 hours)证明的基本含和证明的形式结构，带量词公式的推理规则（全程量词实例化、全程量词一般化、存在量词实例化、存在量词一般化），证明的构造Arguments, argument forms, validity of arguments, rules of inference for propositional logic (modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, addition, simplication, conjunction), using rules of inference to build arguments, rules of inference for quantified statements (universal instantiation, universal generalization, existential instantiation, existential generalization)1.6 数学证明简介(2学时) Introduction to Proofs (2 hours)数学证明的相关术语、直接证明、通过逆反命题证明、反证法、证明中常见的错误Terminology of proofs, direct proofs, proof by contraposition, proof by contradiction, mistakes in proofs1.7 数学证明方法与策略初步(2学时) Proof Methods and Strategy (2 hours)穷举法、分情况证明、存在命题的证明、证明策略（前向与后向推理）Exhaustive proof, proof by cases, existence proofs, proof strategies (forward and backward reasoning)2、集合、函数和关系（18学时）Sets, Functions and Relations(18 hours)2.1 集合及其运算(3学时) Sets (3 hours)集合与元素、集合的表示、集合相等、文氏图、子集、幂集、笛卡尔积Set and its elements, set representations, set identities, Venn diagrams, subsets, power sets, Cartesian products.集合基本运算（并、交、补）、广义并与广义交、集合基本恒等式Unions, intersections, differences, complements, generalized unions and intersections, basic laws for set identities.2.2函数(3学时) Functions (3 hours)函数的定义、域和共域、像和原像、函数相等、单函数与满函数、函数逆与函数复合、函数图像Functions, domains and codomains, images and pre-images, function identity, one-to-one and onto functions, inverse functions and compositions of functions.2.3. 集合的基数（1学时）集合等势、有穷集、无穷集、可数集和不可数集Set equinumerous, finite set, infinite set, countable set, uncountable set.2.4 集合的归纳定义、归纳法和递归（3学时）Inductive sets, inductions and recursions (3 hours)自然数的归纳定义，自然数上的归纳法和递归函数；数学归纳法（第一数学归纳法）及应用举例、强归纳法（第二数学归纳法）及应用举例；集合一般归纳定义模式、结构归纳法和递归函数。
本科专业认证《计算机体系结构》教学大纲
《计算机体系结构》教学大纲课程名称：计算机体系结构英文名称：Computer Architecture课程编号：0812000485课程性质：选修学分/学时：2/32。
其中，讲授 32学时，实验 0学时，上机 0学时，实训 0学时。
课程负责人：先修课程：模拟电路，数字电路，计算机组成原理，汇编语言，操作系统，算法与程序设计方法一、课程目标通过本课程的教学，使学生先掌握计算机系统结构的基本概念，以及计算机系统结构的形成和发展过程，再以现代计算机系统结构为主线，掌握计算机系统结构的合成、存储系统结构、流水线结构、多处理机系统、RISC结构、分布计算环境结构及数据流计算机结构等现代计算机的系统结构，并了解软件对计算机系统结构的影响，最后了解现代计算机系统结构的最新发展。
本课程帮助学生了解计算机系统结构的基本概念，基本原理、基本结构、基本分析方法以及近年来的重要进展。
通过本课程的学习，达到以下教学目标：1. 工程知识1.1 掌握必要的计算机体系结构基础理论知识。
1.2 能够应用计算机体系结构理论知识解决复杂工程技术问题。
2. 问题分析2.1 能够理解并恰当表述计算机体系结构的实际问题。
2.2 能够找到合适的解决计算机体系结构实际问题的程序与方法。
2.3 在一定的限制条件下能够合理解决计算机体系结构方面的实际问题。
3．设计/开发解决方案能够运用计算机系统结构基础知识初步进行计算机系统的规划与设计并体现创新意识。
4. 研究4.1能够采用计算机系统结构理论知识进行研究并合理设计实验方案。
4.2具备采集有效数据的能力。
5. 使用现代工具能够正确运用工具与资源对计算机系统的性能提升等问题进行设计与实现。
6. 终身学习6.1具有自觉搜集阅读与整理资料的能力。
6.2了解计算机系统结构的发展前沿。
6.3具有终身学习的意识与能力。
二、课程内容及学时分配如表1所示。
三、教学方法课程教学以课堂教学、实验教学、课外作业、综合讨论、网络课程等共同实施。
985中山大学最好的专业排名
985中山大学最好的专业排名中山大学最好的专业1临床医学专业共有 460人认为中山大学的临床医学专业不错，推举就读指数为4.8[满分5.0]。
专业介绍：临床医学专业是一门实践性很强的应用科学专业。
它致力于培养具备基础医学临床医学的基本理论和医疗预防的基本技能;能在医疗卫生单位医学科研等部门从事医疗及预防医学科研等方面工作的医学高级专门人才。
就业前景：目前绝大多数医院的发展重点不在扩大规模而是以急需的具备一定资历的专业人才为主,大量接收毕业生的状况将不存在.因此,临床医学专业毕业生就业的难度越来越大。
2金融学专业共有 328人认为中山大学的金融学专业不错，推举就读指数为4.7[满分5.0]。
培养目标：本专业培养具备金融学方面的理论知识和业务技能，能在银行证券投资保险及其他经济管理部门和企业从事相关工作的专门人才。
就业方向：从近几年就业情况来看，金融学专业毕业生就业主要面向银行及金融系统。
除了商业银行股份制商行外资银行驻国内分支机构以外，还有几大主要去向：中央(人民)银行银行业监督管理委员会证券业监督管理委员会保险业监督管理委员会;证券公司(含基金管理公司) 信托投资公司金融控股集团等风险性很大的金融公司;四大会计师事务所四大资产管理公司金融租赁担保公司等;保险公司保险经纪公司;社保基金管理中心或社保局;上市(欲上市)股份公司证券部财务部证券事务代表等;国家公务员序列的政府行政机构如财政审计海关部门等。
3经济学专业共有 288人认为中山大学的经济学专业不错，推举就读指数为4.7[满分5.0]。
专业介绍：经济学是现代的一个独立学科，是关于经济发展规律的科学。
从1776年亚当・斯密的[国富论]开始奠基，现代经济学经历了 200多年的发展，已经有宏观经济学微观经济学政治经济学等众多专业方向，并应用于各垂直领域，指导人类财富累积与创新。
就业方向：经济学毕业生就业面非常广，适合在政府机构金融机构高等学校大中型企业，从事政策分析教学钻研经济管理营销等工作，也适合自主创业。
《数理逻辑》课程教学大纲
中山大学信息科学与技术学院计算机科学系《数理逻辑》课程教学大纲课程名称：数理逻辑类别：专业必修课授课对象：本科生总学时：54学时适用专业：计算机科学与技术/信息安全开课学期：第二学期编写人员：周晓聪、蔡国扬审核人员：苏开乐编写日期：2006年2月一、教学目的计算机科学与技术以及信息安全专业的本科学生应具有较强的逻辑推理和问题求解能力，并应有较好的数学素养，特别地，计算机科学与技术专业的本科学生还应对形式系统有初步的了解。
《数理逻辑》课程主要讲授有关命题逻辑和一阶谓词逻辑的内容，学生通过学习本课程应该达到以下目标：1. 应熟练掌握有关命题逻辑和一阶谓词逻辑的基本知识，包括：命题逻辑公式联结词的含义；命题逻辑公式的真值、等值演算、范式及自然推理系统；谓词与量词的含义；一阶公式的真值、等值演算、前束范式及自然推理系统。
2. 应理解数学证明的形式定义，并能掌握和运用一些数学证明技巧，包括综合法、分析法、反证法、数学归纳法，进一步应基本理解归纳定义与归纳证明原理。
3. 应了解公理化方法的基本思想，基本理解命题演算形式系统的定义与构造，并能进行一些形式推理证明，进一步应初步了解形式系统的元理论，包括形式系统的和谐性、可靠性、完备性与可判定性。
总之，本课程的教学应使得学生熟练掌握有关命题逻辑和一阶谓词逻辑的基本知识，理解并能初步运用形式化的逻辑推理和数学证明，初步了解公理化方法和形式化方法，并训练学生的数学思维方式，提高其数学解题能力。
二、教材选择1、教学内容概述根据上述教学目的，本课程的教学内容至少应该包括三部分：命题逻辑、命题演算与一阶谓词逻辑。
命题逻辑和一阶谓词逻辑是本课程的基本内容，分别讲授命题逻辑公式和一阶逻辑公式的基本概念、等值演算以及半形式化的推理理论。
命题演算是本课程的深化内容，在学生理解半形式化推理理论的基础上，介绍命题逻辑的形式化演算系统，使学生对公理化方法和形式化方法有初步的了解。
鉴于谓词逻辑的形式演算系统比较复杂，低年级本科生不容易掌握，因此本课程不讲授有关谓词演算部分的内容。
中山大学《操作系统原理》
中山大学信息科学与技术学院计算机科学系 中山大学信息科学与技术学院计算机科学系课程教学大纲《操作系统原理》课程教学大纲课程名称：操作系统原理类别：专业必修课授课对象：本科生总学时：72学时适用专业：计算机科学与技术/信息安全开课学期：第五学期编写人员：丘静玉审核人员：印鉴编写日期：2006年4月一、教学目的操作系统是配置在计算机硬件上的第一层软件，其他所有的系统软件和应用软件都必须依赖于操作系统的支持。
《操作系统原理》是计算机学科各相关专业的重要的必修课程之一，它在计算机知识结构中有着极其重要的地位和作用，可为学生较全面地建立起关于计算机系统的概念。
学生通过学习本课程应该达到以下目标：1.掌握操作系统的基本概念、原理、技术和方法，深入了解操作系统在计算机系统中的地位及作用，以及它与硬件和其它软件之间的关系，进而了解操作系统控制整个计算机系统执行的全过程，具有操作系统的整体概念。
2.能用程序设计语言编写、调试和运行操作系统的主要算法和功能模块。
3.了解一个以上主流操作系统的实现技术，熟练掌握应用。
4.获取知识的同时，掌握学科的基本规律及研究方法，初步培养自我拓展知识和运用知识的能力。
总之，本课程要求学生全面地了解和掌握操作系统的目标、作用和模型，从资源管理的角度领会操作系统的功能和实现过程，使学生系统科学地受到分析问题和解决问题的训练，提高运用理论知识解决实际问题的能力，鼓励并初步培养学生的研究精神和能力。
二、教材选择1. 教学内容概述《操作系统原理》讲述操作系统的基本概念、原理和方法，其课程内容应包含《中国计算机科学与技术学科课程2002》（简称CCC2002）里列举的知识体系：CS-OS1至8。
从资源管理的角度来说，课程内容主要围绕操作系统的几个基本功能展开：（1） 操作系统概述：介绍操作系统的基本概念、目标、功能、发展历史和类型、操作系统的主要成就以及现代操作系统的特点等。
（2） 处理器管理：在进程概念的基础上讨论进程描述、进程控制、进程同步和互斥、死锁、饿死、线程、处理器调度等问题。