§ 5.1 基本概念 §5. 2 退化核的方程的解法 §5. 3 具有位移核的方程的求解 §5. 4 迭代解法 §5. 5 弗雷德霍姆解法

5.1 C54x C语言介绍 5.2 C54x C语言编程 5.3 C54x C代码优化

主要内容：一阶逻辑等值式与基本的等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统NL 及其推理规则。 第一节：等值式与置换规则 第二节：前束范式 第三节：推理理论

机器学习：基于序列聚类的相似代码检测算法

人工智能基础：粗糙线性近似空间的代数结构

机器感知与模式识别：深度信念网络的二代身份证异构人脸核实算法

【人工智能基础】代价敏感数据的多标记特征选择算法

1. 中国的选举制度及其本质 The Election System of China and Its Nature 2. 中国的政党制度与民主党派 The Political Party System and Democratic Parties of China 3. 中国的行政制度 The Administration System of China 4. 中国的资源状况与人口政策 The Situation of Resources and the Population Policy in China 5. 中国的环保政策 China’s Environmental Protection Policy

 掌握组合电路的测试生成  代数法 异或法 布尔差分法  算法D算法 PODEM算法 FAN算法 其他  时序电路的测试生成  可测性方法（不具体要求）

一、剩余类环 二、多项式剩余类环 三、基于多项式的有限域 四、循环群 五、有限域GF(q)的乘法结构 六、有限域GF(q)的加法结构 七、有限域GF(q)的代数结构 八、小结