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

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

本书所论及的现代西方哲学泛指19世纪中期以来在西方各国产 生和流传的非马克思主义哲学。 西方哲学从近代到现代的转折 西方哲学在其长期发展过程中已经发生过三次重大的转折:从 古希腊哲学转向中世纪哲学;从中世纪转向近代西方哲学;从近 代西方哲学转向现代西方哲学。从“文艺复兴”到黑格尔这一近代 欧洲哲学的人文精神突出地表现为理想主义精神,上帝的万能被 代之以理性的万能

本卷和下卷（第十二卷）都是论述中国近代时期历史的。本卷是近代前 编，论述自 1840 年鸦片战争以后至 1919 年五四运动前夜近 80 年的历史。 中国近代的历史，是中国人民置身近代洪炉接受考验的历史，是在军事、 政治、经济、文化都遭到失败时期的历史，而从总相上看又是阻碍西方帝国 主义东侵的历史

一、芳环的亲电取代反应及机制 二、取代基对芳环亲电取代反应的影响 三、多环芳烃的亲电取代反应 四、芳香杂环的亲电取代反应 五、芳环和芳香杂环的亲核取代反应 六、芳环取代基的反应

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

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

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

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

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