一、会计科目 二、帐户及其基本结构

• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序

第一章 矩阵及其应用 第二章 行列式 第三章 矩阵的秩与线性方程组 第4章 向量空间 第5章 相似矩阵 第6章 二次型

第一章 船员教育和培训质量管理规则简介 第二章 船员教育和培训质量管理体系要求 一、质量管理体系的总体要求 二、质量管理体系的基本要求和审核要点 三、船员教育和培训质量管理体系文件要求 第三章 审核种类

§5.1 磁现象与磁场 §5.2 毕奥－萨伐尔定律 §5.3 安培定律 一、安培的四个示零实验 二、安培定律 三、安培定律与磁感应强度B 四、安培力与电动机 §5.4 静磁场的基本定理 一、磁感应线与磁通量 二、高斯定理（通量定律） 三、安培环路定理（环量定律） 四、两条定理与毕奥－萨伐尔定律的关系 §5.5 带电粒子在磁场中的运动

第一节 概述 第二节 逻辑代数中的常用运算 第三节 逻辑代数的基本公式和基本运算定律

第一节 概述 第二节 数制和码制 一、 进位计数制 二、 数制之间的转换

第一节计算机控制系统组成 第二节计算机控制系统分类 第三节BAS体系

第一节 总体布局 第二节 X线设备布局 掌握X线防护 掌握通风、散射、除湿等

一、《沉沦》的思想 1、个性意识 2、民族意识 二、《沉沦》的感伤病态的抒情风格 1、自叙传 2、主观抒情性 《春风沉醉的晚上》 一、思想和情感 二、情感过程 三、被夸张的“穷”及其个性意识 四、知识分子的道德自卑