<4D6963726F736F667420576F7264202D203132B0E6C8EDBCFEB9A4B3CCBDCCD1A7B4F3B8D92E646F63>

目 录 学 科 基 础 课 程...1 计 算 机 导 论 课 程 教 学 大 纲...1 电 路 与 模 拟 电 子 技 术 课 程 教 学 大 纲...5 数 字 电 子 技 术 课 程 教 学 大 纲...8 高 级 语 言 程 序 设 计 课 程 教 学 大 纲... 11 离 散 数 学 课 程 教 学 大 纲...16 面 向 对 象 程 序 设 计 课 程 教 学 大 纲...19 计 算 机 组 成 原 理 课 程 教 学 大 纲...23 数 据 库 系 统 原 理 课 程 教 学 大 纲...28 计 算 机 网 络 课 程 教 学 大 纲...32 软 件 工 程 课 程 教 学 大 纲...35 专 业 课 程...40 数 据 结 构 课 程 教 学 大 纲...40 操 作 系 统 课 程 教 学 大 纲...45 计 算 机 接 口 技 术 课 程 教 学 大 纲...49 软 件 项 目 管 理 课 程 教 学 大 纲...53 软 件 测 试 技 术 课 程 教 学 大 纲...59 XML 技 术 课 程 教 学 大 纲...63 计 算 机 专 业 英 语 课 程 教 学 大 纲...66 学 科 基 础 选 修 课 程...68 Web 前 端 技 术 课 程 教 学 大 纲...68 信 息 安 全 技 术 课 程 教 学 大 纲...70 高 级 数 据 库 技 术 及 应 用 课 程 教 学 大 纲...74 软 件 文 档 的 制 作 课 程 教 学 大 纲...79 Linux 基 础 课 程 教 学 大 纲...84 UML 课 程 教 学 大 纲...89

专 业 选 修 课 程...93 Java Web 技 术 课 程 教 学 大 纲...93 移 动 终 端 软 件 应 用 开 发 课 程 教 学 大 纲...96 软 件 项 目 实 训 课 程 教 学 大 纲...99 Java 中 间 件 技 术 课 程 教 学 大 纲...101 Java 框 架 技 术 课 程 教 学 大 纲...105 软 件 项 目 实 践 课 程 教 学 大 纲...108 C# 编 程 与.NET 框 架 课 程 教 学 大 纲... 111.Net Web 开 发 技 术 课 程 教 学 大 纲... 114.Net Windows 开 发 技 术 课 程 教 学 大 纲... 118.Net 分 布 式 开 发 技 术 课 程 教 学 大 纲...121 Web 高 级 技 术 开 发 课 程 教 学 大 纲...125 实 践 课 程...128 军 事 训 练 与 教 育 课 程 教 学 大 纲...128 思 想 政 治 理 论 课 实 践 教 学 计 划...131 金 工 实 习 课 程 教 学 大 纲...137 数 据 结 构 课 程 设 计 课 程 教 学 大 纲...146 数 据 库 原 理 课 程 设 计 课 程 教 学 大 纲...147 操 作 系 统 课 程 设 计 课 程 教 学 大 纲...148 软 件 工 程 课 程 设 计 课 程 教 学 大 纲...150 生 产 实 习 课 程 教 学 大 纲...156 毕 业 实 习 课 程 教 学 大 纲...159 毕 业 论 文 ( 设 计 ) 课 程 教 学 大 纲...163 毕 业 教 育 课 程 教 学 大 纲...165 附 录...168 2012 版 软 件 工 程 专 业 本 科 人 才 培 养 方 案...168

学 科 基 础 课 程 计 算 机 导 论 课 程 教 学 大 纲 Introduction of Computer Science 总 学 时 : 52 学 分 数 : 3 其 中 : 实 验 ( 上 机 ) 学 时 :12 适 用 专 业 : 软 件 工 程 执 笔 者 : 彭 义 春 ( 讲 师 / 硕 士 ) 编 写 日 期 :2009.3 一 课 程 性 质 目 的 和 任 务 计 算 机 导 论 是 软 件 工 程 学 生 首 次 认 识 计 算 机 科 学 的 入 门 课 程, 是 计 算 机 科 学 基 础 理 论 与 应 用 操 作 相 结 合 的 课 程 教 学 的 主 要 任 务 :( 一 ) 是 培 养 计 算 机 基 础 操 作 能 力, 使 学 生 了 解 计 算 机 基 本 知 识, 掌 握 操 作 和 使 用 计 算 机 的 基 本 技 能, 同 时 具 有 使 用 计 算 机 获 取 知 识 解 决 问 题 的 方 法 和 意 识 ( 二 ) 是 在 让 学 生 了 解 计 算 机 科 学 体 系 的 框 架, 奠 定 学 习 计 算 机 科 学 知 识 的 基 础 计 算 机 导 论 担 负 着 系 统 和 全 面 地 介 绍 计 算 机 科 学 技 术 的 基 础 知 识 引 导 学 生 进 入 计 算 机 科 学 技 术 的 大 门 培 养 学 生 实 践 与 创 新 能 力 的 重 任, 帮 助 学 生 认 识 在 本 科 阶 段 的 学 习 性 质 和 任 务 对 于 刚 进 入 大 学 的 一 年 级 学 生 而 言, 计 算 机 科 学 技 术 的 基 础 与 入 门 教 学 显 得 格 外 重 要 二 课 程 教 学 的 基 本 要 求 通 过 本 课 程 的 实 验 学 习 将 使 学 生 掌 握 一 些 基 本 的 操 作 技 术, 提 高 感 性 认 识, 为 今 后 在 各 自 的 专 业 中 对 计 算 机 的 使 用 打 下 厚 实 的 基 础 侧 重 于 对 计 算 机 科 学 的 核 心 内 容 作 概 括 介 绍, 内 容 涉 及 计 算 机 科 学 的 方 方 面 面, 但 着 重 讲 解 的 是 基 本 概 念 而 不 是 数 学 模 型 和 技 术 细 节, 要 求 做 到 广 度 优 先, 广 而 不 细 三 课 程 教 学 内 容 的 重 点 及 难 点 1 绪 论 1.1 计 算 机 的 基 本 概 念 1.2 计 算 机 科 学 与 技 术 学 科 的 定 义 1.3 计 算 机 科 学 与 技 术 学 科 的 教 育 1.4 对 计 算 机 科 学 与 技 术 学 科 毕 业 生 的 基 本 要 求 1.5 信 息 化 社 会 的 挑 战 1.6 计 算 机 科 学 与 技 术 学 科 知 识 体 系 2 计 算 机 的 基 础 知 识 1

2.1 计 算 机 的 运 算 基 础 2.2 计 算 机 的 基 本 结 构 与 工 作 原 理 2.3 算 法 基 础 2.4 数 据 结 构 基 础 难 点 重 点 : 进 制 转 换 码 制 数 据 结 构 的 定 义 3 计 算 机 硬 件 系 统 3.1 计 算 机 系 统 3.2 系 统 单 元 3.4 输 入 设 备 3.5 输 出 设 备 3.6 辅 助 存 储 设 备 难 点 重 点 : 冯 诺 依 曼 体 系 结 构 计 算 机 硬 件 介 绍 4 计 算 机 系 统 软 件 与 工 具 软 件 4.1 程 序 设 计 语 言 翻 译 系 统 4.2 操 作 系 统 4.3 工 具 软 件 使 用 难 点 重 点 : 软 件 系 统 的 组 成 及 其 常 用 软 件 的 分 类 操 作 系 统 的 定 义 和 功 能 Windows 操 作 5 计 算 机 应 用 软 件 5.1 文 字 处 理 软 件 word 5.2 电 子 表 格 软 件 Excel 5.3 文 稿 演 示 软 件 PowerPoint 难 点 重 点 :3 个 软 件 的 使 用 6 数 据 库 系 统 及 其 应 用 6.1 数 据 库 系 统 的 基 本 概 念 6.2 几 种 新 型 的 数 据 库 系 统 6.3 数 据 库 系 统 的 应 用 难 点 重 点 : 数 据 库 系 统 的 概 念 和 功 能 7 多 媒 体 技 术 及 其 应 用 7.1 多 媒 体 7.2 超 文 本 与 超 媒 体 7.3 多 媒 体 技 术 7.4 多 媒 体 通 信 系 统 技 术 难 点 重 点 : 多 媒 体 系 统 的 主 要 特 征 和 组 成 常 见 多 媒 体 软 件 的 介 绍 2

8 计 算 机 网 络 及 其 应 用 8.1 数 据 通 信 与 连 通 性 8.2 计 算 机 网 络 体 系 结 构 8.3 计 算 机 网 络 的 分 类 和 使 用 方 式 8.4 Internet 与 TCP/IP 协 议 8.5 Internet 的 服 务 功 能 8.6 Web 和 浏 览 器 8.7 局 域 网 的 基 础 构 架 8.8 网 站 的 创 建 与 网 页 的 制 作 8.9 企 业 内 部 网 和 外 联 网 8.10 集 群 与 网 格 技 术 难 点 重 点 : 计 算 机 网 路 的 定 义 体 系 结 构,IP 地 址 及 其 分 类,Internet 及 其 应 用 9 软 件 工 程 9.1 软 件 工 程 的 概 念 9.2 软 件 开 发 模 型 9.3 软 件 开 发 方 法 9.4 软 件 过 程 和 过 程 改 进 难 点 重 点 : 软 件 工 程 的 概 念, 软 件 开 发 模 型 10 计 算 机 信 息 安 全 技 术 10.1 计 算 机 信 息 安 全 面 临 的 威 胁 10.2 保 密 技 术 10.3 防 御 技 术 10.4 虚 拟 专 用 网 10.5 计 算 机 病 毒 难 点 重 点 : 计 算 机 安 全, 防 御 技 术, 计 算 机 病 毒 四 课 程 各 教 学 环 节 要 求 (1) 通 过 本 课 程 的 实 验 学 习 将 使 学 生 掌 握 一 些 基 本 的 操 作 技 术, 提 高 感 性 认 识, 为 今 后 在 各 自 的 专 业 中 对 计 算 机 的 使 用 打 下 厚 实 的 基 础 (2) 要 求 按 每 一 章 课 后 作 业, 掌 握 本 章 的 重 点 和 难 点 (3) 可 通 过 学 术 报 告 的 形 式 学 习 关 于 计 算 机 前 沿 研 究 领 域 的 内 容, 选 派 不 同 研 究 方 向 的 博 士, 硕 士 学 位 专 业 课 教 师 讲 解 3

实 验 内 容 实 验 实 验 名 称 学 时 备 注 1 Windows DOS 操 作 系 统 的 应 用 2 2 Word 使 用 2 3 Excel 使 用 2 4 PowerPoint 使 用 2 5 Access 2003 使 用 2 6 IP 地 址 设 置 网 上 资 料 搜 索 2 合 计 12 五 课 时 分 配 章 节 主 要 内 容 讲 授 各 教 学 环 节 学 时 分 配 上 实 习 讨 课 机 验 题 论 外 小 计 作 业 批 改 备 注 1 绪 论 2 2 2 计 算 机 的 基 础 知 识 6 6 1 3 计 算 机 硬 件 系 统 4 4 1 4 计 算 机 系 统 软 件 与 工 具 软 件 6 2 6 1 5 计 算 机 应 用 软 件 10 6 16 6 数 据 库 系 统 及 其 应 用 4 2 6 1 7 多 媒 体 技 术 及 其 应 用 1 1 1 8 计 算 机 网 络 及 其 应 用 4 2 6 1 9 软 件 工 程 2 2 1 10 计 算 机 信 息 安 全 技 术 1 1 合 计 42 12 52 7 六 课 程 与 其 他 课 程 的 联 系 为 计 算 机 专 业 一 年 级 学 生 开 设, 是 学 生 首 次 认 识 计 算 机 科 学 的 概 念 性 课 程, 入 门 课 程 七 教 材 及 教 学 参 考 书 使 用 教 材 : 计 算 机 导 论 ( 第 2 版 ), 黄 国 兴, 陶 树 平, 丁 岳 伟 等 编, 清 华 大 学 出 版 社, 2008 年 7 月 第 二 版 主 要 参 考 书 : (1) 新 编 计 算 机 导 论, 周 苏, 机 械 工 业 出 版 社,2008 年 8 月 (2) 计 算 机 导 论 ( 第 2 版 ), 袁 方, 王 兵, 周 继 民 等 编, 清 华 大 学 出 版 社,2009.7 4

电 路 与 模 拟 电 子 技 术 课 程 教 学 大 纲 Circuit &Analog Electronics Technology 总 学 时 数 : 64 学 分 数 : 4 其 中 : 实 验 ( 上 机 ) 学 时 : 12 适 用 专 业 : 计 科 与 软 工 执 笔 者 : 龙 允 聪 ( 高 工 ) 编 写 日 期 2013.3 一 课 程 的 性 质 目 的 和 任 务 本 课 程 是 计 算 机 科 学 与 技 术 和 软 件 工 程 专 业 的 必 修 学 科 基 础 课 程, 它 的 教 学 目 的 和 任 务 是 使 学 生 获 得 电 路 及 电 子 技 术 方 面 的 基 本 理 论 和 基 本 知 识, 并 在 其 基 础 上 进 行 技 能 训 练, 使 学 生 具 备 一 定 的 技 术 理 论 基 础 和 必 需 的 基 本 技 能 本 课 程 教 学 采 取 必 需 够 用 和 理 论 联 系 实 际 的 原 则, 为 以 后 学 习 数 字 电 子 技 术, 联 系 硬 件 学 习 软 件, 以 及 为 电 子 技 术 在 各 自 专 业 中 的 应 用 打 好 基 础 二 课 程 教 学 的 基 本 要 求 通 过 教 学 和 实 际 操 作 训 练, 使 学 生 掌 握 直 流 和 交 流 电 路 及 其 分 析 的 基 本 概 念, 基 本 知 识 和 基 本 方 法 ; 掌 握 基 本 放 大 电 路 和 运 算 放 大 电 路 的 组 成 工 作 原 理 分 析 方 法 等 基 本 技 能 ; 提 高 学 生 理 论 联 系 实 际 的 能 力 动 手 操 作 的 能 力 分 析 问 题 和 解 决 问 题 的 能 力 ; 加 深 对 电 子 线 路 工 作 原 理 的 理 解, 为 后 续 课 程 打 下 较 好 的 基 础 三 课 程 的 教 学 内 容 重 点 和 难 点 第 一 部 分 直 流 电 路 通 过 本 部 分 的 学 习 掌 握 电 流 电 压 的 参 考 方 向, 基 尔 霍 夫 电 流 定 律 (KCL) 和 电 压 定 律 (KVL); 掌 握 叠 加 定 理 戴 维 南 定 理 诺 顿 定 理 重 点 应 掌 握 掌 握 KCL KVL 方 程 的 建 立 和 戴 维 南 定 理 ; 教 学 难 点 为 戴 维 南 定 理 第 二 部 分 动 态 电 路 的 暂 态 分 析 通 过 本 部 分 的 学 习 了 解 动 态 电 路 元 件 和 动 态 电 路 方 程 掌 握 一 阶 电 路 的 零 输 入 响 应 一 阶 电 路 的 零 状 态 响 应 和 一 阶 电 路 的 全 响 应 重 点 应 掌 握 三 要 素 法 的 应 用 ; 教 学 难 点 为 初 始 值 稳 态 值 及 时 间 常 数 的 求 解 第 三 部 分 正 弦 稳 态 电 路 的 分 析 通 过 本 部 分 的 学 习 了 解 正 弦 交 流 电 的 基 本 概 念 正 弦 交 流 电 的 向 量 表 示 法 和 基 本 元 件 VCR 的 向 量 形 式 和 KCL KVL 的 向 量 形 式 ; 掌 握 正 弦 稳 态 RLC 串 联 电 路 的 向 量 分 析 法 电 路 的 功 率 ; 了 解 正 弦 稳 态 电 路 的 谐 振 ; 了 解 三 相 电 路, 掌 握 三 相 负 载 的 两 种 联 结 方 式 重 点 掌 握 正 弦 稳 态 电 路 的 分 析 和 功 率 ; 教 学 难 点 为 正 弦 稳 态 电 路 的 向 量 分 析 法 第 四 部 分 模 拟 集 成 运 算 放 大 电 路 5

通 过 本 部 分 的 学 习, 了 解 集 成 运 算 放 大 器 的 组 成, 掌 握 运 算 放 大 器 的 特 性 和 分 析 方 法 ; 重 点 掌 握 运 算 放 大 器 的 虚 短 及 虚 断 特 征 基 本 运 算 电 路 如 比 例 运 算 加 减 运 算 的 工 作 原 理 ; 教 学 难 点 为 虚 短 及 虚 断 特 征 的 理 解 第 五 部 分 常 用 半 导 体 器 件 及 其 基 本 放 大 电 路 通 过 本 部 分 的 学 习, 了 解 半 导 体 的 基 本 知 识,PN 结 的 形 成 及 特 性, 半 导 体 二 极 管 单 向 导 电 性, 二 极 管 基 本 电 路 及 其 分 析 方 法, 特 殊 二 极 管, 半 导 体 三 极 管 和 场 效 应 管 的 原 理 特 性 参 数, 半 导 体 器 件 实 现 放 大 作 用 的 内 部 及 外 部 条 件, 了 解 功 率 放 大 的 概 念 及 实 现 电 路 ; 重 点 掌 握 半 导 体 二 极 管 的 单 向 导 电 性, 晶 体 管 的 三 个 工 作 区 域 ( 放 大 区 饱 和 区 截 止 区 ), 共 射 极 放 大 电 路 及 射 极 跟 随 器 的 基 本 原 理, 掌 握 放 大 电 路 静 态 工 作 点 的 确 定 及 利 用 微 变 等 效 电 路 求 解 动 态 参 数 的 方 法 ; 教 学 难 点 为 三 极 管 的 电 流 控 制 作 用 和 电 流 分 配 关 系, 放 大 电 路 的 静 态 和 动 态 参 数 的 求 解 方 法 第 六 部 分 负 反 馈 放 大 电 路 通 过 本 部 分 的 学 习, 了 解 反 馈 的 概 念 负 反 馈 判 断 极 性, 反 馈 的 分 类 四 种 状 态, 负 反 馈 对 放 大 器 工 作 性 能 的 影 响 ; 掌 握 实 际 电 路 的 反 馈 判 断, 负 反 馈 放 大 电 路 的 分 析 计 算 ; 重 点 掌 握 负 反 馈 放 大 器 的 组 态 分 析 方 法 ; 教 学 难 点 为 负 反 馈 对 放 大 电 路 性 能 的 改 善 和 负 反 馈 放 大 器 的 稳 定 性 问 题 第 七 部 分 波 形 发 生 电 路 ( 可 选 ) 通 过 本 部 分 的 学 习, 了 解 产 生 正 弦 波 振 荡 的 条 件, 正 弦 波 振 荡 电 路 的 组 成 和 分 析 方 法, RC 桥 式 正 弦 波 振 荡 电 路 及 晶 体 振 荡 电 路, 常 见 的 非 正 弦 波 发 生 电 路 分 析, 电 压 比 较 器 原 理 ; 重 点 掌 握 RC 串 并 联 正 弦 波 振 荡 电 路 的 工 作 原 理 及 分 析 计 算 方 法 ; 教 学 难 点 为 理 解 振 荡 条 件 及 平 衡 条 件 的 区 别 四 课 程 各 教 学 环 节 的 要 求 1 课 堂 教 学 要 求 本 课 程 以 课 堂 讲 授 为 主, 借 助 多 媒 体 手 段 以 强 化 教 学 效 果 同 时 为 学 生 提 供 相 关 的 参 考 书 书 目, 并 介 绍 学 科 发 展 及 前 沿 技 术, 有 意 识 地 引 导 学 生 的 学 习, 拓 宽 学 生 的 知 识 面 本 课 程 的 教 学 环 节 除 讲 课 外 还 包 括 实 验 实 验 教 学 大 纲 另 行 拟 定 2 作 业 要 求 通 过 课 堂 教 学, 学 生 对 相 关 概 念 和 原 理 已 有 所 了 解, 在 此 基 础 上 要 求 学 生 在 有 关 章 节 结 束 后 通 过 课 后 作 业 的 练 习, 更 好 地 理 解 和 掌 握 相 关 单 元 电 路 及 其 分 析 和 计 算 的 方 法 3 考 试 要 求 本 课 程 建 议 采 用 闭 卷 考 试, 主 要 考 察 学 生 对 基 本 概 念 原 理 和 分 析 方 法 的 掌 握 情 况, 以 及 运 用 上 述 基 本 概 念 原 理 和 方 法 分 析 问 题 和 解 决 问 题 的 能 力 平 时 成 绩 ( 作 业 课 堂 提 问 出 勤 实 验 等 ) 占 30%+ 期 末 成 绩 占 70% 6

五 课 时 分 配 各 教 学 环 节 学 时 分 配 序 作 业 主 要 内 容 讲 实 上 习 讨 课 小 号 题 量 授 验 机 题 论 外 计 1 直 流 电 路 12 6 18 4 2 动 态 电 路 的 暂 态 分 析 8 8 2 3 正 弦 稳 态 电 路 的 分 析 6 6 2 4 模 拟 集 成 运 算 放 大 电 路 8 2 10 2 5 常 用 半 导 体 器 件 及 其 基 本 放 大 电 路 10 2 12 4 6 负 反 馈 放 大 电 路 8 2 10 0 7 波 形 发 生 电 路 ( 可 选 ) 0 0 0 合 计 52 12 64 14 备 注 六 本 课 程 与 其 它 课 程 的 关 系 先 修 课 程 : 高 等 数 学 后 续 课 程 : 数 字 电 子 技 术 七 教 材 及 教 学 参 考 书 1 查 丽 斌 等 主 编, 电 路 与 模 拟 电 子 技 术, 电 子 工 业 出 版 社 2011 年 2 康 华 光 主 编, 电 子 技 术 基 础 ( 模 拟 部 分 第 四 版 ), 高 等 教 育 出 版 社 1998 年 3 童 诗 白 主 编, 模 拟 电 子 技 术 基 础 ( 第 二 版 ), 高 等 教 育 出 版 社 1988 年 7

数 字 电 子 技 术 课 程 教 学 大 纲 Digital Electronics Technology 总 学 时 数 :64 学 分 数 :4 其 中 : 实 验 ( 上 机 ) 学 时 :12 适 用 专 业 : 计 科 与 软 工 执 笔 者 : 唐 志 辉 ( 讲 师 / 硕 士 ) 编 写 日 期 :2013.4 一 课 程 的 性 质 目 的 和 任 务 数 字 电 子 技 术 是 电 子 与 计 算 机 类 专 业 的 一 门 学 科 基 础 必 修 课 它 的 教 学 目 的 和 任 务 是 培 养 学 生 具 有 数 字 电 子 电 路 和 脉 冲 电 路 的 基 本 知 识, 以 及 应 用 这 些 知 识 进 行 基 本 数 字 电 子 电 路 的 分 析 和 设 计 的 能 力 二 课 程 教 学 的 基 本 要 求 通 过 对 本 课 程 的 学 习, 要 求 学 生 掌 握 数 字 电 路 的 概 念 逻 辑 代 数 基 础 门 电 路 触 发 器 的 基 本 知 识, 较 深 入 地 理 解 数 字 组 合 逻 辑 电 路 时 序 逻 辑 电 路 和 脉 冲 电 路 的 产 生 和 整 形 ; 了 解 半 导 体 存 储 器 件 的 特 点 可 编 程 逻 辑 器 件 和 A/D D/A 的 初 步 知 识 三 课 程 的 教 学 内 容 重 点 和 难 点 第 一 部 分 数 字 逻 辑 基 础 主 要 内 容 包 括 数 字 系 统 中 数 的 表 示 方 法 及 常 用 的 几 种 编 码, 掌 握 逻 辑 代 数 的 基 本 概 念 和 基 本 理 论, 学 习 逻 辑 函 数 的 基 本 表 示 形 式 及 其 简 化 重 点 掌 握 数 制 逻 辑 运 算 第 二 部 分 逻 辑 门 电 路 通 过 本 部 分 的 学 习 了 解 基 本 运 算 输 入 变 量 与 输 出 函 数 之 间 的 逻 辑 关 系, 掌 握 双 极 型 集 成 逻 辑 门 和 单 极 型 逻 辑 门 电 路 结 构 了 解 集 成 逻 辑 门 的 封 装 结 构 重 点 掌 握 门 电 路 的 结 构 工 作 原 理 技 术 参 数 不 同 类 型 门 电 路 特 点 难 点 是 门 电 路 的 重 要 技 术 参 数 不 同 类 型 门 电 路 特 点 第 三 部 分 组 合 逻 辑 电 路 以 逻 辑 代 数 为 数 学 工 具, 从 逻 辑 门 构 成 的 组 合 逻 辑 电 路 入 手, 分 析 和 设 计 数 字 电 路 的 基 本 方 法 主 要 内 容 包 括 : 逻 辑 代 数 定 律 公 式, 卡 诺 图 常 用 组 合 逻 辑 器 件 的 应 用 主 要 包 括 : 编 码 器 译 码 器 数 据 分 配 器 数 据 选 择 器 比 较 器 等 重 点 是 学 习 常 用 组 合 逻 辑 器 件 的 结 构 及 工 作 原 理, 难 点 是 组 合 逻 辑 电 路 分 析 与 设 计 方 法 第 四 部 分 时 序 逻 辑 电 路 通 过 学 习 本 部 分 内 容, 学 生 掌 握 基 本 的 触 发 器 计 数 器 寄 存 器 顺 序 脉 冲 发 生 器 存 储 器 的 结 构 及 工 作 原 理, 在 这 基 础 上, 掌 握 时 序 电 路 的 基 本 概 念 结 构 逻 辑 功 能 及 时 序 电 路 的 分 析 方 法 和 设 计 方 法 重 点 掌 握 触 发 器 的 逻 辑 功 能 小 规 模 时 序 逻 辑 电 路 的 分 析 方 法 与 设 计 方 法 难 点 是 时 序 逻 辑 电 路 的 设 计 8

第 五 部 分 常 用 时 序 集 成 电 路 模 块 及 其 应 用 通 过 本 部 分 的 学 习, 学 生 要 掌 握 常 用 的 中 规 模 计 数 器 移 位 寄 存 器 的 原 理 及 其 应 用 并 利 用 这 些 器 件 设 计 具 有 一 定 功 能 的 逻 辑 电 路, 完 成 一 定 的 实 际 功 能 第 六 部 分 脉 冲 波 形 的 产 生 与 变 换 通 过 本 部 分 的 学 习, 学 生 了 解 常 用 的 脉 冲 交 换 整 形 和 产 生 电 路 单 稳 态 触 发 器 和 施 密 特 触 发 器 多 谐 振 荡 器 和 多 用 途 的 555 定 时 器 重 点 是 了 解 脉 冲 波 形 的 形 成 特 点 第 七 部 分 A/D 转 换 骑 和 D/A 转 换 器 掌 握 各 种 D/A A/D 转 换 器 的 工 作 原 理 和 典 型 产 品 重 点 是 理 解 A/D D/A 特 点 及 主 要 参 数 的 含 义 四 课 程 各 教 学 环 节 要 求 1. 课 堂 教 学 要 求 本 课 程 以 课 堂 讲 授 为 主, 采 用 多 媒 体 手 段 辅 助 教 学, 以 提 高 教 学 效 果 同 时 为 学 生 提 供 相 关 的 参 考 书 书 目, 并 介 绍 学 科 发 展 及 前 沿 技 术, 有 意 识 地 引 导 学 生 的 学 习, 拓 宽 学 生 的 知 识 面 2. 实 验 教 学 要 求 数 字 电 路 实 验 是 数 字 电 子 技 术 课 程 的 重 要 实 践 环 节, 学 生 通 过 实 验 将 学 到 的 数 字 电 路 分 析 和 设 计 的 理 论 应 用 于 实 践 培 养 学 生 理 论 联 系 实 际 的 能 力, 培 养 创 新 意 识, 提 高 学 生 的 动 手 能 力 设 计 能 力 分 析 问 题 和 解 决 问 题 的 能 力 通 过 规 范 的 实 验 操 作 训 练, 使 学 生 掌 握 各 类 型 数 字 集 成 芯 片 的 功 能, 掌 握 基 本 的 电 子 电 路 测 量 方 法 和 调 试 的 基 本 技 能, 加 深 对 电 子 线 路 工 作 原 理 的 理 解 要 求 学 生 了 解 数 字 电 路 实 验 箱 的 基 本 功 能 及 组 成 掌 握 TTL 集 成 电 路 及 CMOS 集 成 电 路 的 接 法 ; 掌 握 数 字 逻 辑 电 路 的 基 本 测 试 技 术, 如 门 电 路 逻 辑 功 能 的 测 试 及 转 换 集 成 芯 片 的 功 能 测 试 等 ; 掌 握 组 合 逻 辑 电 路 常 用 芯 片 的 逻 辑 功 能, 如 编 码 器 译 码 器 数 据 选 择 器 加 法 器 数 值 比 较 器 并 学 会 分 析 与 设 计 简 单 的 组 合 逻 辑 电 路 ; 掌 握 JK 触 发 器 功 能 测 试 及 应 用 设 计 ; 学 会 设 计 任 意 进 制 的 计 数 器, 并 用 七 段 数 码 管 显 示 结 果 ; 初 步 具 有 分 析 寻 找 和 排 除 电 子 电 路 中 常 见 故 障 的 能 力 具 有 正 确 处 理 实 验 数 据 分 析 结 果 的 能 力 ; 根 据 技 术 要 求 能 选 用 合 适 的 元 器 件, 初 步 具 有 设 计 数 字 逻 辑 电 路 并 进 行 组 装 和 调 试 的 能 力 ; 能 独 立 写 出 严 谨 的 有 理 论 分 析 的 实 事 求 是 的 文 理 通 顺 的 字 迹 端 正 的 实 验 报 告 3. 作 业 要 求 通 过 课 堂 教 学, 学 生 对 相 关 概 念 和 原 理 已 有 所 了 解, 在 此 基 础 上 要 求 学 生 在 有 关 章 节 结 束 后 通 过 课 后 作 业 的 练 习, 更 好 地 理 解 和 掌 握 数 字 电 子 技 术 课 程 的 相 关 概 念 和 方 法 4. 考 试 要 求 本 课 程 是 考 试 课 程, 建 议 采 用 闭 卷 考 试, 主 要 考 察 学 生 对 数 字 电 子 技 术 课 程 的 基 本 概 念, 9

以 及 运 用 上 述 基 本 概 念 原 理 和 方 法 分 析 问 题 和 解 决 问 题 的 能 力 平 时 成 绩 ( 作 业 课 堂 提 问 出 勤 实 验 等 ) 占 30%+ 期 末 成 绩 占 70% 着 重 讲 授 逻 辑 门 的 结 构 和 特 性 各 种 组 合 电 路 的 功 能 与 使 用 方 法 典 型 时 序 逻 辑 电 路 的 功 能 特 性 与 使 用 方 法 实 验 的 基 本 要 求 是 学 生 能 够 根 据 实 验 指 导 书 设 计 的 单 元 实 验 和 综 合 实 验 在 规 定 的 时 间 内 完 成, 目 的 是 进 一 步 加 深 理 解 各 种 数 字 逻 辑 电 路 的 功 能 特 性 和 应 用 作 业 主 要 侧 重 于 对 基 本 概 念 基 本 单 元 电 路 的 分 析 理 解 与 应 用 考 试 形 式 为 闭 卷 五 学 时 分 配 章 主 要 内 容 讲 节 授 各 教 学 环 节 学 时 分 配 实 上 习 讨 课 验 机 题 论 外 作 业 小 题 量 计 1 数 字 逻 辑 基 础 12 12 2 2 逻 辑 门 电 路 4 4 8 4 3 组 合 逻 辑 电 路 16 4 20 6 4 时 序 逻 辑 电 路 12 2 14 2 5 常 用 时 序 集 成 电 路 模 块 及 其 应 用 6 2 8 4 6 脉 冲 波 形 的 产 生 与 变 换 1 1 1 7 A/D 转 换 骑 和 D/A 转 换 器 1 1 1 合 计 52 12 64 20 备 注 六 课 程 与 其 它 课 程 的 联 系 先 修 课 程 : 电 路 与 模 拟 电 子 技 术 七 教 材 与 教 学 参 考 书 1 数 字 电 子 技 术, 刘 金 华, 北 京 大 学 出 版 社,2010 2 数 字 电 子 技 术 基 础 ( 第 四 版 ), 阎 石, 高 等 教 育 出 版 社,2003 3 电 子 技 术 基 础 ( 第 四 版 ), 康 华 光, 高 等 教 育 出 版 社,2003 10

高 级 语 言 程 序 设 计 课 程 教 学 大 纲 Advanced Programming Language 总 学 时 :64 学 分 数 :4 其 中 : 实 验 ( 上 机 ) 学 时 : 20 适 用 专 业 : 软 件 工 程 执 笔 者 : 王 浩 亮 ( 讲 师 / 硕 士 ) 编 写 日 期 :2011.4 一 课 程 性 质 目 的 和 任 务 本 课 程 讲 授 C 语 言 程 序 设 计, 是 学 生 的 第 一 门 程 序 设 计 语 言 课, 主 要 是 为 计 算 机 专 业 学 生 开 设, 也 可 做 其 他 理 工 科 专 业 学 生 的 公 共 选 修 课 本 课 程 的 目 的 是 进 行 结 构 化 程 序 设 计 的 基 本 训 练, 为 将 来 进 一 步 学 习 面 向 对 象 的 程 序 设 计 方 法 打 下 基 础 二 课 程 教 学 的 基 本 要 求 C 语 言 是 一 种 应 用 非 常 广 泛 的 程 序 设 计 语 言 通 过 本 课 程 的 学 习, 要 求 学 生 掌 握 结 构 化 程 序 设 计 的 基 本 方 法, 能 够 编 写 出 一 些 常 用 的 程 序, 训 练 逻 辑 思 维 能 力, 为 今 后 的 学 习 和 工 作 打 下 坚 实 的 基 础 三 课 程 教 学 内 容 的 重 点 及 难 点 1 C 语 言 概 述 1.1 什 么 是 计 算 机 程 序 1.2 什 么 是 计 算 机 语 言 1.3 C 语 言 的 发 展 及 其 特 点 1.4 最 简 单 的 C 语 言 程 序 1.5 运 行 C 程 序 的 步 骤 与 方 法 1.6 程 序 设 计 的 任 务 教 学 重 点 : 什 么 是 计 算 机 语 言, 运 行 C 程 序 的 步 骤 与 方 法, 程 序 设 计 的 任 务 教 学 难 点 : 运 行 C 程 序 的 步 骤 与 方 法, 程 序 设 计 的 任 务 2 算 法 概 述 2.1 什 么 是 算 法 2.2 简 单 的 算 法 举 例 2.3 算 法 的 特 性 2.4 怎 样 表 示 一 个 算 法 2.5 结 构 化 程 序 设 计 方 法 教 学 重 点 : 算 法 的 特 性, 怎 样 表 示 一 个 算 法, 结 构 化 程 序 设 计 方 法 教 学 难 点 : 怎 样 表 示 一 个 算 法, 结 构 化 程 序 设 计 方 法 11

3 数 据 类 型 运 算 符 与 表 达 式 3.1 顺 序 程 序 设 计 举 例 3.2 数 据 的 表 现 形 式 及 其 运 算 3.3 C 语 句 3.4 数 据 的 输 入 输 出 教 学 重 点 : 数 据 的 表 现 形 式 及 其 运 算,C 语 句, 数 据 的 输 入 输 出 教 学 难 点 : 数 据 的 表 现 形 式, 数 据 的 输 入 输 出 4 选 择 结 构 程 序 设 计 4.1 选 择 结 构 和 条 件 判 断 4.2 用 if 语 句 实 现 选 择 结 构 4.3 关 系 运 算 符 和 关 系 表 达 式 4.4 逻 辑 运 算 符 和 逻 辑 表 达 式 4.5 条 件 运 算 符 和 条 件 表 达 式 4.6 选 择 结 构 的 嵌 套 4.7 用 switch 语 句 实 现 多 分 支 选 择 结 构 4.8 选 择 结 构 程 序 综 合 举 例 教 学 重 点 : 用 if 语 句 实 现 选 择 结 构, 关 系 运 算 符 和 关 系 表 达 式, 逻 辑 运 算 符 和 逻 辑 表 达 式, 用 switch 语 句 实 现 多 分 支 选 择 结 构, 选 择 结 构 程 序 综 合 举 例 教 学 难 点 : 用 if 语 句 实 现 选 择 结 构, 用 switch 语 句 实 现 多 分 支 选 择 结 构, 选 择 结 构 程 序 综 合 举 例 5 循 环 语 句 5.1 为 什 么 需 要 循 环 控 制 5.2 用 while 语 句 实 现 循 环 5.3 用 do while 语 句 实 现 循 环 5.4 用 for 语 句 实 现 循 环 5.5 循 环 的 嵌 套 5.6 几 种 循 环 的 比 较 5.7 改 变 循 环 执 行 的 状 态 5.8 循 环 程 序 举 例 教 学 重 点 : 用 while 语 句 实 现 循 环, 用 do while 语 句 实 现 循 环, 用 for 语 句 实 现 循 环, 循 环 的 嵌 套 教 学 难 点 : 用 while 语 句 实 现 循 环, 用 for 语 句 实 现 循 环, 循 环 的 嵌 套, 循 环 综 合 运 用 6 数 组 12

6.1 怎 样 定 义 和 引 用 一 维 数 组 6.2 怎 样 定 义 和 引 用 二 维 数 组 6.3 字 符 数 组 教 学 重 点 : 定 义 和 引 用 一 维 数 组, 字 符 数 组 教 学 难 点 : 定 义 和 引 用 二 维 数 组, 字 符 数 组 7 函 数 7.1 为 什 么 要 用 函 数 7.2 怎 样 定 义 函 数 7.3 调 用 函 数 7.4 对 被 调 用 函 数 的 声 明 和 函 数 原 型 7.5 函 数 的 嵌 套 调 用 7.6 函 数 的 递 归 调 用 7.7 数 组 作 为 函 数 参 数 7.8 局 部 变 量 和 全 局 变 量 7.9 变 量 的 存 储 方 式 和 生 存 期 7.10 关 于 变 量 的 声 明 和 定 义 7.11 内 部 函 数 和 外 部 函 数 教 学 重 点 : 定 义 函 数, 调 用 函 数 函 数 的 递 归 调 用 局 部 变 量 和 全 局 变 量, 数 组 作 为 函 数 参 数 教 学 难 点 : 数 组 作 为 函 数 参 数, 函 数 的 递 归 调 用 局 部 变 量 和 全 局 变 量, 内 部 函 数 和 外 部 函 数 8 指 针 8.1 指 针 是 什 么 8.2 指 针 变 量 8.3 通 过 指 针 引 用 数 组 8.4 通 过 指 针 引 用 字 符 串 8.5 指 向 函 数 的 指 针 8.6 返 回 指 针 值 的 函 数 8.7 指 针 数 组 8.8 动 态 内 存 分 配 与 指 向 它 的 指 针 变 量 8.9 有 关 指 针 的 小 结 教 学 重 点 : 指 针 是 什 么, 指 针 变 量, 通 过 指 针 引 用 数 组, 通 过 指 针 引 用 字 符 串 教 学 难 点 : 通 过 指 针 引 用 数 组, 通 过 指 针 引 用 字 符 串, 指 向 函 数 的 指 针, 动 态 内 存 分 配 与 指 向 它 的 指 针 变 量 13

9 结 构 共 同 体 和 枚 举 类 型 9.1 定 义 和 使 用 结 构 体 变 量 9.2 使 用 结 构 体 数 组 9.3 结 构 体 指 针 9.4 用 指 针 处 理 链 表 9.5 共 用 体 类 型 9.6 使 用 枚 举 类 型 9.7 用 typedef 声 明 新 类 型 名 教 学 重 点 : 定 义 和 使 用 结 构 体 变 量, 使 用 结 构 体 数 组 结 构 体 指 针 共 用 体 类 型 教 学 难 点 : 定 义 和 使 用 结 构 体 变 量 结 构 体 指 针, 用 指 针 处 理 链 表 10 文 件 的 输 入 输 出 10.1 C 文 件 的 有 关 基 本 知 识 10.1.1 什 么 是 文 件 10.2 打 开 与 关 闭 文 件 10.3 顺 序 读 写 数 据 文 件 10.4 随 机 读 写 数 据 文 件 10.5 文 件 读 写 的 出 错 检 测 教 学 重 点 : 打 开 与 关 闭 文 件, 顺 序 读 写 数 据 文 件, 随 机 读 写 数 据 文 件 教 学 难 点 : 打 开 与 关 闭 文 件, 顺 序 读 写 数 据 文 件, 随 机 读 写 数 据 文 件, 文 件 读 写 的 出 错 检 测 四 课 程 各 环 节 要 求 本 课 程 是 一 门 实 践 性 很 强 的 课 程, 即 要 掌 握 概 念, 又 要 动 手 编 程, 还 要 上 机 调 试 必 须 通 过 大 量 的 编 程 练 习 加 强 对 基 本 概 念 的 理 解, 提 高 逻 辑 思 维 能 力 及 程 序 设 计 水 平 五 学 时 分 配 章 节 主 要 内 容 各 教 学 环 节 学 时 分 配 讲 授 上 机 习 题 讨 论 课 外 小 结 作 业 批 改 备 注 1 C 语 言 概 述 2 2 2 算 法 2 2 2 3 数 据 类 型 运 算 符 与 表 达 式 6 2 8 2 4 选 择 结 构 程 序 设 计 4 4 8 3 5 循 环 控 制 6 2 8 2 6 数 组 4 2 6 2 14

7 函 数 8 3 11 2 8 指 针 6 4 10 2 9 结 构 共 同 体 和 枚 举 类 型 4 1 5 2 10 文 件 的 输 入 输 出 2 2 4 2 合 计 44 20 64 19 六 本 课 程 与 其 它 课 程 联 系 先 修 课 程 : 计 算 机 导 论 后 续 课 程 : 面 向 对 象 程 序 设 计 数 据 结 构 七 教 材 及 教 学 参 考 书 1. C 程 序 设 计 ( 第 四 版 ), 谭 浩 强, 清 华 大 学 出 版 社,2010 年 6 月 2. C 程 序 设 计, 孙 连 科, 清 华 大 学 出 版 社,2013 年 3 月 15

离 散 数 学 课 程 教 学 大 纲 Discrete Mathematics 总 学 时 数 : 60 学 分 数 :3.5 其 中 : 实 验 ( 上 机 ) 学 时 : 0 适 用 专 业 : 软 件 工 程 执 笔 者 : 牛 熠 ( 教 授 / 博 士 ) 编 写 日 期 :2013.3 一 课 程 性 质 目 的 和 任 务 本 课 程 是 计 算 机 科 学 与 技 术 专 业 的 一 门 学 科 基 础 课 通 过 本 课 程 的 学 习, 培 养 学 生 的 抽 象 思 维 能 力 和 严 格 的 逻 辑 推 理 能 力, 使 学 生 掌 握 一 种 证 明 问 题 的 方 法, 掌 握 离 散 数 学 在 计 算 机 中 的 应 用 二 课 程 教 学 的 基 本 要 求 离 散 数 学 是 一 门 概 念 较 多 理 论 性 较 强, 应 用 性 较 广 的 课 程 本 课 程 主 要 教 授 数 理 逻 辑 集 合 论 代 数 系 统 图 论 方 面 的 基 础 知 识, 是 计 算 机 科 学 教 学 中 一 些 后 续 课 程 学 习 的 基 础 和 工 具 通 过 本 课 程 的 学 习, 要 使 学 生 掌 握 离 散 数 学 的 基 本 概 念 和 基 本 原 理, 以 现 代 数 学 的 观 点 和 方 法, 初 步 掌 握 处 理 离 散 结 构 所 必 须 的 描 述 工 具 和 方 法 同 时, 也 要 培 养 学 生 抽 象 思 维 慎 密 概 括 逻 辑 推 理 的 能 力, 从 而 使 学 生 具 有 良 好 的 开 拓 专 业 理 论 的 素 质 和 使 用 所 学 知 识, 分 析 和 解 决 实 际 问 题 的 能 力 三 课 程 教 学 内 容 ( 重 点 及 难 点 ) 1. 集 合 1.1 集 合 的 概 念 与 表 示 法, 集 合 间 的 关 系 和 特 殊 集 合, 幂 集 1.2 集 合 代 数 1.3 包 含 排 斥 原 理 教 学 重 点 : 集 合 概 念 集 合 的 运 算, 包 含 排 斥 原 理 2. 二 元 关 系 2.1 集 合 中 的 笛 卡 尔 乘 积 ; 2.2 二 元 关 系 的 定 义 ; 2.3 关 系 的 三 种 表 示 法 ; 2.4 关 系 的 基 本 类 型 ( 自 反 反 自 反 对 称 反 对 称 传 递 等 关 系 ) 及 判 别 方 法 ; 2.5 等 价 关 系 与 划 分 : 等 价 关 系 等 价 类 和 划 分, 商 集 2.6 相 容 关 系 : 相 容 关 系, 最 大 相 容 类 和 完 全 覆 盖 2.7 偏 序 关 系 : 偏 序 关 系 和 全 序 关 系, 哈 斯 图, 极 大 ( 极 小 ) 元 素, 最 大 ( 最 小 ) 元 素, 上 界 ( 下 界 ), 上 ( 下 ) 确 界 2.8 复 合 关 系 与 逆 关 系 ; 2.9 关 系 上 的 闭 包 运 算 教 学 重 点 : 关 系 概 念 及 性 质, 等 价 关 系 和 偏 序 关 系, 复 合 关 系 与 逆 关 系 教 学 难 点 : 二 元 关 系 概 念, 等 价 类 和 商 集 的 概 念, 极 大 ( 极 小 ) 元 素, 最 大 ( 最 小 ) 元 素, 上 界 ( 下 界 ), 上 ( 下 ) 确 界 的 概 念 16

3. 函 数 3.1 函 数 的 定 义 ; 3.2 特 殊 函 数 ; 3.3 复 合 函 数 与 逆 函 数 4. 代 数 结 构 4.1 代 数 系 统 : 二 元 运 算 代 数 系 统 概 念 ; 4.2 特 殊 运 算 和 特 殊 元 素 : 代 数 系 统 常 见 的 性 质 ( 结 合 律 交 换 律 分 配 律, 单 位 元 素 逆 元 素 零 元 素 ); 4.3 代 数 系 统 的 同 构 ; 4.4 半 群 独 异 点 ; 4.5 群 的 定 义 与 性 质 ; 4.6 子 群 ; 4.7 循 环 群 4.8 置 换 群 ; 4.9 陪 集 及 拉 格 郎 日 定 理 ; 4.10 环 和 域 ; 教 学 重 点 : 代 数 系 统 及 其 性 质, 群 的 概 念, 交 换 群 和 循 环 群 教 学 难 点 : 判 别 群 的 同 构, 置 换 群 和 循 环 群 的 概 念 和 判 别 方 法 5. 图 论 5.1 图 的 基 本 概 念, 图 的 同 构 ; 5.2 通 路 和 赋 权 图 的 最 短 通 路 : 通 路 和 回 路, 赋 权 图 的 最 短 通 路 的,Dijkstra 算 法 5.3 图 与 矩 阵 : 图 的 邻 接 矩 阵, 可 达 性 矩 阵 ; 5.4 欧 拉 图 ; 5.5 哈 密 顿 图 ; 5.6 中 国 邮 路 问 题 和 旅 行 售 货 员 问 题 ; 5.7 二 部 图 : 二 部 图 及 其 判 别, 最 大 对 集 的 匈 牙 利 算 法 5.8 平 面 图 ; 平 面 图 的 概 念, 欧 拉 公 式, 平 面 图 和 非 平 面 图 的 判 别 5.9 无 向 树 : 树 的 定 义, 树 的 性 质 ; 5.10 有 向 树 : 有 向 树 的 基 本 概 念, 前 缀 码 与 最 优 树, 搜 索 树 教 学 重 点 : 图 的 概 念, 顶 点 度 数 和 边 关 系 的 定 理, 图 的 矩 阵 表 示 ; 欧 拉 图 和 哈 密 顿 图 ; 树 及 应 用 教 学 难 点 : 判 别 图 的 同 构, 利 用 图 的 矩 阵 判 别 图 的 性 质 和 连 通 性, 非 平 面 图 的 判 别 6. 命 题 逻 辑 6.1 命 题 与 联 结 词, 复 合 命 题 与 命 题 公 式 ; 6.2 真 值 表 与 逻 辑 等 价 : 命 题 公 式 的 真 值 表 和 常 用 的 逻 辑 等 价 公 式 6.3 永 真 蕴 含 式 概 念 和 常 用 的 永 真 蕴 含 公 式 6.4 命 题 演 算 的 推 理 理 论 教 学 重 点 : 命 题 符 号 化, 命 题 公 式 真 值 表 的 构 造 法, 对 命 题 公 式 进 行 逻 辑 等 价 变 换, 命 题 逻 辑 的 推 理 演 算 17

教 学 难 点 : 命 题 符 号 化, 命 题 逻 辑 的 推 理 演 算 ( 直 接 证 法, 反 证 法 和 CP 规 则 ) 7. 谓 词 逻 辑 7.1 谓 词 与 个 体, 量 词 ; 7.2 谓 词 公 式 自 由 变 元 和 约 束 变 元 ; 7.3 谓 词 演 算 的 等 价 式 和 永 真 蕴 含 式 ; 7.4 前 束 范 式 ; 7.5 谓 词 演 算 的 推 理 理 论 教 学 重 点 :: 谓 词 与 量 词, 前 束 范 式, 命 题 符 号 化, 谓 词 逻 辑 的 推 理 理 论 教 学 难 点 :: 前 束 范 式, 谓 词 逻 辑 的 推 理 理 论 命 题 符 号 的 方 法 四 课 程 各 环 节 要 求 本 课 程 是 计 算 机 科 学 与 技 术 专 业 最 重 要 的 专 业 基 础 课 之 一, 具 有 很 强 的 理 论 性 和 抽 象 性, 涉 及 的 概 念 与 逻 辑 推 理 很 多, 也 有 很 多 算 法, 在 教 学 过 程 中, 应 该 让 学 生 多 做 习 题, 帮 助 学 生 对 基 本 概 念 已 经 成 熟 的 各 种 算 法 的 理 解 与 掌 握 五 学 时 分 配 主 要 内 容 讲 授 各 教 学 环 节 学 时 分 配 上 机 习 题 讨 论 课 外 小 结 实 验 作 业 批 改 备 注 1 集 合 的 基 本 概 念 和 运 算 6 4 2 二 元 关 系 和 函 数 12 6 3 代 数 系 统 的 一 般 性 质 4 8 4 几 个 典 型 的 代 数 系 统 4 8 5 图 的 基 本 概 念 4 8 6 一 些 特 殊 的 图 8 6 7 树 8 6 8 命 题 逻 辑 8 6 9 谓 词 逻 辑 6 6 合 计 60 58 六 本 课 程 与 其 它 课 程 联 系 先 修 课 程 : 高 等 数 学 后 续 课 程 : 数 据 结 构 七 教 材 及 教 学 参 考 书 : 1. 离 散 数 学, 邵 学 才, 中 国 铁 道 出 版 社,2012.8 2. 离 散 数 学, 左 孝 凌, 上 海 科 学 技 术 文 献 出 版 社,2001.8 18

面 向 对 象 程 序 设 计 课 程 教 学 大 纲 Object Oriented Programming 总 学 时 数 : 64 学 分 数 : 44 其 中 : 实 验 ( 上 机 ) 学 时 : 22 适 用 专 业 : 软 件 工 程 执 笔 者 : 王 浩 亮 ( 讲 师 / 硕 士 ) 编 写 日 期 :2012.9 一 课 程 性 质 目 的 和 任 务 本 课 程 是 软 件 工 程 专 业 的 一 门 必 修 课 使 用 当 前 流 行 的 Java 语 言 讲 授 面 向 对 象 程 序 设 计, 进 行 面 向 对 象 思 维 方 法 的 训 练 通 过 学 习 设 计 及 实 现, 使 学 生 掌 握 基 本 的 面 向 对 象 设 计 方 法 原 则 与 理 论, 具 有 一 定 的 面 向 对 象 程 序 设 计 和 开 发 能 力 为 其 后 续 课 程 及 大 型 应 用 软 件 的 设 计 打 下 基 础 二 课 程 教 学 的 基 本 要 求 要 求 学 生 重 点 掌 握 面 向 对 象 的 程 序 设 计 方 法 原 则 与 理 论 掌 握 程 序 设 计 的 逻 辑 步 骤, 能 使 用 面 向 对 象 的 思 想 对 特 定 问 题 进 行 描 述 分 析, 并 最 终 用 面 向 对 象 的 程 序 设 计 语 言 来 实 现 解 决 问 题 理 解 面 向 对 象 的 程 序 设 计 与 传 统 程 序 设 计 的 不 同 了 解 程 序 设 计 方 法 及 程 序 设 计 语 言 的 发 展 方 向 培 养 以 下 几 方 面 的 能 力 : 具 有 开 发 小 型 面 向 对 象 软 件 的 能 力 ; 能 够 根 据 实 际 要 求 进 行 面 向 对 象 的 数 据 抽 象 和 功 能 抽 象, 并 分 析 和 编 程 三 课 程 教 学 内 容 的 重 点 及 难 点 1. 绪 论 1.1 Java 的 历 史 特 点 1.2 Java 面 向 对 象 语 言 1.3 Java 工 具 jdk 1.4 Java 应 用 程 序 与 Applet 小 程 序, 简 单 的 编 译 和 运 行 教 学 重 点 :Java 应 用 程 序 与 Applet 小 程 序, 编 译 运 行 过 程 2. 面 向 对 象 程 序 设 计 基 本 概 念 2.1 类 对 象 2.2 继 承 多 态 2.3 面 向 对 象 程 序 设 计 思 想 教 学 重 点 : 面 向 对 象 编 程 的 特 点, 类 对 象 继 承 多 态 教 学 难 点 : 继 承 多 态 的 概 念 理 解 3.java 基 础 知 识 19

3.1 数 据 类 型 和 变 量 3.2 常 量 关 键 字 和 标 识 符 3.3 表 达 式 和 运 算 符 3.4 控 制 语 句 3.5 数 组 和 字 符 串 教 学 重 点 :java 语 言 控 制 语 句 的 使 用, 包 括 for,while,do while,switch;java 中 数 组 的 定 义 和 字 符 串 的 使 用 教 学 难 点 : 数 组 的 定 义 过 程 ; 字 符 串 之 间 操 作 的 一 些 函 数 4.java 面 向 对 象 编 程 4.1 面 向 对 象 编 程 特 点 4.2 java 的 类 和 对 象 4.3 继 承 和 多 态 教 学 重 点 :java 语 言 的 面 向 对 象 特 征 ;java 语 言 中 定 义 类 对 象 ; 继 承 和 多 态 的 使 用, 重 载 和 重 写 方 法 的 理 解 教 学 难 点 : 多 态 的 定 义, 重 载 和 重 写 的 使 用 5. 接 口 和 包 5.1 接 口 5.2 包 类 路 径 教 学 重 点 :java 语 言 中 接 口 的 概 念, 如 何 定 义 接 口 和 如 何 使 用 接 口 ; 包 的 概 念, 如 何 创 建 包 和 使 用 包 教 学 难 点 : 接 口 和 包 的 概 念 理 解, 类 路 径 的 设 置 和 使 用 6. 流 和 文 件 处 理 6.1 输 入 输 出 流 6.2 文 件 处 理 : 文 件 输 入 输 出 流 教 学 重 点 : 输 入 输 出 流 的 建 立 和 使 用,java 程 序 如 何 读 入 数 据, 显 示 数 据, 原 理 与 使 用 教 学 难 点 : 文 件 的 输 入 输 出 流 的 使 用 ; 过 滤 流 7. 异 常 处 理 与 多 线 程 7.1 异 常 7.2 多 线 程 教 学 重 点 : 异 常 和 多 线 程 的 概 念 ; 抛 出 异 常, 捕 获 异 常,throws,try catch 语 句 的 使 用 ; 线 程 的 两 种 创 建 方 法 教 学 难 点 : 异 常 概 念 的 理 解 ; 系 统 定 义 的 各 种 类 型 的 异 常 ; 线 程 的 创 建 和 使 用 8.Java Applet 20

8.1 Applet 的 基 本 概 念 和 编 写 8.2 Applet 的 图 形 化 用 户 界 面 8.3 Applet 的 多 媒 体 支 持 8.4 Applet 的 安 全 控 制 8.5 Applet 与 外 界 的 通 信 教 学 重 点 :Applet 的 基 本 概 念 和 编 写 ;Applet 的 图 形 化 用 户 界 面 ;Applet 的 多 媒 体 支 持 教 学 难 点 :Applet 的 多 媒 体 支 持 ;Applet 的 安 全 控 制 ;Applet 与 外 界 的 通 信 9.AWT 与 AWT 事 件 处 理 9.1 AWT 基 本 原 理 9.2 基 于 AWT 的 GUI 构 建 方 法 9.3 AWT 事 件 处 理 9.4 AWT 组 件 类 库 教 学 重 点 :AWT 基 本 原 理, 基 于 AWT 的 GUI 构 建 方 法 ;AWT 事 件 处 理 教 学 难 点 :AWT 事 件 处 理 四 课 程 各 环 节 要 求 课 堂 教 学 : 采 用 多 媒 体 教 学 手 段, 理 论 与 实 例 结 合, 提 高 教 学 效 率 和 水 平 习 题 要 求 : 本 课 程 具 有 很 强 的 理 论 性 和 实 践 性, 涉 及 的 概 念 与 算 法 很 多, 在 教 学 过 程 中, 应 该 安 排 多 种 习 题, 培 养 分 析 问 题 解 决 问 题 的 能 力 实 验 要 求 : 安 排 各 种 上 机 实 验 和 课 程 设 计, 帮 助 学 生 对 基 本 概 念 基 本 原 理 和 编 程 语 言 本 身 的 理 解 与 掌 握 五 学 时 分 配 主 要 内 容 各 教 学 环 节 学 时 分 配 作 业 讲 上 实 习 讨 课 小 批 改 授 机 验 题 论 外 结 1 绪 论 4 2 6 2 2 面 向 对 象 程 序 设 计 基 本 概 念 2 0 2 4 3 java 基 础 知 识 4 4 8 4 4 java 面 向 对 象 编 程 8 6 14 4 5 接 口 和 包 4 2 6 2 6 流 和 文 件 处 理 4 4 8 2 7 异 常 处 理 与 多 线 程 6 2 8 2 8 Java Applet 4 2 6 2 9 AWT 与 AWT 事 件 处 理 6 2 8 2 合 计 42 22 70 24 备 注 21

六 本 课 程 与 其 它 课 程 的 联 系 先 修 课 程 : 计 算 机 导 论, 高 级 语 言 程 序 设 计 后 续 课 程 : 数 据 结 构, 操 作 系 统 等 七 教 材 及 教 学 参 考 书 : 1. Java 语 言 程 序 设 计 ( 第 二 版 ), 郎 波, 清 华 大 学 出 版 社,2010 年 9 月 2. Java 语 言 程 序 设 计, 辛 运 帏, 人 民 邮 电 出 版 社,2009 年 10 月 22

计 算 机 组 成 原 理 课 程 教 学 大 纲 Principles of Computer Organization 总 学 时 : 64 学 分 : 4_ 其 中 : 实 验 ( 上 机 ) 学 时 :12_ 适 用 专 业 : 软 件 工 程 执 笔 者 : 董 阿 妮 ( 讲 师 / 硕 士 ) 编 写 日 期 :_2007.5_ 一 课 程 的 性 质 目 的 和 任 务 本 课 程 是 计 算 机 专 业 的 学 科 基 础 必 修 课 它 的 教 学 目 的 和 任 务 是 : 从 计 算 机 的 基 本 概 念 基 本 组 成 工 作 原 理 组 成 和 体 系 结 构 着 手, 通 过 对 计 算 机 的 各 个 基 本 组 成 部 件 的 工 作 原 理 进 行 讨 论, 使 学 生 掌 握 有 关 硬 件 的 基 本 知 识, 让 学 生 系 统 地 了 解 计 算 机 的 基 本 原 理 与 内 部 运 行 机 制, 认 识 提 高 计 算 机 的 部 件 整 机 硬 件 性 能 和 软 件 运 行 速 度 的 各 种 可 行 途 径, 为 培 养 学 生 对 硬 件 系 统 的 分 析 设 计 开 发 和 使 用 能 力 打 下 基 础 二 课 程 教 学 的 基 本 要 求 通 过 本 课 程 的 学 习, 使 学 生 了 解 计 算 机 的 整 体 结 构, 指 令 系 统 及 指 令 在 计 算 机 中 的 执 行 过 程 计 算 机 科 学 与 技 术 专 业 的 学 生 要 理 解 计 算 机 的 工 作 原 理 计 算 机 中 的 数 据 表 示 和 数 据 的 运 算 CPU 的 内 部 结 构, 计 算 机 基 本 组 成 部 件, 存 储 器 分 层 体 系 指 令 系 统 寻 址 方 式 微 程 序 控 制 器 及 微 程 序 设 计 技 术 指 令 流 水 技 术 程 序 中 断 方 式 输 入 输 出 方 式 配 合 实 验 使 学 生 掌 握 从 计 算 机 实 现 的 角 度 出 发, 培 养 学 生 分 析 能 力 和 设 计 能 力 尤 其 是 各 基 本 组 成 部 件 有 机 连 接 构 成 整 机 系 统 的 技 术 三 课 程 的 教 学 内 容 重 点 和 难 点 第 一 部 分 : 计 算 机 系 统 概 述 教 学 内 容 : 计 算 机 语 言 介 绍 计 算 机 硬 件 的 发 展 阶 段, 计 算 机 的 应 用 和 计 算 机 网 络 等 教 学 重 点 : 计 算 机 的 软 硬 件 简 介 计 算 机 的 性 能 评 价 计 算 机 系 统 的 主 要 部 件 及 其 层 次 结 构 教 学 难 点 : 计 算 机 系 统 的 层 次 结 构 第 二 部 分 计 算 机 的 逻 辑 部 件 教 学 内 容 : 计 算 机 中 常 用 的 组 合 逻 辑 部 件, 时 序 逻 辑 部 件 和 阵 列 逻 辑 部 件 教 学 重 点 : 各 种 常 用 的 组 合 逻 辑 部 件 触 发 器 寄 存 器 移 位 寄 存 器 和 只 读 存 储 器 教 学 难 点 : 算 术 逻 辑 单 元 触 发 器 寄 存 器 和 计 数 器 第 三 部 分 运 算 方 法 和 运 算 部 件 23

教 学 内 容 : 数 据 的 表 示 方 法 和 转 换 带 符 号 的 二 进 制 数 据 在 计 算 机 中 的 表 示 方 法 及 加 减 法 运 算 二 进 制 乘 法 运 算 二 进 制 除 法 运 算 浮 点 数 的 运 算 方 法, 运 算 部 件 和 数 据 校 验 码 教 学 重 点 : 数 据 的 表 示 方 法 和 转 换 带 符 号 的 二 进 制 数 据 在 计 算 机 中 的 表 示 方 法 及 加 减 法 运 算 二 进 制 乘 法 运 算 浮 点 数 的 运 算 方 法 教 学 难 点 : 二 进 制 乘 法 运 算 二 进 制 除 法 运 算 运 算 部 件 第 四 部 分 : 主 存 储 器 教 学 内 容 : 主 存 储 器 处 于 全 机 中 心 地 位 主 存 储 器 分 类 主 存 储 器 的 主 要 技 术 指 标 主 存 储 器 的 基 本 操 作 读 / 写 存 储 器 非 易 失 性 半 导 体 存 储 器 DRAM 的 研 制 与 发 展, 半 导 体 存 储 器 的 组 成 与 控 制, 多 体 交 叉 存 储 器 教 学 重 点 : 主 存 储 器 的 分 类 主 存 储 器 的 主 要 技 术 指 标 读 / 写 存 储 器 半 导 体 存 储 器 的 组 成 与 控 制 多 体 交 叉 存 储 器 教 学 难 点 : 半 导 体 存 储 器 的 组 成 与 控 制 第 五 部 分 : 指 令 系 统 教 学 内 容 : 指 令 系 统 的 发 展 指 令 格 式 数 据 表 示 寻 址 方 式 ( 编 址 方 式 ) 指 令 类 型 指 令 系 统 的 兼 容 性 精 简 指 令 系 统 计 算 机 (RISC) 和 复 杂 指 令 系 统 计 算 机 (CISC) 指 令 系 统 举 例, 机 器 语 言 汇 编 语 言 和 高 级 语 言 教 学 重 点 : 指 令 格 式 寻 址 方 式 指 令 的 兼 容 性 精 简 指 令 系 统 计 算 机 和 复 杂 指 令 系 统 计 算 机 教 学 难 点 : 寻 址 方 式 第 六 部 分 : 中 央 处 理 器 教 学 内 容 : 计 算 机 的 硬 件 系 统 控 制 器 的 组 成 微 程 序 控 制 计 算 机 的 基 本 工 作 原 理 微 程 序 设 计 技 术 硬 布 线 控 制 的 计 算 机 控 制 器 的 控 制 方 式, 流 水 线 工 作 原 理, CPU 举 例 教 学 重 点 : 控 制 器 的 组 成 微 程 序 控 制 计 算 机 的 基 本 工 作 原 理 微 程 序 设 计 技 术 硬 布 线 控 制 的 计 算 机 流 水 线 工 作 原 理 教 学 难 点 : 微 程 序 控 制 计 算 机 的 基 本 工 作 原 理 微 程 序 设 计 技 术 第 七 部 分 : 存 储 系 统 教 学 内 容 : 存 储 系 统 的 层 次 结 构 高 速 缓 冲 存 储 器 (cache) 虚 拟 存 储 器, 相 联 存 储 器 和 存 储 保 护 教 学 重 点 : 存 储 系 统 的 层 次 结 构 高 速 缓 冲 存 储 器 (cache) 虚 拟 存 储 器 24

教 学 难 点 : 高 速 缓 冲 存 储 器 (cache) 虚 拟 存 储 器 第 八 部 分 : 辅 助 存 储 器 教 学 内 容 : 辅 助 存 储 器 的 种 类 与 技 术 指 标 磁 记 录 原 理 与 记 录 方 式 硬 磁 盘 存 储 器 软 磁 盘 存 储 器 磁 带 存 储 器, 光 盘 存 储 器, 硬 盘 软 盘 磁 带 和 光 盘 存 储 器 的 综 合 比 较, 固 态 盘 教 学 重 点 : 辅 助 存 储 器 的 种 类 与 技 术 指 标 硬 盘 软 盘 磁 带 和 光 盘 存 储 器 的 综 合 比 较 第 九 部 分 : 输 入 输 出 (I/O) 设 备 教 学 内 容 : 外 部 设 备 概 述 输 入 设 备, 输 出 设 备 和 汉 字 处 理 技 术 教 学 重 点 : 外 部 设 备 概 述 输 入 设 备 输 出 设 备 第 十 部 分 : 输 入 输 出 (I/O) 系 统 教 学 内 容 : 输 入 输 出 (I/O) 系 统 概 述 程 序 中 断 输 入 输 出 方 式 DMA 输 入 输 出 方 式 通 道 控 制 方 式 和 外 围 处 理 机 方 式, 总 线 结 构 和 外 设 接 口 教 学 重 点 : 程 序 中 断 输 入 输 出 方 式 DMA 输 入 输 出 方 式 总 线 结 构 教 学 难 点 : 程 序 中 断 输 入 输 出 方 式 DMA 输 入 输 出 方 式 第 十 一 部 分 计 算 机 系 统 教 学 内 容 : 计 算 机 系 统 概 述 微 机 系 统 工 作 站 和 服 务 器 多 媒 体 计 算 机 超 级 标 量 处 理 机 超 级 流 水 线 处 理 机 和 超 长 指 令 字 处 理 机, 向 量 处 理 机 和 阵 列 处 理 机 和 多 处 理 机 系 统 教 学 重 点 : 工 作 站 和 服 务 器 向 量 处 理 机 阵 列 处 理 机 和 多 处 理 机 系 统 教 学 难 点 : 向 量 处 理 机 阵 列 处 理 机 和 多 处 理 机 系 统 第 十 二 部 分 新 一 代 计 算 机 的 体 系 结 构 教 学 内 容 : 新 一 代 机 的 体 系 特 点 体 系 层 次 和 概 念 框 图 核 心 语 言 和 推 理 结 构 知 识 库 机 的 结 构, 人 工 智 能 接 口 和 智 能 机 的 展 望 教 学 重 点 : 新 一 代 机 的 体 系 特 点 体 系 层 次 和 概 念 框 图 智 能 机 的 展 望 教 学 难 点 : 新 一 代 机 的 体 系 特 点 体 系 层 次 和 概 念 框 图 四 课 程 各 教 学 环 节 要 求 1. 课 堂 教 学 要 求 本 课 程 是 计 算 机 专 业 重 要 的 学 科 基 础 课 之 一, 具 有 很 强 的 理 论 性 和 实 践 性, 涉 及 的 概 念 很 多, 在 教 学 过 程 中, 安 排 课 后 作 业 应 侧 重 基 础 知 识 的 掌 握, 通 过 分 析 设 计 和 计 算 的 训 练, 以 巩 固 和 加 深 对 所 学 理 论 的 理 解 用 课 堂 讨 论 和 答 疑 来 活 跃 学 生 思 维, 解 决 同 学 疑 难 问 题, 培 养 学 生 兴 趣 期 末 总 成 绩 包 括 实 验 成 绩 期 中 测 试 成 绩 平 时 的 作 业 考 勤 和 课 堂 讨 论 及 25

期 末 闭 卷 考 试 成 绩 2. 实 验 环 节 要 求 上 机 实 验 和 实 际 操 作 实 验 相 结 合, 使 学 生 从 原 理 到 应 用 对 计 算 机 组 织 与 结 构 有 理 性 和 感 性 认 识 帮 助 学 生 对 基 本 概 念 基 本 原 理 和 技 术 的 理 解 与 掌 握 实 验 学 时 计 划 12 学 时, 安 排 6 个 必 做 的 基 本 实 验 单 元,2 人 一 组, 课 后 提 交 实 验 报 告 3. 习 题 要 求 每 部 分 教 学 内 容 结 束 后, 适 当 布 置 案 例 或 复 习 思 考 题, 重 点 考 核 学 生 对 基 本 概 念 基 本 知 识 的 掌 握 情 况, 学 生 对 基 本 原 理 的 理 解 程 度 及 运 用 能 力 五 学 时 分 配 序 号 主 要 内 容 讲 授 各 教 学 环 节 学 时 分 配 实 上 习 讨 课 验 机 题 论 外 小 计 作 业 批 改 备 注 1 计 算 机 系 统 概 述 2 2 2 计 算 机 的 逻 辑 部 件 6 2 8 3 运 算 方 法 和 运 算 部 件 6 4 10 4 主 存 储 器 6 2 8 5 指 令 系 统 6 6 6 中 央 处 理 器 10 2 12 7 存 储 系 统 4 4 8 辅 助 存 储 器 2 2 9 输 入 输 出 (I/O) 设 备 2 2 10 输 入 输 出 (I/O) 系 统 4 2 6 11 计 算 机 系 统 2 2 12 新 一 代 计 算 机 的 体 系 结 构 2 2 合 计 52 12 64 六 课 程 与 其 它 课 程 的 联 系 本 课 程 的 前 导 课 有 : 计 算 机 概 论 程 序 设 计 基 础 电 路 与 电 子 技 术 七 教 材 与 教 学 参 考 书 1. 计 算 机 组 成 与 结 构 ( 第 四 版 ), 王 爱 英, 清 华 大 学 出 版 社,2007.7 26

2. 计 算 机 组 成 原 理 与 系 统 结 构 实 验 教 程, 杨 小 龙, 西 安 电 子 科 技 大 学 出 版 社,2004.7 3. 计 算 机 组 成 与 系 统 结 构, 胡 越 明 主 编, 电 子 工 业 出 版 社,2002.6 27

数 据 库 系 统 原 理 课 程 教 学 大 纲 Database System Principles 总 学 时 数 : 64 学 分 数 : 4 其 中 : 实 验 ( 上 机 ) 学 时 : 18 适 用 专 业 : 软 件 工 程 执 笔 者 : 彭 义 春 ( 讲 师 ) 编 写 日 期 :2008.5 一 课 程 性 质 目 的 和 任 务 数 据 库 技 术 是 计 算 机 技 术 中 发 展 最 快 的 领 域 之 一, 也 是 应 用 最 广 泛 的 技 术 之 一, 它 已 成 为 计 算 机 信 息 系 统 与 应 用 系 统 的 核 心 技 术 和 重 要 基 础 数 据 库 系 统 原 理 课 程 是 软 件 工 程 专 业 的 专 业 必 修 课 程, 是 软 件 工 程 基 本 理 论 和 知 识 体 系 的 重 要 组 成 部 分, 是 一 门 理 论 性 和 实 践 性 都 很 强 的 课 程 本 课 程 的 教 学 目 的 有 两 个 : 第 一, 通 过 本 课 程 的 学 习, 使 学 生 理 解 掌 握 数 据 库 系 统 的 基 本 原 理 包 括 数 据 库 的 一 些 基 本 概 念, 各 种 数 据 模 型 的 特 点, 关 系 数 据 库 的 基 本 概 念,SQL 语 言, 关 系 数 据 理 论, 数 据 库 的 设 计 理 论 等 第 二, 通 过 本 课 程 的 学 习, 使 学 生 掌 握 数 据 库 应 用 系 统 的 设 计 开 发 方 法, 了 解 数 据 库 技 术 的 主 要 内 容 和 发 展 动 向, 了 解 数 据 库 管 理 系 统 软 件 的 研 究 内 容, 以 指 导 今 后 的 应 用 本 课 程 的 任 务 是 使 学 生 在 正 确 理 解 数 据 库 原 理 的 基 础 上, 熟 练 掌 握 主 流 数 据 库 管 理 系 统 SQL Server 的 应 用 技 术, 并 通 过 开 发 一 个 数 据 库 应 用 系 统 实 例, 使 学 生 具 有 一 定 的 数 据 库 应 用 系 统 的 设 计 开 发 能 力 二 课 程 教 学 的 基 本 要 求 1. 理 解 数 据 库 系 统 的 关 键 术 语 与 概 念 ; 2. 掌 握 常 用 的 数 据 模 型 ; 3. 掌 握 关 系 数 据 库 关 系 数 据 理 论 及 数 据 库 设 计 的 基 本 概 念 和 方 法 ; 4. 熟 练 掌 握 关 系 数 据 库 标 准 语 言 SQL 的 使 用 ; 5. 掌 握 数 据 库 的 恢 复 技 术 并 发 控 制 安 全 性 和 完 整 性 ; 6. 掌 握 主 流 数 据 库 管 理 系 统 SQL Server 的 应 用 技 术 ; 7. 了 解 数 据 库 技 术 的 发 展 水 平 和 发 展 趋 势 ; 8. 熟 悉 数 据 库 应 用 的 开 发 环 境 三 课 程 教 学 内 容 的 重 点 及 难 点 教 学 内 容 : 数 据 库 系 统 概 述, 实 体 联 系 数 据 模 型, 关 系 数 据 模 型,SQL 语 言 及 其 操 作, 数 据 库 的 保 护, 关 系 数 据 库 设 计 理 论, 数 据 库 应 用 设 计, 数 据 库 应 用 系 统 设 计 实 例, 主 流 数 据 库 产 品 工 具 及 比 较, 数 据 仓 库 与 数 据 挖 掘 及 数 据 库 新 进 展, 数 据 库 上 机 实 验 与 指 导 等 重 点 : 数 据 库 系 统 中 的 关 键 术 语 与 概 念, 实 体 联 系 数 据 模 型, 关 系 数 据 模 型,SQL 语 28

言 及 其 操 作, 数 据 库 的 保 护, 关 系 数 据 库 设 计 理 论, 数 据 库 应 用 设 计, 数 据 库 应 用 系 统 设 计 实 例, 数 据 库 上 机 实 验 与 指 导 难 点 : 实 体 联 系 模 型 ER 及 概 念 数 据 库 设 计, 关 系 代 数 与 关 系 运 算,SQL 存 储 过 程, 并 发 控 制, 函 数 依 赖, 关 系 模 式 的 规 范 形 式, 关 系 模 式 的 规 范 化, 数 据 流 程 图 (DFD) 设 计, ER 图 设 计, 关 系 模 式 建 立 与 优 化, 数 据 库 索 引 的 分 析 与 设 计, 数 据 仓 库 的 概 念, 数 据 挖 掘 技 术 1 绪 论 1.1 数 据 库 系 统 概 述 1.2 数 据 模 型 1.3 数 据 库 系 统 的 结 构 1.4 数 据 库 系 统 的 组 成 2 关 系 数 据 库 2.1 关 系 模 型 2.2 关 系 操 作 2.3 关 系 的 完 整 性 2.4 关 系 代 数 2.5 关 系 演 算 3 关 系 数 据 库 标 准 语 言 SQL 3.1 SQL 概 述 3.2 数 据 定 义 3.3 数 据 查 询 3.4 数 据 更 新 3.5 视 图 4 数 据 库 安 全 性 4.1 计 算 机 安 全 性 概 论 4.2 数 据 库 安 全 性 控 制 4.3 视 图 机 制 4.4 审 计 4.5 数 据 加 密 4.6 统 计 数 据 库 安 全 性 5 数 据 库 完 整 性 5.1 实 体 完 整 性 5.2 参 照 完 整 性 5.3 用 户 定 义 的 完 整 性 29

5.4 完 整 性 约 束 命 名 子 句 5.5 域 中 的 完 整 性 限 制 5.6 触 发 器 6 关 系 数 据 理 论 6. 1 规 范 化 7 数 据 库 设 计 7.1 数 据 库 设 计 概 述 7.2 需 求 分 析 7.3 概 念 结 构 设 计 7.4 逻 辑 结 构 设 计 7.5 数 据 库 物 理 设 计 7.6 数 据 库 的 实 施 与 维 护 8 数 据 库 编 程 8.1 嵌 入 式 SQL 8.2 存 储 过 程 8.3 ODBC 编 程 8.4 JDBC 编 程 9 关 系 查 询 处 理 和 查 询 优 化 9.1 关 系 数 据 库 系 统 的 查 询 处 理 9.2 关 系 数 据 库 系 统 的 查 询 优 化 9.3 代 数 优 化 9.4 物 理 优 化 10 数 据 库 恢 复 技 术 10.1 事 务 的 基 本 概 念 10.5 恢 复 策 略 10.6 具 有 检 查 点 的 恢 复 技 术 10.7 数 据 库 镜 像 11 并 发 控 制 11.1 并 发 控 制 概 述 11.2 封 锁 11.3 活 锁 和 死 锁 11.4 并 发 调 度 的 可 串 行 性 11.5 两 段 锁 协 议 11.6 封 锁 的 粒 度 30

四 课 程 各 环 节 要 求 数 据 库 技 术 是 计 算 机 科 学 技 术 中 发 展 最 快 的 领 域 之 一, 也 是 应 用 最 广 泛 的 技 术 之 一, 它 已 成 为 计 算 机 信 息 系 统 与 应 用 系 统 的 核 心 技 术 和 重 要 基 础 本 课 程 是 计 算 机 科 学 与 技 术 专 业 本 科 生 的 专 业 必 修 课 程, 具 有 很 强 的 理 论 性 和 实 践 性, 涉 及 的 概 念 很 多, 在 教 学 过 程 中, 应 该 安 排 多 种 习 题 上 机 实 验 和 课 程 设 计, 帮 助 学 生 对 基 本 概 念 基 本 原 理 和 技 术 应 用 的 理 解 与 掌 握 五 学 时 分 配 章 节 主 要 内 容 讲 授 各 教 学 环 节 学 时 分 配 上 实 习 讨 课 机 验 题 论 外 小 结 作 业 题 量 备 注 1 绪 论 4 4 6 2 关 系 数 据 库 4 2 6 4 3 关 系 数 据 库 标 准 语 言 SQL 12 8 20 6 4 数 据 库 安 全 性 4 1 5 2 5 数 据 库 完 整 性 2 1 3 2 6 关 系 数 据 理 论 4 4 2 7 数 据 库 设 计 4 2 6 3 8 数 据 库 编 程 4 4 8 2 9 关 系 查 询 处 理 和 查 询 优 化 2 2 2 10 数 据 库 恢 复 技 术 2 2 2 11 并 发 控 制 4 4 2 合 计 46 18 64 33 六 本 课 程 与 其 它 课 程 联 系 先 修 课 程 : 高 级 程 序 设 计 语 言 离 散 数 学 数 据 结 构 等 后 续 课 程 : 软 件 工 程 高 级 数 据 库 技 术 及 应 用 等 七 教 材 及 教 学 参 考 书 : 1. 数 据 库 系 统 概 论 ( 第 四 版 ), 王 珊, 萨 师 煊 编 著, 高 等 教 育 出 版 社,2006 年 2. 数 据 库 原 理 及 设 计, 陶 宏 才 主 编, 清 华 大 学 出 版 社,2004 年 3. SQL Server 2000 实 用 教 程, 范 立 南 刘 天 惠 等 编 著, 清 华 大 学 出 版 社,2004 年 4. 数 据 库 实 用 教 程 ( 第 二 版 ) 习 题 解 答, 丁 宝 康 等 编 著, 清 华 大 学 出 版 社,2004 年 31

计 算 机 网 络 课 程 教 学 大 纲 Computer Network 总 学 时 数 : 64 学 分 数 : 4 其 中 : 实 验 ( 上 机 ) 学 时 : 16(4) 适 用 专 业 : 软 件 工 程 执 笔 者 : 孙 军 科 ( 讲 师 ) 编 写 日 期 :2013.4 一 课 程 性 质 目 的 和 任 务 计 算 机 网 络 是 计 算 机 技 术 和 通 信 技 术 密 切 结 合 而 形 成 的 新 的 技 术 领 域, 是 当 今 计 算 机 界 公 认 的 主 流 技 术 之 一, 也 是 迅 速 发 展 并 在 信 息 社 会 中 得 到 广 泛 应 用 的 一 门 综 合 性 学 科 计 算 机 网 络 是 软 件 工 程 专 业 的 学 科 基 础 课 程 通 过 本 课 程 的 学 习, 使 学 生 能 够 对 网 络 技 术 有 一 个 系 统 全 面 的 了 解 ; 理 解 计 算 机 网 络 的 体 系 结 构 和 基 本 原 理, 尤 其 是 TCP/IP 协 议 簇 和 IEEE 802 系 列, 培 养 实 际 动 手 能 力 ; 使 学 生 初 步 掌 握 现 代 化 网 络 管 理 方 法 和 手 段, 为 今 后 能 够 进 行 计 算 机 网 络 开 发 与 管 理 和 局 域 网 的 组 建 规 划 和 管 理 打 下 良 好 基 础 二 课 程 教 学 的 基 本 要 求 在 学 习 本 课 程 内 容 前, 首 先 让 学 生 了 解 该 课 程 在 专 业 建 设 和 课 程 体 系 中 的 性 质 地 位 及 任 务, 熟 知 该 课 程 的 基 本 要 求 以 及 与 有 关 课 程 的 联 系 本 课 程 内 容 安 排 应 以 基 础 性 实 用 性 为 主, 力 图 在 阐 明 计 算 机 网 络 基 本 原 理 的 基 础 上, 注 重 理 论 联 系 实 际, 进 一 步 介 绍 当 今 最 新 的 网 络 技 术 和 流 行 的 网 络 产 品 要 求 学 生 能 够 应 用 本 课 程 中 规 定 的 多 个 知 识 点, 分 析 和 解 决 较 复 杂 的 应 用 问 题 三 课 程 教 学 内 容 重 点 及 难 点 第 一 部 分 : 计 算 机 网 络 概 论 教 学 内 容 : 计 算 机 网 络 的 形 成 与 发 展 过 程, 计 算 机 网 络 的 定 义 与 分 类, 组 成 与 结 构 计 算 机 网 络 拓 扑 结 构, 典 型 的 计 算 机 网 络 教 学 重 点 : 计 算 机 网 络 分 类 拓 扑 构 型 典 型 计 算 机 网 络 教 学 难 点 : 拓 扑 结 构 第 二 部 分 : 网 络 体 系 结 构 与 网 络 协 议 教 学 内 容 : 协 议 层 次 接 口 网 络 体 系 结 构,OSI 参 考 模 型,TCP/IP 参 考 模 型 网 络 协 议 标 准 化 组 织,RFC 文 档,Internet 协 议 标 准 的 制 定 过 程 教 学 重 点 : 网 络 体 系 结 构 OSI 参 考 模 型 TCP/IP 参 考 模 型 教 学 难 点 :OSI 参 考 模 型 网 络 体 系 结 构 第 三 部 分 : 物 理 层 教 学 内 容 : 物 理 层 协 议, 规 程, 数 据 通 信, 数 据 编 码 技 术, 基 带 传 输, 频 带 传 输 32

多 路 复 用 技 术, 广 域 网 中 的 数 据 交 换 技 术, 数 字 传 输 体 制, 同 步 数 字 体 系 SDH 教 学 重 点 : 数 据 通 信 数 据 编 码 技 术 多 路 复 用 技 术 教 学 难 点 : 多 路 复 用 SDH 数 字 传 输 体 制 第 四 部 分 : 数 据 链 路 层 教 学 内 容 : 数 据 传 输 过 程 中 差 错 产 生 的 原 因 与 性 质, 数 据 传 输 的 误 码 率, 信 道 利 用 率 停 止 等 待 协 议, 连 续 ARQ 协 议, 滑 动 窗 口, BSC HDLC PPP 教 学 重 点 :HDLC 停 止 等 待 协 议 滑 动 窗 口 教 学 难 点 : 滑 动 窗 口 第 五 部 分 : 介 质 访 问 控 制 子 层 教 学 内 容 : 局 域 网 拓 扑 结 构 的,IEEE 802 协 议, 以 太 网 基 本 工 作 原 理, 令 牌 环 网 FDDI 高 速 局 域 网, 交 换 局 域 网, 虚 拟 局 域 网, 网 桥 交 换 机, 无 线 局 域 网, 生 成 树 教 学 重 点 : 以 太 网 工 作 原 理 网 桥 工 作 原 理 教 学 难 点 : 网 桥 工 作 原 理 生 成 树 第 六 部 分 : 网 络 层 教 学 内 容 :IP 协 议 IP 地 址, 划 分 子 网 无 分 类 IP 网 络 规 划, 地 址 解 析 协 议 IP 分 组 的 转 发 原 理, 路 由 选 择 协 议, 第 三 层 交 换,Internet 控 制 报 文 协 议 组 管 理 协 议 教 学 重 点 :IP 地 址 划 分 子 网 无 分 类 IP 网 络 规 划 IP 分 组 转 发 原 理 教 学 难 点 : 组 管 理 协 议 ICMP 第 三 层 交 换 网 络 规 划 第 七 部 分 : 传 输 层 教 学 内 容 : 网 络 环 境 中 分 布 式 进 程 通 信,Client/Server 用 户 数 据 报 协 议 UDP 报 文 格 式 传 输 控 制 协 议 TCP 报 文 格 式,TCP 连 接 管 理,TCP 重 传 机 制,TCP 流 量 控 制,TCP 拥 塞 控 制, 网 络 编 程 教 学 重 点 :UDP 报 文 格 式 TCP 报 文 格 式 TCP 连 接 管 理 TCP 流 量 控 制 教 学 难 点 :TCP 连 接 管 理 拥 塞 控 制 网 络 编 程 第 八 部 分 : 应 用 层 教 学 内 容 : 域 名 系 统, 电 子 邮 件 系 统, 文 件 传 输 FTP 协 议,WWW 服 务,HTTP 协 议, telnet 协 议,HTML 教 学 重 点 : 域 名 系 统 电 子 邮 件 系 统 http 协 议 ftp 协 议 telnet 协 议 教 学 难 点 : 电 子 邮 件 系 统 telnet 协 议 第 九 部 分 : 网 络 安 全 与 网 络 管 理 技 术 教 学 内 容 : 密 码 体 制, 防 火 墙, 网 络 入 侵 检 测 与 防 攻 击, 网 络 文 件 备 份 与 恢 复, 网 络 病 33

毒 的 防 治, 网 络 管 理 教 学 重 点 : 网 络 管 理 防 火 墙 密 码 体 制 四 课 程 各 环 节 要 求 本 课 程 涉 及 的 概 念 多 协 议 多 内 容 多, 实 践 性 和 应 用 性 强, 知 识 更 新 快, 在 教 学 过 程 中 应 该 对 教 学 内 容 进 行 取 舍, 讲 透 基 础 知 识, 舍 弃 过 时 内 容, 将 最 新 发 展 的 理 论 和 技 术 融 入 到 理 论 教 学 中 同 时, 与 实 践 紧 密 结 合, 安 排 多 种 实 验 帮 助 学 生 掌 握 理 论 知 识 五 学 时 分 配 主 要 内 容 讲 授 各 教 学 环 节 学 时 分 配 实 上 习 讨 课 验 机 题 论 外 小 计 作 业 批 改 备 注 1 计 算 机 网 络 概 论 2 2 2 2 网 络 体 系 结 构 与 网 络 协 议 4 4 2 3 物 理 层 6 2 8 2 4 数 据 链 路 层 2 2 2 5 介 质 访 问 控 制 子 层 4 2 6 2 6 网 络 层 10 10 20 2 7 传 输 层 6 6 2 8 应 用 层 6 6 12 2 9 网 络 安 全 与 网 络 管 理 技 术 4 4 2 合 计 44 2 18 64 18 六 本 课 程 与 其 它 课 程 联 系 先 修 课 程 : 计 算 机 导 论 高 级 语 言 程 序 设 计 数 据 结 构 操 作 系 统 相 关 课 程 : 信 息 安 全 技 术 等 七 教 材 及 教 学 参 考 书 1 计 算 机 网 络 ( 第 五 版 ), 谢 希 仁, 电 子 工 业 出 版 社,2008 年 2 计 算 机 网 络, 吴 功 宜, 清 华 大 学 出 版 社,2007 年 3 计 算 机 网 络 自 顶 向 下 方 法 与 Internet 特 色,James F.Kurose Keith W.Ross, 陈 鸣 等 译, 机 械 工 业 出 版 社,2007 年 34

软 件 工 程 课 程 教 学 大 纲 Software Engineering 总 学 时 : 64 学 分 : 4 其 中 : 实 验 ( 上 机 ) 学 时 : 12 适 用 专 业 : 软 件 工 程 执 笔 者 : 白 晨 明 ( 讲 师 / 硕 士 ) 编 写 日 期 :2011.9 一 课 程 性 质 目 的 和 任 务 软 件 工 程 是 软 件 工 程 专 业 的 专 业 课 程 本 课 程 旨 在 使 学 生 掌 握 软 件 工 程 的 基 本 概 念 原 理 和 方 法, 从 软 件 开 发 技 术 软 件 工 程 管 理 和 软 件 工 程 环 境 等 几 个 方 面 了 解 如 何 将 系 统 的 规 范 化 的 和 可 以 度 量 的 工 程 方 法 运 用 于 软 件 开 发 和 维 护 中 要 求 学 生 通 过 本 门 课 的 学 习, 基 本 掌 握 结 构 化 方 法 面 向 对 象 方 法 等 软 件 开 发 技 术, 初 步 了 解 软 件 复 用 的 概 念 及 基 于 构 件 的 开 发 方 法, 同 时 对 软 件 工 程 管 理 和 环 境 等 内 容 有 一 个 总 体 的 了 解 二 课 程 教 学 的 基 本 要 求 1. 软 件 工 程 概 论 : 理 解 软 件 工 程 软 件 生 存 周 期 与 软 件 过 程, 软 件 过 程 模 型 问 题 解 决 和 范 型 2. 计 算 机 工 程 : 熟 悉 基 于 计 算 机 的 系 统 计 算 机 系 统 工 程 系 统 分 析 与 结 构 设 计, 学 会 可 行 性 研 究 文 档 其 他 系 统 描 述 方 法 3. 面 向 对 象 方 法 与 UML: 理 解 面 向 对 象 系 统 的 概 念 统 一 建 模 语 言 UML 概 述 UML 的 模 型 元 素 学 会 绘 制 UML 中 的 图 UML 的 元 模 型 结 构 UML 建 模 工 具 Rational Rose 4. 软 件 需 求 工 程 : 了 解 软 件 需 求 工 程 基 础 需 求 获 取, 传 统 的 分 析 建 模 方 法 面 向 对 象 的 分 析 建 模 方 法 原 型 化 方 法, 学 会 编 写 需 求 规 格 说 明 书 软 件 需 求 评 审 软 件 需 求 管 理 5. 软 件 设 计 工 程 : 了 解 软 件 设 计 的 目 标 与 准 则 软 件 设 计 工 程 的 任 务 创 建 良 好 设 计 的 原 则 传 统 的 面 向 过 程 的 设 计 方 法, 传 统 的 面 向 过 程 的 设 计 方 法 熟 悉 面 向 对 象 的 系 统 设 计, 对 象 设 计 处 理 过 程 设 计 软 件 设 计 规 格 说 明 软 件 设 计 评 审 6. 体 系 结 构 设 计 与 设 计 模 式 : 软 件 体 系 结 构 的 概 念 体 系 结 构 设 计 与 风 格 特 定 领 域 的 软 件 体 系 结 构 分 布 式 系 统 结 构 软 件 体 系 结 构 的 评 价 体 系 结 构 描 述 语 言 设 计 模 式 7. 软 件 实 现 : 软 件 实 现 的 过 程 与 任 务 程 序 设 计 方 法 概 述 编 程 风 格 与 编 码 标 准 编 程 语 言, 程 序 效 率 与 性 能 分 析 程 序 复 杂 性 8. 软 件 测 试 工 程 : 了 解 软 件 测 试 的 任 务 软 件 错 误 人 工 测 试 软 件 开 发 生 存 周 期 中 的 测 试 活 动, 熟 悉 面 向 对 象 的 测 试 单 元 测 试, 集 成 测 试, 系 统 测 试 程 序 调 试 9. 软 件 测 试 用 例 设 计 : 理 解 测 试 用 例 设 计 概 述, 熟 悉 软 件 测 试 用 例 设 计 方 法 白 盒 测 试 用 例 设 计 方 法, 黑 盒 测 试 用 例 设 计 方 法 单 元 测 试 用 例 设 计, 集 成 测 试 的 测 试 用 例 设 计 35

系 统 测 试 用 例 的 设 计 10. 软 件 维 护 : 熟 悉 软 件 维 护 的 概 念 软 件 维 护 的 活 动 程 序 修 改 的 步 骤 及 修 改 的 副 作 用, 理 解 面 向 对 象 软 件 的 维 护 软 件 可 维 护 性, 提 高 可 维 护 性 的 方 法 遗 留 系 统 的 再 工 程 11. 实 例 ---- 高 校 系 级 信 息 管 理 系 统 : 系 统 平 台 设 计 网 络 设 计 详 细 设 计 数 据 库 设 计 编 码 实 现 系 统 维 护 等 等 三 课 程 教 学 内 容 重 点 及 难 点 1 软 件 工 程 概 述 1.1 软 件 的 概 念 特 点 和 分 类 1.2 软 件 工 程 1.3 软 件 生 存 周 期 与 软 件 过 程 1.4 软 件 过 程 模 型 1.5 问 题 解 决 和 范 型 教 学 重 点 : 软 件 和 软 件 工 程 的 基 本 概 念 生 命 周 期 开 发 模 型 教 学 难 点 : 生 命 周 期 开 发 模 型 2 计 算 机 系 统 工 程 2.1 基 于 计 算 机 的 系 统 2.2 计 算 机 系 统 工 程 2.3 系 统 分 析 与 结 构 设 计 2.4 可 行 性 研 究 2.5 其 他 系 统 描 述 方 法 教 学 重 点 : 计 算 机 系 统 工 程 系 统 分 析 与 结 构 设 计 可 行 性 研 究 教 学 难 点 : 计 算 机 系 统 工 程 系 统 分 析 与 结 构 设 计 可 行 性 研 究 3 面 向 对 象 方 法 与 UML 3.1 面 向 对 象 系 统 的 概 念 3.2 统 一 建 模 语 言 UML 概 述 3.3 UML 的 模 型 元 素 3.4 UML 中 的 图 3.5 UML 的 元 模 型 结 构 3.6 UML 建 模 工 具 Rational Rose 教 学 重 点 : 面 向 对 象 方 法 与 UM 教 学 难 点 :UML 中 的 图 UML 的 元 模 型 结 构 4 软 件 需 求 工 程 4.1 软 件 需 求 工 程 基 础 4.2 需 求 获 取 36

4.3 传 统 的 分 析 建 模 方 法 4.4 面 向 对 象 的 分 析 建 模 方 法 4.4.6 需 求 规 格 说 明 4.7 软 件 需 求 评 审 4.8 软 件 需 求 管 理 教 学 重 点 : 软 件 需 求 工 程 面 向 对 象 的 分 析 建 模 方 法 需 求 规 格 说 明 教 学 难 点 : 面 向 对 象 的 分 析 建 模 方 法 需 求 规 格 说 明 5 软 件 设 计 工 程 5.1 软 件 设 计 的 目 标 与 准 则 5.2 软 件 设 计 工 程 的 任 务 5.3 创 建 良 好 设 计 的 原 则 5.4 传 统 的 面 向 过 程 的 设 计 方 法 5.5 面 向 对 象 的 系 统 设 计 5.6 对 象 设 计 5.7 处 理 过 程 设 计 5.8 软 件 设 计 规 格 说 明 5.9 软 件 设 计 评 审 教 学 重 点 : 面 向 对 象 的 系 统 设 计 软 件 设 计 规 格 说 明 教 学 难 点 : 面 向 对 象 的 系 统 设 计 软 件 设 计 规 格 说 明 6 体 系 结 构 设 计 与 设 计 模 式 6.1 软 件 体 系 结 构 的 概 念 6.2 体 系 结 构 设 计 与 风 格 6.3 特 定 领 域 的 软 件 体 系 结 构 6.4 分 布 式 系 统 结 构 6.5 软 件 体 系 结 构 的 评 价 6.6 体 系 结 构 描 述 语 言 6.7 设 计 模 式 教 学 重 点 : 体 系 结 构 设 计 与 设 计 模 式 教 学 难 点 : 分 布 式 系 统 结 构 设 计 模 式 7 软 件 实 现 7.1 软 件 实 现 的 过 程 与 任 务 7.2 程 序 设 计 方 法 概 述 7.3 编 程 风 格 与 编 码 标 准 7.4 编 程 语 言 37

7.5 程 序 效 率 与 性 能 分 析 7.6 程 序 复 杂 性 教 学 重 点 : 软 件 实 现, 过 程 与 任 务 教 学 难 点 : 程 序 设 计 方 法 编 程 风 格 与 编 码 标 准 8 软 件 测 试 工 程 8.1 软 件 测 试 的 任 务 8.2 软 件 错 误 8.3 人 工 测 试 8.4 软 件 开 发 生 存 周 期 中 的 测 试 活 动 8.5 面 向 对 象 的 测 试 8.6 单 元 测 试 8.7 集 成 测 试 8.8 系 统 测 试 8.9 程 序 调 试 教 学 重 点 : 软 件 开 发 生 存 周 期 中 的 测 试 活 动 面 向 对 象 的 测 试 教 学 难 点 : 单 元 测 试 集 成 测 试 系 统 测 试 程 序 调 试 9 软 件 测 试 用 例 设 计 9.1 测 试 用 例 设 计 概 述 9.2 软 件 测 试 用 例 设 计 方 法 9.3 白 盒 测 试 用 例 设 计 方 法 9.4 黑 盒 测 试 用 例 设 计 方 法 9.5 单 元 测 试 用 例 设 计 9.6 集 成 测 试 的 测 试 用 例 设 计 9.7 系 统 测 试 用 例 的 设 计 教 学 重 点 : 软 件 测 试 用 例 设 计 教 学 难 点 : 软 件 测 试 用 例 设 计 方 法 白 黑 盒 测 试 用 例 设 计 方 法 集 成 测 试 的 测 试 用 例 设 计 10 软 件 维 护 10.1 软 件 维 护 的 概 念 10.2 软 件 维 护 的 活 动 10.3 程 序 修 改 的 步 骤 及 修 改 的 副 作 用 10.4 面 向 对 象 软 件 的 维 护 10.5 软 件 可 维 护 性 10.6 提 高 可 维 护 性 的 方 法 38

10.7 遗 留 系 统 的 再 工 程 教 学 重 点 : 程 序 修 改 的 步 骤 及 修 改 的 副 作 用 面 向 对 象 软 件 的 维 护 教 学 难 点 : 面 向 对 象 软 件 的 维 护 四 课 程 各 环 节 要 求 本 课 程 是 一 门 理 论 与 实 际 相 结 合 的 课 程, 逻 辑 严 密, 须 辅 以 小 型 案 例 使 学 生 加 深 对 基 本 原 理 和 方 法 的 理 解 与 运 用, 培 养 分 析 问 题 的 能 力 不 定 期 进 行 课 堂 练 习 ( 小 测 验 ), 以 检 验 学 生 对 当 次 课 讲 授 内 容 的 理 解 和 掌 握 程 度, 同 时 也 作 为 考 核 学 生 出 勤 情 况 的 依 据 ; 布 置 一 定 量 的 课 后 思 考 题 和 练 习 题, 除 教 材 上 的 思 考 题 和 练 习 题 外, 每 章 都 补 充 一 些 练 习 题, 使 学 生 课 上 所 学 得 到 巩 固 课 程 总 评 成 绩 以 学 生 期 末 闭 卷 考 试 成 绩 占 70% 平 时 成 绩 占 30% 综 合 评 定 平 时 成 绩 根 据 作 业 提 问 小 测 验 案 例 分 析 等 情 况 来 评 定 五 学 时 分 配 章 节 教 学 内 容 各 教 学 环 节 学 时 分 配 讲 授 实 验 上 机 习 题 讨 论 课 外 小 计 1 软 件 工 程 概 述 4 4 2 2 计 算 机 系 统 工 程 4 4 2 3 面 向 对 象 方 法 与 UML 4 4 2 4 软 件 需 求 工 程 6 2 8 2 5 软 件 设 计 工 程 6 2 8 2 6 体 系 结 构 设 计 与 设 计 模 式 6 2 8 2 7 软 件 实 现 4 2 6 2 8 软 件 测 试 工 程 6 6 2 9 软 件 测 试 用 例 设 计 6 6 2 10 软 件 维 护 6 6 2 11 软 件 工 程 综 合 开 发 实 例 4 4 作 业 批 改 合 计 52 12 64 30 六 本 课 程 与 其 它 课 程 联 系 说 明 先 修 课 程 : 数 据 结 构, 操 作 系 统, 高 级 语 言 程 序 设 计 数 据 库 系 统 原 理 等 后 续 课 程 : 计 算 机 网 络 等 七 教 材 及 教 学 参 考 书 : 1. 实 用 软 件 工 程 ( 第 三 版 ) 殷 人 昆 郑 人 杰 等 编 著, 清 华 大 学 出 版 社,2011.10 2. 软 件 工 程 原 理 方 法 与 应 用 史 济 民 等 编 著 高 等 教 育 出 版 社 3. R.S.Pressman, Mc Graw Hill, Software Engineering:A Practitioner s Approach Fifth Edition, 机 械 工 业 出 版 社,2000 39

专 业 课 程 数 据 结 构 课 程 教 学 大 纲 Algorithm and Data Structures 总 学 时 : 64 学 分 : 4 其 中 : 实 验 ( 上 机 ) 学 时 : 24 适 用 专 业 : 软 件 工 程 执 笔 者 : 王 浩 亮 ( 讲 师 / 硕 士 ) 编 写 日 期 :2011.7 一 课 程 的 性 质 目 的 和 任 务 数 据 结 构 是 计 算 机 科 学 与 技 术 专 业 的 学 科 基 础 课 本 课 程 主 要 研 究 数 据 的 结 构 类 型 及 相 互 联 系, 定 义 其 规 范 的 处 理 方 法 既 是 一 般 程 序 设 计 的 基 础, 又 是 各 种 系 统 软 件 和 应 用 软 件 设 计 的 重 要 基 础 本 课 程 分 析 数 据 的 逻 辑 结 构 在 计 算 机 内 的 典 型 存 储 结 构 以 及 在 此 之 上 的 一 系 列 重 要 算 法 通 过 本 课 程 的 学 习, 使 学 生 学 会 数 据 组 织 的 方 法 和 把 现 实 世 界 的 问 题 在 计 算 机 内 部 加 以 表 示 的 方 法, 以 及 培 养 基 本 的 良 好 的 程 序 设 计 和 上 机 调 试 能 力 二 课 程 教 学 的 基 本 要 求 1. 绪 论 理 解 数 据 及 数 据 结 构 的 基 本 概 念 ; 了 解 抽 象 数 据 类 型 (ADT) 的 表 示 与 实 现 ; 理 解 算 法 的 概 念 并 掌 握 算 法 分 析 方 法 2. 线 性 表 了 解 线 性 表 的 概 念 及 类 型 定 义 ; 掌 握 顺 序 线 性 表 的 存 储 结 构 及 相 应 的 基 本 操 作 ; 掌 握 单 线 性 表 的 链 式 存 储 结 构 及 相 应 的 基 本 操 作 ; 了 解 循 环 链 表 和 双 向 链 表 的 存 储 结 构 及 相 应 的 基 本 操 作 ; 了 解 线 性 表 的 应 用 3. 栈 和 队 列 理 解 栈 的 概 念, 掌 握 顺 序 栈 链 栈 的 实 现 和 基 本 操 作 ; 了 解 栈 的 应 用 ; 理 解 队 列 的 概 念, 掌 握 循 环 顺 序 队 列 链 队 列 的 实 现 和 基 本 操 作, 了 解 队 列 的 应 用 4. 串 理 解 串 的 基 本 概 念 存 储 结 构 基 本 运 算 ; 了 解 串 的 表 示 和 实 现 5. 数 组 与 广 义 表 了 解 多 维 数 组 的 定 义, 掌 握 数 组 的 存 储 ; 掌 握 特 殊 矩 阵 的 压 缩 存 储 稀 疏 矩 阵 的 基 本 操 作 ; 掌 握 广 义 表 的 定 义 存 储 结 构 6. 树 和 二 叉 树 理 解 树 的 定 义 基 本 术 语 ; 掌 握 二 叉 树 的 定 义 性 质 存 储 结 构 二 叉 树 遍 历 的 思 想 和 40

算 法, 理 解 线 索 二 叉 树 ; 了 解 树 森 林 与 二 叉 树 的 相 互 转 换, 了 解 树 的 存 储 结 构, 了 解 树 森 林 的 遍 历 的 思 想 和 算 法 ; 掌 握 Huffman 树 及 其 构 造 思 想 方 法 7. 图 理 解 图 的 定 义 术 语 ; 掌 握 图 的 邻 接 矩 阵 表 示 法 邻 接 链 表 表 示 法 存 储 结 构 ; 掌 握 图 的 遍 历 的 思 想 算 法 ; 掌 握 图 的 最 小 生 成 树 Pim 算 法 和 Kruskal 算 法 ; 掌 握 最 短 路 径 的 思 想 算 法 ; 掌 握 拓 扑 排 序 算 法 关 键 路 径 的 思 想 和 算 法 8. 查 找 掌 握 顺 序 表 有 序 表 的 查 找, 掌 握 二 叉 排 序 树, 平 衡 二 叉 树 B- 树 和 B+ 树 ; 掌 握 散 列 表 的 查 找 思 想, 散 列 函 数 的 构 造 及 其 关 键 字 查 找 9. 排 序 掌 握 插 入 排 序 交 换 排 序 选 择 排 序 的 各 种 算 法 ; 了 解 归 并 排 序 基 数 排 序 算 法 10. 文 件 理 解 文 件 顺 序 文 件 索 引 文 件 和 直 接 存 取 文 件 的 基 本 概 念 思 想 ; 了 解 索 引 顺 序 文 件 和 多 关 键 字 文 件 三 课 程 的 教 学 内 容 重 点 和 难 点 1. 绪 论 1.1 数 据 及 数 据 结 构 的 基 本 概 念 1.2 抽 象 数 据 类 型 (ADT) 的 表 示 与 实 现 1.3 算 法 与 算 法 分 析 教 学 重 点 : 数 据 及 数 据 结 构 的 基 本 概 念, 算 法 与 算 法 分 析 2. 线 性 表 2.1 线 性 表 的 类 型 定 义 2.2 线 性 表 的 顺 序 表 示 和 实 现 2.3 线 性 表 的 链 式 表 示 和 实 现 ( 单 链 表 循 环 链 表 双 向 链 表 ) 2.4 线 性 表 的 应 用 教 学 重 点 : 线 性 表 的 顺 序 存 储 结 构 及 相 应 的 基 本 操 作 ; 线 性 链 表 的 结 构 及 相 应 的 基 本 操 作 教 学 难 点 : 顺 序 线 性 表 的 基 本 操 作 ; 线 性 链 表 的 基 本 操 作 3. 栈 和 队 列 3.1 栈 定 义 3.2 栈 的 两 种 存 储 结 构 及 操 作 的 实 现 3.3 栈 的 应 用 3.4 队 列 定 义 41

3.5 队 列 的 两 种 存 储 结 构 及 操 作 的 实 现 3.6 队 列 的 应 用 教 学 重 点 : 栈 的 定 义, 顺 序 栈 链 栈 的 实 现 和 基 本 操 作 ; 队 列 的 定 义, 顺 序 队 列 链 队 列 的 实 现 和 基 本 操 作 ; 栈 队 列 的 应 用 教 学 难 点 : 链 栈 的 基 本 操 作 ; 循 环 顺 序 队 列 的 基 本 操 作 4. 串 4.1 串 的 基 本 概 念 4.2 串 的 存 储 结 构 4.3 串 的 基 本 运 算 4.4 串 的 应 用 教 学 重 点 : 串 的 存 储 结 构 基 本 运 算 5. 数 组 与 广 义 表 5.1 数 组 的 定 义 5.2 数 组 的 顺 序 表 示 和 实 现 5.3 矩 阵 的 压 缩 存 储 5.4 广 义 表 的 定 义 及 其 存 储 结 构 教 学 重 点 : 数 组 的 顺 序 表 示 和 实 现, 矩 阵 的 压 缩 存 储 稀 疏 矩 阵 的 基 本 操 作, 广 义 表 的 定 义 存 储 结 构 教 学 难 点 : 矩 阵 的 压 缩 存 储 稀 疏 矩 阵 的 基 本 操 作 6. 树 和 二 叉 树 6.1 树 的 定 义 和 基 本 术 语 6.2 二 叉 树 定 义 与 性 质 以 及 存 储 结 构 6.3 遍 历 二 叉 树 和 线 索 二 叉 树 6.4 树 和 森 林 6.5 哈 夫 曼 树 及 其 应 用 教 学 重 点 : 树 的 定 义 基 本 术 语 ; 二 叉 树 的 定 义 性 质 存 储 结 构 二 叉 树 遍 历 的 思 想 和 算 法, 线 索 二 叉 树 ;Huffman 树 及 其 构 造 思 想 方 法 教 学 难 点 : 二 叉 树 遍 历 的 思 想 和 算 法, 线 索 二 叉 树 ;Huffman 树 及 其 构 造 思 想 方 法 7. 图 7.1 图 的 定 义 与 术 语 7.2 图 的 存 储 结 构 7.3 图 的 遍 历 7.4 图 的 连 通 性 问 题 42

7.5 有 向 无 环 图 及 其 应 用 7.6 最 短 路 径 教 学 重 点 : 图 的 定 义 术 语 和 图 的 数 组 表 示 法 邻 接 链 表 法 存 储 结 构 ; 最 小 生 成 树 的 思 想 ; 拓 扑 排 序 关 键 路 径 最 短 路 径 的 思 想 算 法 教 学 难 点 : 拓 扑 排 序 关 键 路 径 最 短 路 径 的 思 想 算 法 8. 查 找 8.1 静 态 查 找 表 8.2 动 态 查 找 表 8.3 散 列 表 及 其 查 找 教 学 重 点 : 顺 序 表 有 序 表 的 查 找, 二 叉 排 序 树, 散 列 表 的 思 想 及 其 查 找 教 学 难 点 : 二 叉 排 序 树, 散 列 表 的 思 想 及 其 查 找 9. 内 部 排 序 9.1 插 入 排 序 9.2 快 速 排 序 9.3 选 择 排 序 9.4 归 并 排 序 9.5 基 数 排 序 教 学 重 点 : 直 接 插 入 排 序 简 单 选 择 排 序 希 尔 排 序 快 速 排 序 堆 排 序 教 学 难 点 : 希 尔 排 序 快 速 排 序 堆 排 序 10. 文 件 10.1 文 件 的 基 本 概 念 10.2 顺 序 文 件 和 索 引 文 件 10.3 索 引 顺 序 文 件 10.4 直 接 存 取 文 件 教 学 重 点 : 文 件 顺 序 文 件 索 引 文 件 和 直 接 存 取 文 件 的 基 本 概 念 思 想 四 课 程 各 教 学 环 节 要 求 本 课 程 总 学 时 64, 其 中 上 机 24 机 时, 讲 课 40 学 时 课 堂 教 学 : 课 堂 教 学 的 学 时 为 40 学 时, 采 用 多 媒 体 教 学 手 段 以 完 成 教 学 任 务 作 业 : 为 使 学 生 较 好 地 理 解 和 掌 握 本 课 程 中 每 一 章 的 主 要 教 学 内 容, 都 安 排 了 一 定 的 作 业 量 根 据 每 一 章 的 重 要 程 度 不 同 安 排 不 同 数 量 的 作 业, 本 课 程 要 求 学 生 完 成 70 道 左 右 的 作 业 题 习 题 课 : 为 使 学 生 较 好 地 理 解 和 掌 握 本 课 程 中 的 基 本 概 念 思 想 和 操 作 的 实 现, 针 对 学 生 作 业 中 的 问 题 安 排 习 题 课, 习 题 课 时 为 6 学 时 43

上 机 实 验 : 本 课 程 计 划 内 安 排 上 机 实 验 24 学 时, 学 生 还 必 须 用 一 定 的 课 外 上 机 时 间 才 能 完 成 所 布 置 的 上 机 内 容 考 试 : 本 课 程 的 考 试 方 式 为 闭 卷 考 试, 主 要 考 察 学 生 对 基 本 概 念 算 法 算 法 实 现 的 理 解 和 掌 握 情 况 五 学 时 分 配 章 节 主 要 内 容 讲 授 各 教 学 环 节 学 时 分 配 实 上 习 讨 课 验 机 题 论 外 小 计 作 业 批 改 备 注 1 绪 论 2 2 2 线 性 表 4 2 6 3 3 栈 和 队 列 4 4 8 6 4 串 2 2 2 5 数 组 与 广 义 表 4 2 6 4 6 树 和 二 叉 树 8 4 10 9 7 图 6 4 10 13 8 查 找 4 4 8 8 9 内 部 排 序 4 4 8 6 10 文 件 2 2 2 合 计 40 24 64 66 六 课 程 与 其 它 课 程 的 联 系 先 修 课 程 : 高 等 数 学 高 级 语 言 程 序 设 计 后 续 课 程 : 编 译 原 理 操 作 系 统 数 据 库 系 统 原 理 计 算 机 网 络 七 教 材 与 教 学 参 考 书 1. 数 据 结 构 (C 语 言 版 ), 严 蔚 敏 李 冬 梅 吴 伟 民, 人 民 邮 电 出 版 社,2011 年 2 月 2. 数 据 结 构, 严 蔚 敏 吴 伟 民 编 著, 清 华 大 学 出 版 社,2007 年 4 月 3. 数 据 结 构 习 题 与 解 析 (C 语 实 言 版 ), 李 春 葆, 清 华 大 学 出 版 社,2007 年 44

操 作 系 统 课 程 教 学 大 纲 Operating System 总 学 时 : 64 学 分 : 4 其 中 : 实 验 ( 上 机 ) 学 时 :16 适 用 专 业 : 软 件 工 程 执 笔 者 : 彭 义 春 ( 讲 师 / 硕 士 ) 编 写 日 期 :2008.1 一 课 程 性 质 目 的 和 任 务 本 课 程 是 软 件 工 程 专 业 的 学 科 基 础 课 程, 是 计 算 机 科 学 与 技 术 学 科 基 本 理 论 和 知 识 体 系 的 重 要 组 成 部 分 通 过 课 程 的 学 习, 学 生 可 以 理 解 操 作 系 统 的 工 作 原 理, 了 解 它 的 设 计 与 实 现, 掌 握 操 作 系 统 的 使 用 接 口, 掌 握 基 本 的 系 统 程 序 设 计 技 术 学 生 还 可 以 从 课 程 中 学 到 许 多 软 件 设 计 的 思 想 技 术 和 方 法, 用 于 计 算 机 应 用 的 其 他 领 域, 如 并 发 程 序 设 计 算 法 设 计 与 实 现 安 全 及 网 络 管 理 等 二 课 程 教 学 的 基 本 要 求 1. 操 作 系 统 概 述 掌 握 操 作 系 统 基 本 概 念 操 作 系 统 在 计 算 机 系 统 中 的 功 能 与 地 位 操 作 系 统 的 用 户 接 口 ; 了 解 操 作 系 统 的 发 展 历 史 ; 了 解 操 作 系 统 类 型 和 特 征 2. 进 程 管 理 与 处 理 机 调 度 掌 握 进 程 的 基 本 概 念 进 程 的 状 态 及 其 转 换 ; 掌 握 进 程 控 制 基 本 技 术, 理 解 进 程 调 度 原 理 和 常 用 的 进 程 调 度 算 法 ; 掌 握 进 程 间 通 信 基 本 概 念, 掌 握 消 息 通 信 共 享 内 存 区 管 道 等 进 程 间 通 信 机 制 ; 掌 握 进 程 同 步 与 互 斥 的 基 本 概 念, 理 解 进 程 互 斥 的 硬 件 和 纯 软 件 算 法, 掌 握 信 号 灯 和 PV 操 作 的 进 程 间 同 步 互 斥 的 基 本 概 念, 理 解 软 中 断 的 基 本 概 念 和 使 用 丰 富 ; 理 解 死 锁 问 题 ; 了 解 线 程 技 术 3. 存 储 管 理 理 解 操 作 系 统 存 储 管 理 概 念 和 基 本 功 能 ; 理 解 分 区 式 存 储 管 理 的 基 本 概 念, 掌 握 可 变 分 区 存 储 分 配 和 回 收 算 法 ; 理 解 覆 盖 交 换 和 虚 拟 存 储 器 的 概 念 和 基 本 原 理 ; 掌 握 分 页 式 存 储 管 理 技 术, 掌 握 虚 拟 地 址 转 换 的 原 理 ; 掌 握 常 用 页 面 淘 汰 算 法 ; 理 解 分 段 式 存 储 管 理 概 念, 了 解 段 页 式 存 储 管 理 的 基 本 原 理 ; 理 解 局 部 性 原 理 和 存 储 抖 动 现 象 4. 设 备 管 理 理 解 设 备 与 设 备 管 理 概 念 ; 理 解 I/O 控 制 方 式 和 中 断 技 术 ; 掌 握 常 见 磁 盘 调 度 算 法 ; 理 解 缓 冲 技 术 ; 掌 握 设 备 驱 动 程 序 开 发 技 术 5. 文 件 系 统 理 解 文 件 系 统 的 基 本 概 念 和 文 件 系 统 的 功 能 ; 理 解 文 件 的 逻 辑 结 构 和 物 理 结 构 ; 理 解 文 件 存 储 空 间 的 管 理 技 术 ; 掌 握 文 件 目 录 的 管 理 方 法 和 文 件 的 存 取 控 制 ; 掌 握 文 件 存 取 操 作 和 45

系 统 调 用 ; 了 解 Linux 文 件 系 统 技 术 三 课 程 教 学 内 容 重 点 及 难 点 1 操 作 系 统 引 论 1.1 操 作 系 统 的 目 标 与 作 用 1.2 操 作 系 统 的 发 展 过 程 1.3 操 作 系 统 的 基 本 特 征 1.4 操 作 系 统 的 主 要 功 能 1.5 操 作 系 统 的 结 构 设 计 教 学 重 点 : 操 作 系 统 概 念 操 作 系 统 地 位 与 作 用 教 学 难 点 : 操 作 系 统 概 念 2 进 程 管 理 2.1 进 程 的 基 本 概 念 2.2 进 程 的 控 制 2.3 进 程 同 步 2.4 经 典 进 程 的 同 步 问 题 2.5 进 程 通 信 2.6 线 程 教 学 重 点 : 进 程 概 念 进 程 的 状 态 及 其 转 换 进 程 控 制 进 程 调 度 进 程 同 步 与 互 斥 进 程 间 通 信 死 锁 问 题 教 学 难 点 : 进 程 概 念 进 程 控 制 经 典 进 程 的 同 步 问 题 3 处 理 机 调 度 与 死 锁 3.1 处 理 机 调 度 的 基 本 概 念 3.2 调 度 算 法 3.3 实 时 调 度 3.4 多 处 理 机 系 统 中 的 调 度 3.5 产 生 死 锁 的 原 因 和 必 要 条 件 3.6 预 防 死 锁 的 方 法 3.7 死 锁 的 检 测 与 解 除 教 学 重 点 : 调 度 算 法 产 生 死 锁 的 原 因 和 必 要 条 件 教 学 难 点 : 银 行 家 算 法 4 存 储 器 管 理 4.1 存 储 器 的 层 次 结 构 4.2 程 序 的 装 入 和 链 接 4.3 连 续 分 配 方 式 46