杭州电子科技大学2023年《离散数学》考研专业课同等学力加试大纲
2019年大连海事大学计算机科学与技术考研专业课离散数学(同等学力加试)考试大纲
大连海事大学硕士研究生入学考试大纲
考试科目：离散数学 试卷满分及考试时间:试卷满分为 100 分，考试时间为 180 分钟。
一、命题逻辑 考试内容 命题，连接词的真值，重言式/矛盾式/可满足式， 代入规则与替换规则，等价 与蕴含，对偶式与对偶原理，连接词的最小功能完备集，范式与主范式，命题逻 辑的推理规则法
闭包） 4．掌握划分、等价关系、等价类的概念，理解非空集合 X 上的等价关系与 X 的 划分是一一对应的。 5．给定等价关系，会求对应的划分；给定划分，会求的对应的等价关系（掌握 笛卡尔积的概念及其性质，笛卡尔积元素计数公式。 6．重点掌握等价关系相关的证明题。 7．偏序关系的定义，会画偏序关系的的哈斯图，并会求最大元和最小元、极大 元和极小元、上界和下界、上确界和下确界。
七、群 半群、子半群、循环半群，群，阿贝尔群，群同态，循环群，子群。
考试要求 1．了解半群、子半群、循环半群的概念。 2．理解群的概念及群的基本性质，会证明给定的代数系统是否是群，会证明阿 贝尔群以及群同态（同构）问题的证明。 3．理解循环群概念以及循环群的分类 4．理解子群的概念，掌握子群的证明方法。
五、函数 函数的概念，满射、单射、双射函数，复合函数，逆函数
考试要求 1．理解函数的概念，特别是函数（或映射）的全域性和惟一性。 2．会计算函数个数：设 X 和 Y 都为有限集,则从 X 到 Y 共有|Y||X|不同的函数。 3．理解满射、单射、双射函数。 4．会求复合函数。 5．了解逆函数的概念。
2023计算机408考研大纲
2023计算机408考研大纲【原创版】目录1.2023 计算机 408 考研大纲概述2.考试科目内容及难度3.操作系统相关知识4.进程管理相关知识5.同步与互斥相关知识6.计算机考研 812 考试科目及内容7.计算机专业知识考试大纲概述正文2023 计算机 408 考研大纲是指导考生备考的重要依据。
根据大纲，计算机 408 考研科目包括计算机组成原理、数据结构、操作系统和计算机网络。
这四门科目内容不同，难度也不一样，旨在全面考察考生在计算机领域的基本知识和能力。
操作系统是计算机 408 考研中的一个重要科目。
考生需要掌握操作系统的基本概念、基本原理和基本功能，理解操作系统的整体运行过程。
同时，考生还需掌握操作系统进程、内存、文件和 I/O 管理的策略、算法、机制以及相互关系。
此外，考生需要能够运用所学的操作系统原理、方式与技术分析问题和处理问题，并能利用 C 语言描述有关算法。
进程管理是计算机 408 考研中另一个重要的科目。
考生需要了解进程与线程的概念、状态与转换，以及进程间通信的方式。
此外，考生还要掌握 CPU 调度与上文和下文切换的相关知识，包括调度的基本概念、目标、算法以及上文和下文切换机制。
同步与互斥是计算机 408 考研中的一个重要知识点。
考生需要了解进程同步的基本概念，以及达到临界区互斥的基本方式。
此外，考生还需要掌握锁、信号量等同步与互斥机制。
计算机考研 812 是全国统考的科目，其考试内容包括数据结构、计算机组成原理、操作系统和计算机网络。
根据计算机专业知识考试大纲，计算机考研 812 共有四门课程，分别是政治、英语、数学和计算机专业知识。
计算机学科专业基础综合科目实行联合出题，考试内容及考试试卷在考试大纲中确定。
总之，2023 计算机 408 考研大纲为考生提供了备考的指导，考生需要掌握计算机组成原理、数据结构、操作系统和计算机网络等专业知识，以便在考试中取得好成绩。
杭州电子科技大学2022年同等学力加试考试大纲 机械工程学院-微机原理及应用
杭州电子科技大学硕士研究生复试同等学力加试科目考试大纲学院：机械工程学院加试科目：微机原理及应用一、微型计算机的基础知识1．微型计算机的一般概念、工作原理。
2．计算机中信息的表示方法及运算基础。
二、8086系统结构1．8086 CPU内部结构及工作模式。
2．8086CPU的内部寄存器的分类及使用。
3．8086CPU引脚及其功能。
4．存储器组织与分段设计方法，逻辑地址与物理地址。
5．8086CPU的内部时序、总线周期的概念及其与时钟周期。
三、8086指令系统1．操作数的寻址方式2．8086的指令格式，8086的指令集四、8086汇编语言程序设计1．8086汇编语句格式2．8086伪指令和运算符3．汇编语言程序设计五、存储器原理与接口1．存储器的分类、结构和接口设计。
2．地址译码方法及常用译码芯片74LS138。
六、微型计算机的输入/输出1．I/O端口地址的形成。
2．I/O端口寻址方式。
3．8086CPU的I/O指令和I/O地址译码电路。
4．8086CPU与外部设备的输入输出方式。
七、可编程接口芯片1．8255A和 CPU 的信号连接以及和外设的信号连接。
2．8255A的初始化流程及使用程序设计。
3．可编程定时/计数器接口芯片8253的工作方式。
八、串行输入/输出接口1．串行通信的接口标准与接口芯片。
2．USB工作原理。
九、中断与中断管理1．8086CPU中断服务入口地址表。
2．中断入口地址设置。
3. 8259A中断控制芯片基本功能十、D/A转换与A/D转换接口及应用1．D/A转换器与CPU的连接方法与使用程序设计。
2．A/D转换器与CPU的连接方法与使用程序设计。
参考书目：彭虎，周佩玲傅忠谦编，《微机原理与接口技术》，电子工业出版社，第3版，2011。
电气工程及自动化专业考研专业课考试科目
电气工程及其自动化考验科目这个需要看学校的,我也是学电气工程及其自动化的,但是我的一个同学在另一个学校也是电气工程及其自动化的,他们的课程和我们的就不太一样.给你找了一些学校开设的科目.北京工业大学421自动控制原理复试：1、电子技术2、计算机原理北京航空航天大学[双控] 432控制理论综合或433控制工程综合[检测] 433控制工程综合或436检测技术综合[系统] 431自动控制原理或451材料力学或841概率与数理统计[模式] （自动化学院）433控制工程综合或436检测技术综合、（宇航学院）423信息类专业综合或431自动控制原理或461计算机专业综合[导航] （自动化学院）432控制理论综合或433控制工程综合、（宇航学院）431自动控制原理复试：无笔试。
1) 外语口语与听力考核；2) 专业基础理论与知识考核；3) 大学阶段学习成绩、科研活动以及工作业绩考核；4) 综合素质与能力考核北京化工大学440电路原理复试：综合1(含自动控制原理和过程控制系统及工程)、综合2(含自动检测技术装置和传感器原理及应用)、综合3(含信号与系统和数字信号处理)注：数学可选择301数学一或666数学（单）北京交通大学[双控/检测]404控制理论[模式]405通信系统原理或409数字信号处理复试：[电子信息工程学院双控]常微分方程[机械与电子控制工程学院检测]综合复试（单片机、自动控制原理）[计算机与信息技术学院模式] 信号与系统或操作系统北京科技大学415电路及数字电子技术(电路70%，数字电子技术30%)复试：1.数字信号处理2.自动控制原理3.自动检测技术三选一北京理工大学410自动控制理论或411电子技术（含模拟数字部分）复试：微机原理+电子技术（初试考自动控制理论者）、微机原理+自动控制理论（初试考电子技术者）、运筹学+概率论与数理统计。
北京邮电大学[双控][模式]404信号与系统或410自动控制理论或425人工智能[检测]407电子技术或410自动控制理论复试：[双控]数据结构控制与智能[模式]微机原理数字电路与逻辑设计人工智能[检测]1.控制工程基础2.检测技术与测试信号处理3.微机原理与接口技术（三选二）重庆大学[光电工程学院]微机原理及应用、[自动化学院]444微型计算机原理、445自动控制原理复试：[光电工程学院]大学物理(电磁学部分)、[自动化学院]自动化专业基础综合考试（古典控制与计算机控制基础任选一）大连理工大学404高等代数、453信号与系统（含随机信号20%）、454自动控制原理(含现代20%) 三选一复试：①《计算机原理》+ ②《检测技术及仪表》+③《电路理论》综合，①40%②30%③30%第二炮兵工程学院自控原理（含电子技术）复试：学科专业综合课考试（笔试）电子科技大学418数字电路或436自动控制原理复试：《微机原理》东北大学[双控/导航]838自动控制原理复试：综合知识一（1.电路原理部分30%，2. 微机原理部分30%，3.计算机控制系统部分40%），综合知识二（1. 线性代数40%，2. 微分方程40%，3. 概率论20%），考生二选一[检测]837检测技术或838自动控制原理复试：综合知识（1、单片机原理及接口技术50%，2、单片机C语言程序设计50%）：[系统]838自动控制原理或843C语言程序设计与数据结构复试：综合知识一：包括：1、电路原理部分30% 2、微机原理部分30%，3、计算机控制系统部分40%；综合知识二：包括：1、数据库40%2、软件工程30%，3、计算机网络30%考生二选一[模式]838自动控制原理复试：综合知识（1、微机原理50%，2、计算机控制系统部分50%）东华大学424自动控制理论或425电路原理或426微型计算机原理及应用复试笔试科目：[双控/智能/系统]现代控制理论基础或计算机控制技术[检测]电子技术或计算机控制技术东南大学934电路或981自动控制原理或933高等代数(选933科目限招5人)复试笔试科目：选934考自动控制原理；选981考电路；选933考概率论及常微分方程复试条件：自动控制系53/80/340 (总分>=380分，单科（限一门）可降2分福州大学412电路及自动控制理论复试科目：现代控制理论广东工业大学[双控/检测/模式](427)自控原理或(431)微机原理(自)或(432)电子技术(自)[系统工程](427)自控原理或(431)微机原理(自)或(433)数据库(自)] 复试：初试未选考的另外两门专业课国防科学技术大学自动控制原理（416）复试：A、电子技术基础（514）B、微机原理（515）注：A、B选一哈尔滨工程大学[双控/检测/模式/导航]412 自动控制原理复试：微机原理及应用[系统] 413微机原理及应用复试：①自动控制原理②运筹学二门任选其一哈尔滨工业大学401控制原理（覆盖现代控制理论）复试：电路+电子技术+自动控制元件各1/3合肥工业大学[双控]自动控制原理[检测]电子技术（包括模电、数电）复试：微机原理河海大学[双控]422电路或478数字电路与模拟电路复试科目：969 自动控制原理、微机原理与接口技术[检测]422电路或427自动控制原理基础复试科目：963 微机原理与接口技术[模式]422电路或438数据结构及程序设计复试科目：935 操作系统、编译原理、数据库原理湖南大学425微机原理及应用复试专业课：897自动控制原理华东理工大学415微机原理或416控制原理复试：a)微机原理（初试选考控制原理者），b)控制原理（初试选考微机原理者）华南理工大学[双控/检测/模式]433自控基础综合(含自动控制原理、现代控制理论)复试：931自动控制系统(运动控制或过程控制)和微机原理及应用[系统工程]433自控基础综合(含自动控制原理、现代控制理论)或434应用数学基础(含概率论、常微分方程)复试：931自动控制系统(运动控制或过程控制)和微机原理及应用或933数学综合(线性代数、数学分析)华中科技大学[控制系]428运筹学429自动控制原理（经典控制理论、现代控制理论）[图像所]424 信号与线性系统429自动控制原理（含经典控制理论、现代控制理论）431电子技术基础432数据结构434计算机组成原理438物理光学复试：[控制系]专业综合考试。
2023考研数学全年复习计划
数学参考书目推荐（先看大纲）：参考教材高数：《高等数学》同济版上下高等教育出版社线代：《工程数学—线性代数》同济版高等教育出版社概统：《概率论与数理统计》浙大版高等教育出版社参考资料：李永乐李正元《数学复习全书》（必用，很重要）李永乐李正元《数学历年试题解析》（必用，很重要）李永乐《数学基础过关660题》（根据时间和需要选择是否做）李永乐《数学全真模拟经典400题》（难度较大，根据时间和需要选择是否做）准备阶段(年前-2月)1.了解考试常识。
比如：近几年数学国家线的分值、了解试卷的题型分值等。
2.明确所报专业考数一、数二还是数三，准备相应教材。
3.考研数学大纲的学习。
学习前一年的数学考试大纲，了解考研数学的考察内容和考察重点。
基础阶段(3月-6月)1.学习目标：不留死角地复习每个知识点2.阶段重点：按照教材逐一梳理每个章节的每个知识点，并做课后习题3.复习建议：(1)按照章节顺序结合大纲梳理教材，不留死角和空白。
(2)对于重要的定理、公式，不能够仅停留在“看懂了”的层面上，一定要自己亲手推导其证明过程。
(3)每天学习新内容前要复习前面的内容，准备一个记题本，将复习过程中碰到的不懂的知识点记录下与做错的习题整理成错题集。
(4)注意顺序：一定要先看书后做题，此阶段不要做难题。
强化阶段(7月-8月)1.学习目标：熟悉考研题，分清重难点2.阶段重点：通过大量练习，归纳常见题型，总结解题思路和方法3.复习建议：(1)这一时期考生每天学习数学的时间尽量集中在一起，保证每日至少3个小时连续复习时间。
(2)可以买一本辅导书，先做练习题。
建议做李永乐660题，学会归纳题型与常考知识点，把重点、难点以及错题做成笔记，以便以后复习(3)遇上不懂或似懂非懂的题目要认真对待，切忌一看不会就直接看答案。
提升阶段(9月-10月)1.学习目标：通过整套真题练习，检查知识点的掌握程度，提高解题的准确度与速度 2.阶段重点：研究近10年的真题3.复习建议：(1)新的考试大纲此时已发布，对其要求的知识点做最后梳理，熟记各种公式、定理。
杭州电子科技大学2022年同等学力加试考试大纲 经济学院-计量经济学
杭州电子科技大学硕士研究生复试同等学力加试科目考试大纲学院：经济学院加试科目名称：计量经济学一、经济计量学的特征及研究范围1. 什么是经济计量学2. 为什么要学习经济计量学3. 经济计量学方法论二、线性回归的基本思想：双变量模型1. 回归的含义2. 总体回归函数（PRF）：假想一例3. 总体回归函数的统计或随机设定4. 随机误差项的性质5. 样本回归函数6.“线性”回归的特殊含义7. 从双变量回归到多元线性回归8. 参数估计：普通最小二乘法三、双变量模型：假设检验1. 古典线性回归模型2. 普通最小二乘估计量的方差与标准误3. 为什么使用OLS?OLS估计量的性质4. OLS估计量的抽样分布或概率分布5. 假设检验6. 拟合回归直线的优度：判定系数r27. 回归分析结果的报告8. 正态性检验四、多元回归：估计与假设检验1. 三变量线性回归模型2. 多元线性回归模型的若干假定3. 多元回归参数的估计4. 估计多元回归的拟合优度：多元判定系数R25. 多元回归的假设检验6. 对偏回归系数进行假设检验7. 检验联合假设：B2=B3=0或R2=08. 从多元回归模型到双变量模型：设定误差9. 比较两个R2值：校正的判定系数10.什么时候增加新的解释变量11.受限最小二乘五、回归模型的函数形式1. 如何度量弹性：双对数模型2. 比较线性和双对数回归模型3. 多元对数线性回归模型4. 如何预测增长率：半对数模型5. 线性-对数模型：解释变量是对数形式6. 倒数模型7. 多项式回归模型8. 过原点的回归9. 关于度量比例和单位10.标准化变量的回归六、虚拟变量回归模型1. 虚拟变量的性质2. ANCOVA模型：包含一个定量变量、一个两分定性变量的回归3. 包含一个定量变量、一个多分定性变量的回归4. 包含一个定量变量和多个定性变量的回归5. 比较两个回归6. 虚拟变量在季节分析中的应用7. 应变量也是虚拟变量的情形：线性概率模型（LPM）七、模型选择：标准与检验1. “好的”模型具有的性质2. 设定误差的类型3. 遗漏相关变量：“过低拟合”模型4. 包括不相关变量：“过度拟合”模型5. 不正确的函数形式6. 度量误差7. 诊断设定误差：设定误差的检验八、多重共线性：解释变量相关会有什么后果1. 多重共线性的性质：完全多重共线性的情形2. 近似或者不完全多重共线性的情形3. 多重共线性的理论后果4. 多重共线性的实际后果5. 多重共线性的诊断6. 多重共线性必定不好吗7. 如何解决多重共线性：补救措施九、异方差：如果误差方差不是常数会有什么结果1. 异方差的性质2. 异方差的后果3. 异方差的诊断：如何知道存在异方差问题4. 观察到异方差该怎么办：补救措施5. 怀特异方差校正后的标准误和t统计量十、自相关：如果误差项相关会有什么结果1. 自相关的性质2. 自相关的后果3. 自相关的诊断4. 补救措施5. 如何估计ρ6. 校正OLS标准误的大样本方法：纽维-韦斯特（Newey-West）方法参考书目：《经济计量学精要》(第四版)，达莫达尔·古扎拉蒂著，机械出版社，2010年6月。
数学专业考研参考资料
近几年的分数线不高,总分在320左右,单科50,75
08年由于题目较简单,分数线340,单科50,88,华科网站上都有,可以自己查查.
我是数学专业的，考研还是数学专业，现在考研复习开始进入第二阶段，也就准备开始多做题了，想请教过来人，推荐一本比较有效的辅导书（要适合数学专业）。另外，考研复习有何好建议，也请赐教！
关于参考书个人认为，并不是越多越好，好的参考书能起到触类旁通的效果，当然有一点值得注意，就是有些学校为了吸引更多的学生报考，在所给招生简章的参考书目上罗列的课本和考题真正能用的上的不符。请记住一点永远以所考学校本科阶段所使用的教材为主，因为那本书出题老师最熟悉！
下面列出几本优秀的参考书仅供参考
《数学分析》陈纪修等编 高等教育出版社
提问者： 空定 - 四级最佳答案裴礼文的"数学分析",这本难度大点,但很经典.很多学校都从上面摘题.
钱吉林的"数学分析""高等代数"都不错,难度也小.如果不考名校,看他的就行
最好能搞到想报考学校的内部复习资料,还有往年的真题
建议就是抓"英语".考数学专业的话,英语好了很占优势
广州大学城附近有没有好的数学导书卖，我要找那些教解题方法的书，最好价钱便宜
要考华科数学研究生要准备什么书？
悬赏分：0 - 提问时间2008-5-20 08:09
近几年，华科数学研究生的各科分数是多少？
提问者： demo_007 - 一级其他回答 共 1 条
数学分析:教材华师大版,钱吉林数学分析题解精粹(很重要!与华科考题类型相识)
高等代数:教材北京大学版,也可参考钱吉林高等代数题解精粹.
《离散数学》教学大纲48学时20170326_16级使用
《离散数学》课程教学大纲模板（黑体 小三号 居中）（以下标题为黑体小四号，行距为18磅，内容为宋体五号）一、课程定位本课程的授课对象、课程的基本描述(课程的性质、任务、与其它课程的关系等)和在人才培养过程中的地位和作用。
《离散数学》是计算机科学以及相关专业重要的专业基础课。
包括的主要内容有：数理逻辑、集合论、二元关系、函数和图论等。
它以研究离散量的结构和相互关系为主要目标，通过该课程的学习，培养学生抽象思维和严密的逻辑推理能力，为进一步学习其它专业课打好基础，并为学生今后处理离散信息，提高专业水平，从事计算机或者相应专业以及实际工作提供必备的数学工具。
二、教学目标学生通过学习该课程后，在思维、知识和能力等方面应达到的目标。
1. 有效地掌握该门课程中的所有概念。
通过讲课和布置一定数量的习题使学生能够使用所学的概念对许多问题作出正确的判断。
2. 通过课程中许多定理的证明过程复习概念，了解证明的思路，学会证明的方法，并使学生掌握定理的内容和结果。
3. 通过介绍各种做题的方法，启发学生独立思维的能力。
创造性的提出自己解决问题的方法，提高学生解决问题的能力。
4.通过该门课程的学习使学生掌握逻辑思维和逻辑推理的能力，培养学生正规的逻辑思维方式。
课程名称：离散数学/ Discrete Mathematics课程编码： 20019703总学时数/学分数：专业基础课 实验学时：0上机学时：0 课程所属部门：信息技术工程学院 适用专业：计算机科学与技术、网络工程、软件工程及相关专业课程负责人：制定日期：2017年3月说明：1.实验和上机内容只填写项目名称及学时，具体内容和要求见实验大纲。
2.教学要求分章节按“了解”、“理解”、“掌握”三个层次编写教学内容及要求。
“了解”是指学生应能辨认的科学事实、概念、原则、术语，知道事物的分类、过程及变化倾向，包括必要的记忆；“理解”是指学生能用自己的语言把学过的知识加以叙述、解释、归纳，并能把某一事实或概念分解为若干部分，指出它们之间的内在联系或与其它事物的相互关系；“掌握”是指学生能根据不同情况对某些概念、定律、原理、方法等在正确理解的基础上结合事例加以运用，包括分析和综合。
电子科技大学硕士考试大纲
电子科技大学硕士考试大纲
电子科技大学硕士研究生入学考试初试考试大纲
电子科技大学硕士研究生入学考试初试考试大纲
电子科技大学硕士研究生入学考试初试考试大纲
电子科技大学硕士研究生入学考试初试考试大纲
电子科技大学硕士研究生入学考试初试考试大纲
电子科技大学硕士研究生入学考试初试考试大纲
电子科技大学硕士研究生入学考试初试考试大纲
电子科技大学硕士研究生入学考试初试考试大纲
电子科技大学硕士研究生入学考试初试考试大纲
电子科技大学硕士研究生入学考试初试考试大纲。
杭州电子科技大学2023年《通信电路》考研专业课同等学力加试大纲
杭州电子科技大学硕士研究生复试同等学力加试科目考试大纲学院：通信工程学院加试科目：通信电路第一章谐振网络与阻抗匹配网络1．LC并联谐振回路的结构，谐振频率、品质因素、带宽及谐振点电阻计算。
2．LC串联谐振回路的结构，谐振频率、品质因素、带宽及谐振点电阻计算。
3．带有抽头的LC复杂谐振回路的阻抗变换关系及谐振频率与带宽计算。
4．电抗与电阻串并联等效概念及有关计算。
5．L型阻抗匹配的结构及匹配元件值计算。
第二章谐振功率放大器1. 谐振功率放大器的电路结构及工作原理。
2. 谐振功率放大器的准静态近似分析方法。
3. 谐振功率放大器的功率、效率及电源功耗等计算。
4. 谐振功率放大器的欠压、临界、过压三种工作状态特点及其判断依据。
5. 谐振功率放大器的负载特性、调制特性、放大特性的概念及应用。
6. 谐振功率放大器的直流馈电电路，集电极串馈、并馈及基极自给偏置的概念。
第三章正弦波振荡器1. 反馈振荡器的电路结构及工作原理，起振条件、平衡条件及稳定条件。
2. LC三点式振荡器的电路结构，起振条件、振荡频率的工程估算。
3. 振荡器频率稳定度的因素及改进措施。
4. 石英晶体等效电路及参数，石英晶体的Q值、串并联谐振频率及谐振曲线。
5. 并联型及串联型石英晶体振荡器的工作原理及典型电路。
第四章振幅调制、解调与混频电路1. 频谱搬移电路的组成模型。
2. AM、DSB、SSB信号的数学表达式、功率及带宽计算。
3. AM、DSB、SSB的产生模型及解调模型。
4. 非线性器件相乘作用及特性，组合频率分量表达式及其与多项式阶数的联系。
5. 非线性相乘器的线性时变工作原理及频谱特点。
6. 二极管平衡、双平衡混频器的电路结构及分析方法，混频输出信号表达式、输入阻抗及混频插损（增益）计算。
7. 三极管Gilbert混频器的电路结构及分析方法。
8. 混频失真的主要类型及产生机理。
混频器1dB压缩点概念，混频器三阶互调截止点概念及3阶互调失真计算。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
杭州电子科技大学
硕士研究生复试同等学力加试科目考试大纲
学院：网络空间安全学院加试科目：离散数学
一、命题逻辑
1、命题及逻辑连接词的概念，自然语言的命题符号化。
2、真值表、命题公式与赋值、命题公式的类型。
3、命题的等价演算。
4、范式。
5、命题公式的推理演算。
二、谓词逻辑
1、个体词、谓词、量词及自然语言命题符号化。
2、谓词公式的解释。
3、谓词公式的等价演算。
4、谓词公式的推理规则及演绎推理。
三、集合和关系
1、集合的概念及集合之间的关系。
2、集合的运算。
3、集合的基本等价式。
4、序偶的概念及笛卡儿积。
5、关系的定义及运算。
6、关系的性质。
7、关系的闭包。
8、等价关系与划分。
9、函数的概念与类型。
10、复合函数和逆函数及相关结论。
四、代数结构
1、代数系统的概念。
2、半群、有幺半群、群的概念及性质。
3、循环群、交换群、子群、正规子群等重要概念以及这些代数结构的特性。
4、陪集及拉格朗日定理的应用。
五、图论
1、图、子图、顶点的度等图论基本概念。
2、路、回路的概念，图的连通性及割集的概念。
3、最短通路。
4、树与生成树。
5、欧拉图和哈密尔顿图。
6、有向图的概述。
7、根树与最优二叉树。
参考书目：《应用离散数学》，方景龙、周丽编著，人民邮电出版社，2014.09。