一、静态代码缺陷查找的角色 二、静态代码缺陷基本类别 三、静态代码缺陷查找的主要方法 四、静态代码缺陷查找的常见工具 五、理论基础：不动点

4.1 投影方法 4.2 Krylov 子空间与 Arnoldi 过程 4.3 非对称线性方程组 4.4 对称线性方程 4.5 收敛性分析 4.6 基于双正交化过程的迭代方法 4.7 免转置迭代方法 4.8 正规方程的迭代方法

1、卤代烃的分类和命名；卤代烃的化学性质 2、卤代烯烃和卤代芳烃的分类和性质

第一节 卤代烷的分类和命名 第二节 卤代烷的结构 第三节 卤代烷的物理性质 第四节 卤代烷的化学反应

一、 现代西方技术哲学的产生 二 、当代西方技术哲学研究的建制化历程 三 、当代西方技术哲学研究的主要特点 四 、当代西方技术哲学研究的困境及其转向 五、 借鉴与启示：中国当代技术哲学研究的建制化历程与转向

1.熟练掌握一元卤代烃（RCl,RBr)的化学性质 2.掌握卤代烃的制法 3.掌握不同类型卤代烃反应活性及鉴别方法 4.理解亲核取代及消除反应的历程

1. 先看一个VHDL代码的例子 2. 简单代码结构：端口定义和电路逻辑表达 3. 代码文件命名 4. 进程(PROCESS) 5. VHDL代码中的：Port,Siganl,Variable 6. 学会简单VHDL设计的三板斧 7. VHDL与C 代码中的函数 的区别 ？ 8. 操作符 & 数据类型 & 赋值语句 9. 逻辑分支语句：IF；CASE, 10. 循环语句(LOOP)

第一章电子效应和空间效应 1.取代基效应: 取代基不同而对分子性质产生的影响。取代 基效应可以分为两大类。一类是电子效应,包括 场效应和诱导效应、共轭效应。电子效应是通过 键的极性传递所表现的分子中原子或基团间的相 互影响,取代基通过影响分子中电子云的分布而 起作用。另一类是空间效应,是由于取代基的大 小和形状引起分子中特殊的张力或阻力的一种效 应,空间效应也对化合物分子的反应性产生一定 影响

遗传: 亲代与子代相似. 变异: 亲代与子代、子代间不同个体不完 全相同. 遗传(inheritance)和变异(variation)是 生命的最本质特性之一 遗传型: 表型(表现型):

第一节 卤代烷的分类和命名 第二节 卤代烷的结构物理性质 第三节 卤代烷的化学反应 第四节 亲核取代反应和消除反应机理