南京大学计算机科学与技术系：《程序设计（C++）》课程教学资源（PPT讲稿，基础篇）10 f函数式、逻辑式程序设计 unctional & logic programming

4.1 Windows Server系统 4.2 活动目录的逻辑结构 4.3 DNS与DHCP服务 4.4 实训 小结

南京大学：《计算机问题求解》课程教学资源（课件讲稿）常用的证明方法及其逻辑正确性

6.1 概述 6.2 需求分析 6.3 概念结构设计 6.4 逻辑结构设计 6.5 物理结构设计 6.6 数据库的实现 6.7 数据库的运行与维护

南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）常用证明方法及其逻辑正确性

南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）常用证明方法及其逻辑正确性

南京大学：《程序设计（C++）》课程教学资源（PPT课件讲稿，高级篇）10 函数式&逻辑式程序设计（functional & logic programming）

4.1 引言 4.2 逻辑设计的一般方法 4.3 建立数据通路 4.4 一个简单的实现机制 4.5 多周期实现机制

本章主要阐述的是Windows 2000 Server中活动目录的功能、逻辑结构和物理结构

3.1 电子商务系统分析 3.2 业务流程重构 3.3 电子商务系统逻辑模型的建立 3.4 系统分析报告 3.5 补充内容