致力于进入世界五百强的计算机或者软件工程在校生,或者具备1年以上编程经验的企业人士
学习算法应对世界五百强面试
程序是为了解决实际问题而存在的。然而为了解决问题,必定会使用到某些数据结构以及设计一个解决这种数据结构的算法。如果说各种编程语言是程序员的招式,那么数据结构和算法就相当于程序员的内功。编程实战算法,不是念PPT,我们讲的就是实战与代码实现与企业应用。
除了传统数据结构算法,加入高并发线程安全数据结构,分布式负载均衡算法,分布式哈希表,分布式排序等等现代算法。
自然对数的底e是一个令人不可思议的常数,一个由 lim (1+1/n)^n 定义出的常数,居然在数学和物理中频频出现,简直可以说是无处不在。这实在是让我们不得不敬畏这神奇的数学世界。
但凡说起e,一个必定要提到的公式就是欧拉恒等式——被誉为世界上最美丽的公式。
数学中最基本的5个常数——0、1、圆周率π、自然对数的底e和虚数单位i,以及数学中最基本的两个符号——等号和加号,就这样通过一个简单的恒等式联系在了一起,实在是让人叹服。
这个等式有个一几何的直观解释。一个实数在实数轴上可以用一个向量表示,旋转这个向量,就相当于乘以一个虚数i。据此建立一个以实数为横轴,虚数为纵轴的坐标系。
实单位向量,每次逆时针旋转π/2, 可以分别得到结果1,i,-1,-i,
本科课程教学大纲(理工医类/电气学院)
√专业必修 ¨专业选修 ¨公共必修 ¨公共选修 ¨成长必修¨专业限选 ¨公共限选 |
高等数学、线性代数、高级语言程序设计 |
离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。它在各学科领域,特别在计算机科学与技术相关领域有着广泛的应用。
教学内容以基本概念、结论、算法、推理与证明方法,以及一般应用方法的介绍为主,主要内容包括数理逻辑、集合论、与图论等内容。
通过本课程的学习,要求学生理解离散数学的基本概念、结论、算法、应用方法及适用范围;了解和掌握处理离散结构的描述工具和方法;提高抽象思维和严格的逻辑推理能力,为后续课程的学习及将来从事计算机软硬件技术开发打好必要的理论基础。
本课程为计算机类专业的专业限选课程,要求学生能够应用离散数学的基本知识来解决实际问题,通过本课程的学习,学生应达到下列学习目标:
掌握离散数学基本知识及技能,核心能力1.1。
能够运用离散数学相关理论解决生活中的相关问题,核心能力1.2和5.1。
能够主动做好课前预习和课后实践,养成自主学习的意识和提高不断学习的能力,核心能力6.2。
(一)第1章 命题逻辑的基本概念
1.2命题公式及其赋值
教学要求:通过本章学习,了解命题概念,掌握五种联结词与真值表的构造;理解命题公式的概念,掌握命题公式类型的判断。
重点:命题联结词、命题公式。
采用的教学方法:知识点讲解、习题讲解。
(二)第2章 命题逻辑等值演算
2.2 析取范式与合取范式
2.3 联结词的完备集
教学要求:通过本章学习,理解等值式、析取范式、合取范式的概念;掌握命题公式的等值演算,理解析取范式与合取范式的概念,掌握主析取范式与主合取范式的求解方法;
重点:主析取范式与主合取范式
难点:主析取范式与主合取范式的求解
采用的教学方法:知识点讲解、习题讲解。
(三)第3章 命题逻辑的推理理论
3.1 推理的形式结构
3.2 自然推理系统P
教学要求:通过本章学习,理解推理的形式结构,命题逻辑的推理理论;掌握自然推理系统P。
重点:命题逻辑的推理理论。
难点:利用命题逻辑的推理理论进行命题逻辑推理。
采用的教学方法:知识点讲解、习题讲解。
(四)第4章 一阶逻辑的基本概念
4.1一阶逻辑命题符号化
4.2一阶逻辑公式及解释
教学要求:通过本章学习,理解一阶逻辑的基本概念,掌握一阶逻辑命题符号化,掌握一阶逻辑公式及其解释。
重点:一阶逻辑命题符号化、一阶逻辑公式及解释。
难点:一阶逻辑命题符号化、一阶逻辑公式及解释。
采用的教学方法:知识点讲解、习题讲解。
(五)第5章 一阶逻辑等值演算
5.1一阶逻辑等值式与置换规则
5.2一阶逻辑前束范式
教学要求:通过本章学习,了解一阶逻辑等值式、一阶逻辑前束范式的概念;掌握一阶逻辑等值式的置换规则;掌握命题路基公式前束范式的求解。
采用的教学方法:知识点讲解、习题讲解。
(六)第6章 集合代数
6.1 集合的基本概念
教学要求:通过本章学习,了解集合的基本概念,掌握集合的运算,以及有穷集的计数。
难点:集合的运算和有穷集的计数。
采用的教学方法:知识点讲解、习题讲解。
(七)第7章 二元关系
7.1 有序对与笛卡儿积
7.6 等价关系与划分
教学要求:通过本章学习,了解有序对、笛卡尔积和二元关系的基本概念,掌握关系的运算和关系的性质,掌握关系闭包的求解;掌握等价关系与划分和偏序关系。
重点:关系的运算和性质、关系的闭包、等价关系和划分、偏序关系
难点:关系的闭包、偏序关系。
采用的教学方法:知识点讲解、习题讲解。
8.1 函数的定义与性质
8.2 函数的复合与反函数
8.3 双射函数与集合的基数
教学要求:通过本章学习,了解函数的定义及性质,掌握函数的复合与反函数,掌握双射函数的判断。
重点:函数的复合与反函数
难点:函数符合的求解、反函数的求解与双射函数的判定。
采用的教学方法:知识点讲解、习题讲解。
(九)第9章 图的基本概念
教学要求:通过本章学习,了解图的基本概念,掌握图的通路和回路的求解,掌握图的连通性的判定和图的各种矩阵表示。
重点:图的通路与回路、图的连通性、图的矩阵表示。
采用的教学方法:知识点讲解、习题讲解。
10.1 无向树及其性质
10.3 根树及其应用
教学要求:通过本章学习,了解无向树及其性质,掌握生成树的概念及求解,掌握根树及其应用。
采用的教学方法:知识点讲解、习题讲解。
(十一)第11章 几种特殊的图
11.3 二部图与匹配
教学要求:通过本章学习,了解欧拉图、哈密顿图、二部图和平面图的概念,掌握欧拉图、哈密图的判定,掌握二部图与匹配及应用,掌握平面图着色。
重点:欧拉图、二部图与匹配、平面图。
难点:二部图与匹配、平面图着色。
采用的教学方法:知识点讲解、习题讲解。
在本门课程结束时,学生应该能够:
1. 掌握析取范式与合取范式的求法,自然推理系统的推理理论;一阶逻辑的推理理论,在一阶逻辑中构造推理证明的方法。
2.掌握二元关系的运算、关系的性质、关系的闭包,掌握等价关系和划分及偏序关系,掌握判断函数单射、满射、双射的方法。
3. 掌握图的矩阵表示,求最短路程与路线的方法;掌握用闭圈法求最小生成树的方法,用算法求最优树、最佳前缀码的方法。
4. 提高学生的抽象思维和逻辑推理能力上有较好提高
学生应积极参与课堂教学并完成相关的作业。
学生应认真进行课前预习,阅读教材和指定参考书及重要的参考文献。
结合理论课教学内容,教师课堂内容和习题讲解、同学讨论。
本课程是理论的课程,不安排课外实践作为课程内容。
课程中随机问答。期末考试形式为闭卷笔试。
按中山大学南方学院相关规定执行。
(七)剽窃的定义以及相应的惩罚
剽窃是严重违反学校规章制度的行为。一经发现,将上报相关部门,并受到包括开除学籍在内的严厉处罚。
1. 屈婉玲,耿素云,张立昂,《离散数学及其应用(第2版)》,高等教育出版社,2018,12
(二)教科书-强烈推荐
1. 耿素云,屈婉玲编著,《离散数学》北京大学出版社,2002年
2. 王瑞胡等主编,离散数学及其应用,清华大学出版社,2014
近年《计算机学报》、《软件学报》等国内、国际期刊杂志刊登的文章。
1. Kenneth.Rosen 著,袁崇义 屈婉玲 等译,《离散数学及其应用》(原书第6版), 机械工业出版社
(二)对预期学习成果的考察
学习成果考察内容:作业/课程实验 |
|
第1章 命题逻辑的基本概念 |
|
第2章 命题逻辑的等值演算 |
|
第3章 命题逻辑的推理理论 |
|
第4章 一阶逻辑的基本概念 |
|
第5章 一阶逻辑的等值演算 |
|
作业:习题10部分习题 |
|
第11章 几种特殊的图 |
作业:习题11部分习题 |
平时成绩由考勤、课堂参与(加分)、课后作业、课堂实验组成,各部分占比如下:
(2)课堂参与: 加分
离散数学的基本语法知识及使用(核心能力1.1);
能够利用离散数学的理论解决计算机工程问题(核心能力5.1);
第1章命题逻辑的基本概念 |
第2章 命题逻辑等值演算 2.2 析取范式与合取范式 |
2.3 联结词的完备集 |
第3章 命题逻辑的推理理论 |
第4章 一阶逻辑的基本概念 |
第5章 一阶逻辑等值演算 |
7.1 有序对与笛卡尔积 |
7.6 等价关系与划分 |
10.1 无向树及其性质 |
10.3 根树及其应用 |
第11章 几种特殊的图 |
11.3 二部图与匹配 |