河北工业大学2019年硕士研究生招生考试复试笔试科目考试大纲
科目代码：F2803 科目名称：离散数学 适用专业：计算机科学与技术、计算机技术
一、考试要求
F2803（离散数学）适用于河北工业大学人工智能与数据科学学院计算机科学与技术、计算机技术专业研究生招生专业课考试。主要考察对于F2803（离散数学）的基本概念、方法、理论的掌握以及运用所学知识分析问题和解决问题的能力。
二、考试形式
试卷采用客观题型和主观题型相结合的形式，主要包括选择题、填空题、综合分析题、算法设计题等。考试时间为2小时，总分为100分。
三、考试内容
（一）数理逻辑
1.命题及其表示法、联结词、命题公式与翻译、真值表与等价公式、重言式与蕴涵式、联结词的扩充、对偶与范式、推理理论
2.谓词的概念与表示、命题函数与量词、谓词公式与翻译、变元的约束、谓词演算的等价式与蕴含式、前束范式、谓词演算的推理理论
（二）集合论
1.集合的概念和表示法、集合的运算
2.序偶与笛卡尔积、关系及其表示、关系的性质
3.复合关系、逆关系、关系的闭包运算
4.等价关系与等价类、序关系
5.函数的概念、逆函数与复合函数
（三）代数系统
1.代数系统的概念、运算及其性质
2.半群、群与子群、阿贝尔群和循环群
（四）图论
1.图的基本概念、路与回路、图的矩阵表示
2.欧拉图与汉密尔顿图、平面图、对偶图与着色
3.树与生成树、根树及其应用
四、参考书目
[1]《离散数学》，主编：左孝凌，上海科学技术文献出版社
河北工业大学2019年硕士研究生招生考试复试笔试科目考试大纲
科目代码：F2804 科目名称：软件工程及应用 适用专业：软件工程
一、考试要求
软件工程及应用适用于河北工业大学人工智能与数据科学学院软件工程专业研究生招生专业课考试。主要考察对于软件工程基本理论、方法、工具等知识的掌握程度及运用所学知识分析问题和解决问题的能力。
二、考试形式
试卷采用客观题型和主观题型相结合的形式，主要包括选择题、填空题、简答题、计算题、分析论述题等。考试时间为2小时，总分为100分。
三、考试内容
1、软件工程基本概念
软件工程基本概念（软件、软件生命周期、软件危机、软件工程及软件工程方法）；软件过程基本概念；经典软件过程模型的特点（瀑布模型、增量模型、演化模型、统一过程模型）；敏捷开发过程的特点；基于组件的软件工程。
2、需求工程
软件需求的概念；需求工程的基本过程；结构化需求分析及建模方法（数据流图、控制-状态图、实体-关系图）；面向对象需求分析及UML建模（基于场景的用例模型；活动图；鲁棒图；顺序图；类图。）
3、软件设计与构造
软件体系结构及体系结构风格的概念；模块化设计的基本思想及概念（抽象、分解、模块化、封装、信息隐藏、功能独立）；软件体系结构的UML建模（包图、类图、构件图、顺序图、部署图）；接口的概念；内聚与耦合的概念、常见的内聚和耦合类型。
4、软件实现与验证
软件检验和有效性验证概念；静态检验方法及其作用；软件测试及测试用例的概念；单元测试、集成测试、确认测试、系统测试、回归测试的概念；调试的概念、调试与测试的关系；白盒测试、黑盒测试的概念；白盒测试中的基本路径测试方法、关键路径及测试用例设计；黑盒测试中的等价类划分方法及其测试用例设计。
5、软件进化
软件系统变更与进化概念；软件维护概念；软件维护类型；正向工程和逆向工程概念；软件再工程概念；软件复用与软件重构概念。
四、参考书目
[1]《软件工程》， (英)Ian Sommerville主编 ，程成译，机械工业出版社
[2] 《软件工程：实践者的研究方法》梅宏译，机械工业出版社
[3]《需求工程-软件建模与分析》骆斌主编、丁二玉编著，高等教育出版社