11级计算机计科专业考核大纲定稿.docx
《11级计算机计科专业考核大纲定稿.docx》由会员分享，可在线阅读，更多相关《11级计算机计科专业考核大纲定稿.docx（217页珍藏版）》请在冰豆网上搜索。
11级计算机计科专业考核大纲定稿
计算机系
计算机科学与技术专业
考核大纲
（2011版）
目录
1.
《线性代数》考核大纲……………………………………………………
1
2.
《计算机导论》考核大纲…………………………………………………
4
3.
《离散数学》考核大纲……………………………………………………
6
4.
《C语言程序设计》考核大纲………………………………………………
10
5.
《C语言程序课程设计》考核大纲…………………………………………
15
6.
《数据结构A》考核大纲……………………………………………………
17
7.
《数据结构A课程设计》考核大纲……………………………………
21
8.
《数字逻辑》考核大纲…………………………………………………
24
9.
《面向对象程序设计（C++）》考核大纲……………………………………
27
10.
《C++课程设计》考核大纲…………………………………………………
31
11.
《计算机网络》考核大纲………………………………………………
33
12.
《计算机组成原理》考核大纲……………………………………………
37
13.
《操作系统》考核大纲……………………………………………………
41
14.
《汇编语言》考核大纲……………………………………………………
44
15.
《数据库原理》考核大纲…………………………………………………
48
16.
《嵌入式系统》考核大纲…………………………………………………
52
17.
《嵌入式系统课程设计》考核大纲………………………………………
56
18.
《软件工程*》考核大纲……………………………………………………
58
19.
《软件建模*》考核大纲……………………………………………………
63
20.
《软件建模课程设计》考核大纲…………………………………………
66
21.
《编译原理》考核大纲……………………………………………………
70
22.
《数学建模》考核大纲……………………………………………………
74
23.
《网页设计》考核大纲……………………………………………………
79
24.
《VC高级开发》考核大纲…………………………………………………
85
25.
《多媒体技术及应用》考核大纲…………………………………………
88
26.
《网络互联技术》考核大纲………………………………………………
93
27.
《数据库编程》考核大纲…………………………………………………
97
28.
《数据库编程课程设计》考核大纲………………………………………
101
29.
《IP互联网工程技术》考核大纲…………………………………………
103
30.
《IP承载网工程技术》考核大纲…………………………………………
106
31.
《网络安全原理与实践》考核大纲………………………………………
109
32.
《综合网络工程项目实训》考核大纲……………………………………
112
33.
《Java程序设计》考核大纲………………………………………………
114
34.
《XML程序设计B》考核大纲………………………………………………
118
35.
《JavaWeb应用开发》考核大纲…………………………………………
123
36.
《J2EE应用开发（3）》考核大纲………………………………………
125
37.
《综合项目实训》考核大纲……………………………………………
129
38.
《Linux系统裁剪与移植》考核大纲………………………………………
130
39.
《Linux系统开发》考核大纲………………………………………………
133
40.
《物联网传感技术》考核大纲…………………………………………
136
41.
《嵌入式应用开发》考核大纲…………………………………………
138
42.
《远程红外控制系统》考核大纲………………………………………
141
《线性代数》考核大纲
课程编号：
07010021
课程类别：
专业必修课
总学时数：
48学时
学分：
3学分
一、考核要求
《线性代数》主要考查学生对线性代数的基本概念、基本理论和基本运算技能的掌握程度，考查学生用矩阵方法处理有关问题的能力；考查学生抽象思维能力、逻辑推理能力；考查学生正确运用数学知识来解决实际问题的能力。
考核大纲根据教学目标，对能力层次划分为“知识能力、理解能力、简单应用能力、综合应用能力”四个层次。
二、考核内容
第一章矩阵
1.考核知识点
（1）基本概念：
矩阵，n维向量。
矩阵的相等，矩阵的加、减、数乘及矩阵乘法运算。
可逆矩阵，初等变换，初等矩阵，分块矩阵。
零矩阵，单位矩阵，数量矩阵，对角矩阵，上（下）三角矩阵，正交矩阵。
（2）基本理论：
可逆矩阵的性质及可逆的判定，初等变换的性质，初等变换与初等矩阵之间的关系。
（3）基本计算：
矩阵的加、减、数乘及乘法运算，方阵的幂。
可逆矩阵的逆的确定（初等变换法）。
2.考核目标和具体要求
（1）知识能力层：
本章基本概念。
（2）理解能力层：
矩阵的基本理论。
（3）简单应用能力层：
矩阵的运算，可逆矩阵逆的确定。
（4）综合应用能力层：
用初等变换求矩阵的逆（如果逆存在）的理论。
第二章行列式
1.考核知识点
（l）、基本概念：
n阶行列式的定义，余子式，代数余子式，伴随矩阵。
（2）、基本理论：
n阶行列式的性质，行列式按行（列）展开，逆矩阵公式，克菜姆法则。
（3）、基本计算：
行列式计算，运用克莱姆算法法则确定特殊的n元线性方程组的解。
2.考核目标和具体要求
（1）知识能力层：
本章基本概念
（2）理解能力层：
n阶行列式的定义及本章基本理论。
（3）简单应用能力层：
行列式简单计算，可逆矩阵的逆的确定（逆矩阵公式法）。
（4）综合应用能力层：
较复杂的行列式计算，用克莱姆法则确定某些n元线性方程组的解。
第三章线性方程组
1.考核知识点
（1）基本概念：
矩阵的秩，线性方程组的系数矩阵，增广矩阵，阶梯形矩阵，齐次线性方程组基础解系，导出方程组，特解，通解。
（2）基本理论：
消元法解方程组，矩阵的秩，线性方程组解的理论。
（3）基本计算：
用消元法求方程组的解，确定一个方程组解的集合（若该方程组有解），判定一个方程组是否有解，若有解其解的个数确定，求齐次线性方程组的基础解系。
2.考核目标和具体要求
（1）知识能力层：
本章基本概念。
（2）理解能力层：
齐次线性方程组的基础解系，矩阵秩的性质。
（3）简单应用能力层：
求矩阵的秩，用消元法解线性方程组。
（4）综合应用能力层：
解含参数的线性方程组。
第四章向量空间
1.考核知识点
（1）基本概念：
向量空间、子空间，向量空间的基、维数、坐标。
向量的线性相关，向量的线性无关，极大线性无关组。
向量组的秩，矩阵的行秩，矩阵的列秩。
向量的内积，正交。
正交基，标准正交基。
（2）基本理论：
向量空间，向量的线性相关性的判定理论，矩阵的秩及其行秩，列秩之间的关系，极大线性无关组的性质。
正交化。
线性方程组的解的结构。
（3）基本计算：
向量组线性相关性的判定，极大无关组的确定及线性表示式的确定，内积，正交基，标准正交基。
2.考核目标和具体要求
（1）知识能力层：
本章基本概念。
（2）理解能力层：
向量的线性相关与线性无关性概念，极大无关组的概念，向量空间的基。
（3）简单应用能力层：
求向量组的秩，向量的内积，正交向量。
非齐次线性方程组的解。
（4）综合应用能力层：
极大无关组及线性表达式的确定，标准正交基。
第五章矩阵的特征值问题二次型
1.考核知识点
（1）基本概念：
特征值，特征向量，特征子空间，特征多项式，矩阵相似。
二次型，二次型的矩阵，二次型的标准型，顺序主子式，矩阵合同，矩阵正定，正定二次型，正交变换。
（2）基本理论：
矩阵相似对角化及实对称矩阵对角化的理论。
化二次型为标准型的理论，惯性定理，判定实二次型正定的理论。
（3）基本计算：
特征值及特征向量，实对称矩阵的相似对角阵。
二次型矩阵的确定，已知一对称矩阵求二次型，化实二次型为标准型，实二次型正定性的判定。
2.考核目标和具体要求
（1）知识能力层：
本章基本概念。
（2）理解能力层：
特征向量的概念，矩阵相似对角化，二次型的矩阵概念，本章的基本理论。
（3）简单应用能力层：
特征徝及特征向量，矩阵可对角化判定，正交变换或配方法化实二次型为标准型，判定对称矩阵或实二次型正定。
（4）综合应用能力层：
实对称矩阵对角化。
第六章线性变换
1.考核知识点
（1）基本概念：
线性变换，线性变换的值域与核，线性变换关于取定基下的矩阵，过渡矩阵，坐标向量。
（2）基本理论：
向量与其在线性变换下的象向量的理论，在取定基底下线性变换与矩阵之间的关系（同一线性变换关于不同基的矩阵之间的关系）。
（3）基本计算：
求线性变换在取定基下的矩阵。
求过渡矩阵，已知向量关于某一基的坐标，求向量关于新基的坐标。
2.考核目标和具体要求
（1）知识能力层：
本章基本概念。
（2）理解能力层：
本章基本理论。
（3）简单应用能力层：
线性变换的判定，向量在线性变换下的象，向量关于给定的新基及老基的坐标，向量及其象向量关于某一基的坐标，线性变换在取定基下的矩阵。
三、考核方式
1.考核形式：
闭卷
2.考核方式：
考试
3.记分方式：
100分制
4.考核时量：
120分钟
最终成绩的评定平时成绩占20%~30%，按出勤情况，课堂表现以及平时作业完成质量做出评价；期末成绩占70%~80%。
5.命题原则：
客观性试题占40~50分，主观性试题占50~60分，分布均匀，突出重点，强调灵活。
6.考试题型及考核的目的：
（1）选择题（在下列各小题的备选答案中，请把你认为正确答案的题号填入题干的括号内。
少选、多选不给分。
）
（2）判断题（下列各题，你认为正确的，请在题干的括号内打“”，错的打“”。
）
（3）填空题（将正确的答案写在每小题的括号内。
错填或不填均无分，答案不全酌情给分。
）
这三类题型重点考查基本概念、基本理论、重要性质和定理、公式及其简单计算。
这类题目要求考生概念清晰，回答准确。
（4）计算题（根据计算步骤给分，主要考核学生的运算技能，对知识掌握的熟练程度及知识的系统性，要求书写计算、推论过程或理由。
）
（5）证明题（根据证明步骤给分，主要考核应用概念、性质、定理及主要结论进行逻辑推理的能力，要求写出推理过程。
）
（6）简答题（根据步骤给分，主要考核学生在记忆基本概念和原理的基础上，对基本概念、原理的简单阐述和应用的理解，通过分析、组织、整理得出答案。
）
四、教材及参考书目
教材：
谢国瑞．线性代数及应用．北京：
高等教育出版社，2010．
参考书目：
[1]邓长寿．线性代数．长沙：
国防科技大学出版社，1998．
[2]卢刚．线性代数．北京：
高等教育出版，2000．
[3]同济大学数学组．线性代数．北京：
高等教育出版社，2007．
[4]邓辉文．线性代数．北京：
清华大学出版社，2008．
《计算机导论》考核大纲
课程编号：
07010031
课程类别：
专业基础课
总学时数：
32学时（理论12学时，实验20学时）
学分：
2学分
一、考核要求
《计算机导论》考核大纲依据《计算机导论》课程标准制定，是《计算机导论》课程考核试命题依据。
考核要求分为两个层次，其中有关概念、理论方面要求较高的用“理解”一词表述，要求较低的用“了解”一词表述；有关方法、运算方面要求较高的用“掌握”一词表述，要求较低的用“会”，或“了解”来表述。
客观性试题占40—50分，主观性试题占50—60分，客观性试题包括是非题、选择题；主观性试题考察的是相关操作。
二、考核内容
第一章绪论
1．了解：
计算机的分类、特点、用途和发展；
2．理解：
计算机的概念、计算机科学与技术学科知识体系结构；
3．掌握：
计算机科学与技术学科的根本问题、研究范畴和学习的基本要求；
第二章计算机的基础知识
1．了解：
计算机中数制的概念及数据的表示、信息的编码，以及程序设计基础；
2．理解：
数值数据在计算机中的二进制表示、算法和数据结构的概念、表示方法；
3．掌握：
进位计数制及其相互转换、计算机的基本结构和工作原理；
第三章计算机硬件系统
1．了解：
计算机体系结构的发展和评价标准、计算机输入输出系统、输入输出设备和辅助存储设备；
2．理解：
冯·诺依曼体系结构的工作原理和特点、微型计算机的硬件结构和系统单元；
3．掌握：
系统单元中微处理器对应用程序的执行过程和特点。
第四章计算机系统软件与工具软件
1．了解：
一般工具软件的使用及特点和操作系统的分类；
2．理解：
程序设计语言翻译系统的功能和基本概念；操作系统的基本概念和功能；
3．掌握：
Windows系统设置的基本操作；Windows的窗口、文件夹及文件操作；Windows平台上的应用程序的操作；
第五章计算机应用软件
文字处理软件、电子表格软件和文稿演示软件的功能、基本操作和应用。
第八章计算机网络及其应用
1．了解：
数据通信与连通性的基本知识；Internet的服务功能、Web和浏览器、电子邮件；
2．理解：
计算机网络的定义、术语、结构；Internet的IP地址和域名服务；
3．掌握：
Internet的连接方式和局域网的基础知识。
三、考核方式
使用Office2003一级计算机等级考试模拟软件上机测验考核。
时量120分钟，试卷满分100分。
最终成绩的构成：
平时10%，实验20%，期末70%
四、教材及参考书目
教材：
黄国兴,陶树平,丁岳伟编著.计算机导论.北京：
清华大学出版社，2008.07第二版.
参考书目：
[1]BehrouzA.Forouzan著.“FoundationsofComputerScience:
FromDataManipulationtoTheoryofComputation”（影印版）[美]（计算机科学基础-从数据操纵到计算理论）.北京：
高等教育出版社，2004年8月第1版.
[2]J.GlennBrookshear著，王保江等译.计算机科学概论（第七版）ComputerScience:
anoverview[美].北京：
人民邮电出版社，2003年9月.
《离散数学》考核大纲
课程编号：
07010041
课程类别：
专业基础课
总学时数：
56学时
学分：
3.5学分
一、考核要求
《离散数学》是计算机科学与技术（含师范方向）和网络工程专业的专业必修基础课。
《离散数学》的教学能提高学生的抽象思维能力和严格的逻辑思维能力，能培养学生严谨的作风并为后继课程的学习打开良好的基础。
《离散数学》课程考核是教学的重要环节，同时检验也是教学成效的重要手段。
《离散数学》考核大纲根据《离散数学》课程标准所确定的教学目标制定。
《离散数学》考核的重点是考核学生基本概念、基本方法和基本能力的掌握情况。
对学生能力层次的考核要求分为3个层次。
了解、理解和掌握。
✧了解：
能正确判别有关概念和方法。
✧理解：
能正确表达有关概念和方法的含义。
✧掌握：
运用有关知识熟练地解决基本问题。
试卷要求客观性试题约占40%，主观性试题约占60%，客观性试题包括选择题、填空题、判断题等题型，重点考查基本概念、基本理论、重要性质和定理、公式及其简单计算。
这类题目要求考生概念清晰，回答准确。
主观性试题包括计算题、应用题、证明题等题型，主要考查学生综合运用知识分析和解决问题的能力。
其中计算题主要考核学生的运算技能，对知识掌握的熟练程度及知识的系统性，要求书写计算、推论过程或理由；应用题考核学生综合利用所学知识解决生产出现中的问题，这类题要写出相关的理论原理和解答过程；证明题主要考查应用概念、性质、定理及主要结论进行逻辑推理的能力，要求写出推理过程。
二、考核内容
第一部分数理逻辑
第一章命题逻辑
1.考核知识点
⑴命题与联结词（否定、析取、合取、蕴涵、等价），复合命题
⑵命题公式与解释，真值表，公式分类（恒真、恒假、可满足），公式的等值式
⑶析取范式、合取范式，极小（大）项，主析取范式、主合取范式
⑷公式类别的判别方法（真值表法、等值演算法、主析取/合取范式法）
⑸推理的形式结构，重要的重言蕴涵式
⑹自然推理系统P，常用的证明方法（附加前提法，归谬法）
2.考核目标和具体要求
⑴掌握命题的概念；理解命题联结词的概念；了解用联结词产生复合命题的方法。
⑵理解公式与解释的概念；掌握求给定公式真值表的方法，掌握用基本等值式化简其他公式，公式在解释下的真值。
⑶理解析取（合取）范式的概念；理解极大（小）项的概念和主析取（合取）范式的概念；掌握用基本等价式或真值表将公式化为主析取（合取）范式的方法。
⑷掌握利用真值表、等值演算法或主析取/合取范式的唯一性判别公式类型和公式等价的方法。
⑸理解公式推理的形式结构的概念，掌握基本蕴涵式。
⑹掌握自然推理系统P和常用的证明方法（附加前提法，反证法，归谬法）。
第二章谓词逻辑
1.考核知识点
⑴谓词、量词、个体词、个体域、变元（约束变元与自由变元）
⑵一阶逻辑公式与解释，一阶逻辑公式的类型（永真、永假、可满足）
⑶一阶逻辑公式的等值演算和前束范式
⑷一阶逻辑的形式推理（重要的推理定理和推理规则）
2.考核目标和具体要求
⑴理解谓词、量词、个体词、个体域、变元的概念；理解用谓词、量词、逻辑联结词描述一个简单命题；了解命题符号化。
⑵理解一阶逻辑公式与解释的概念；掌握在有限个体域下消去公式量词，求公式在给定解释下真值的方法；了解一阶逻辑公式的类型和运用解释的方法判断类型。
⑶掌握一阶逻辑公式的等值演算方法和求公式前束范式的方法。
⑷ 理握一阶逻辑的形式推理（会运用推理定理和推理规则）。
第二部分集合论
第三章集合
1.考核知识点
⑴ 集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集
⑵集合的交、并、差、补等运算及其运算律（交换律、结合律、分配律、吸收律、DeMorgan律等），文氏（Venn）图
⑶有序对与迪卡尔积
2.考核目标和具体要求
⑴ 理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。
⑵掌握集合的表示法和集合的交、并、差、补等基本运算。
⑶掌握集合运算基本规律，证明集合等式的方法。
⑷了解序偶与笛卡尔积的概念，掌握笛卡尔积的运算。
第四章二元关系
1.考核知识点
⑴ 关系、关系矩阵与关系图
⑵复合关系与逆关系
⑶关系的性质（自反性、对称性、反对称性、传递性）
⑷关系的闭包（自反闭包、对称闭包、传递闭包）
⑸等价关系与等价类
⑹偏序关系与哈斯图（Hasse）、极大/小元、最大/小元、上/下界、最小上界、最大下界
2.考核目标和具体要求
⑴理解关系的概念：
二元关系、空关系、全关系、恒等关系；掌握关系的集合表示、关系矩阵和关系图、关系的运算。
⑵掌握求复合关系、逆关系与关系的幂的方法。
⑶理解关系的性质（自反性、非自反性、对称性、反对称性、传递性），掌握其判别方法（集合定义、关系矩阵、关系图）
⑷掌握求关系的闭包（自反闭包、对称闭包、传递闭包）的方法。
⑸理解等价关系和偏序关系的概念，掌握等价类的求法和偏序关系的概念和偏序集的哈斯图的画法，掌握偏序集中的特殊元如极大元/极小元、最大元/最小元、上界/下界、最小上界、最大下界的求法。
第三部分图论
第五章图
1.考核知识点
⑴ 图、完全图、子图、母图、导出子图、图的同构，握手定理，二部图的判定
⑵图的基本运算
⑶通路和回路、无向图和有向图图的连通性
⑷图的矩阵表示（关联矩阵、邻接矩阵、路径矩阵）
⑸ 欧拉图和哈密顿图
⑹ 带权图、最短路径，迪克斯特拉（Dijkstra）算法
2.考核目标和具体要求
⑴理解图的有关概念：
图、完全图、子图、母图、导出子图、图的同构，掌握握手定理及应用，理解二部图的判定方法
⑵掌握图的基本运算
⑶理解通路和回路的概念，理解无向图和有向图图的连通性
⑷掌握图的矩阵表示（关联矩阵、邻接矩阵、路径矩阵）。
⑸ 了解理解欧拉路与欧拉图的概念,掌握欧拉路判定定理及其应用；了解理解哈密顿路与哈密顿图的概念,了解哈密顿图的某些判定方法。
⑹理解带权图的概念，理解用Dijkstra算法求带权图中最短路的方法。
第六章树
1.考核知识点
⑴树、生成树、最小生成树
⑵带权图中的最小树，克鲁斯卡尔（Kruskal）算法
⑶有向树、根树
⑷二叉树、最优二叉树的形成、二叉树的遍历
2.考核目标和具体要求
⑴理解树的概念，掌握树的性质
⑵理解生成树、最小生成树的概念，掌握用Kruskal算法求权图中最小树的方法
⑶ 了解有向树和根树的概述，理解二叉树、最优二叉树的有关概念；掌握最优二叉树的形成方法（Huffman算法）
⑷ 理解二叉树的三种遍历方法
三、考核方式
1.考试类别：
闭卷笔试
2.记分方式：
100分制
3.考试时量：
120分钟
4.命题原则：
客观题约占40%，主观题约占60%，突出重点，强调灵活和应用。
5.题目类型：
客观题有选择题、填空题、判断题等，主观题有计算题、应用题、证明题等题型。
四、教材及主要参考书目
教材：
屈婉玲，耿素云，张立昴离散数学.高等教育出版社，2008年3月
参考书目：
[1]刘爱民 离散数学.北京邮电大学出版社，2004
[2]BKolman等 离散数学结构（第四版）.高等教育出版社，2001
[3]杨炳儒 离散数学.人民邮电出版社，2004年12月
[4]屈婉玲，耿素云离散数学（第2版）.清华大学出版社，2008年2月
《C语言程序设计》考核大纲
课程编号：
07040011
课程类别：
专业基础课
总学时数：
72学时（理论56学时，实验16学时）
学分：
4.5学分
一、考核要求
《C语言程序设计》课程考试旨在考察考生对C语言的基础知识、基本方法和编程技术的掌握程度，了解其是否具有一定的编写结构化程序的能力和初步运用C语言解决一般问题的的程序设计能力。
本门课程考核要求由低到高共分为“识记”、“掌握”、“应用”三个能力层次。
其具体含义如下：
（1）识记：
指学生能记忆C语言中的基本概念和基本语法规则，并能在有关问题中做出正确的表述、选择和判断。
（2）掌握：
指学生能掌握C语言中的每个语法成分和语句的定义格式、含义及作用，并且能在简单问题中使用它们并做出正确的解释。
（3）应用：
指学生能较灵活的运用所学C语言知识，结合实际解决问题，能够分析和编写结构化程序并上机实现。
二、考核内容
第一章C语言概述
1.考核知识点
（1）C语言的发展过程和特点。
（2）C语言程序的基本结构、书写格式和风格。
（3）C语言的开发环境和上机步骤。
2.考核目标和具体要求
（1）识记能力层：
C语言程序、函数的概念及其相互之间的关系；函数的定义格式和作用、主函数的特殊地位和作用；include预处理命令的格式与作用；头文件的文件名格式以及在程序
升级会员 