軟件技術基礎

前言
第一章 教材與教學
1.1 本課程的知識結構組成
1.2 離散數學
1.3 數據結構與算法設計
1.4 C++語言
1.5 學習要求和方法
1.6 附錄多媒體光盤
1.7 軟件技術教育
思考題：
第二章 命題邏輯
2.1 邏輯命題
2.1.1 命題
2.1.2 復合命題
2 命題公式與真值表
2.2.1 命題公式
2.2.2 真值表
2.2.3 永真式、永假式、可滿足公式
2.3 命題演算
2.3.1 命題公式的化簡
2.3.2 命題推理規(guī)則與方法
2.4 命題模型
2.4.1命題建模
2.4.2 命題模型推理（選讀）
習題：
第三章 謂詞邏輯
3.1 謂詞命題和謂詞公式演算
3.1.1 謂詞、個體詞、量詞
3.1.2 謂詞公式演算
3.2 謂詞模型
3.2.1謂詞建模
3.2.2 謂詞模型推理
習題：
第四章 集合論
4.1 集合的概念
4.1.1 集合
4.1.2 集合的描述方法
4.1.3 集合間的關系
4.2 集合運算
4.2.1 集合的運算
4.2.2 集合的運算定律
4.3 集合模型
4.3.1 用集合分類
4.3.2 集合命題推理（選讀）
4.4 集合基數推理(選讀)
習題：
第五章 圖論
5.1 圖與樹
5.1.1 圖(Graph)
5.1.2 圖的性質
5.1.3 完全圖和子圖
5.1.4 圖的同構
5.1.5 平面圖
5.1.6 有權圖和網絡
5.1.7 樹、根樹
5.1.8 二叉樹 (binary tree)
5.2 圖的運算
5.2.1 圖的連通性
5.2.2 歐拉回路
5.2.3 哈密頓回路
5.2.4 生成樹(spanning tree) 和最小生成樹（MST）
5.2.5 Dijkstra算法
5.2.6 圖結點的遍歷
5.2.7 樹的遍歷
5.2.8 二叉樹的遍歷
5.3 圖論建模
5.3.1 用圖表示網絡關系
5.3.2 用樹表示層次關系
5.3.3 搜索樹（Search Tree）
習題：
第六章 C++編程作業(yè)入門
6.1 程序編寫作業(yè)概述
6.1.1 編程語言
6.1.2 編譯程序與編譯作業(yè)流程
6.2 用VC++編譯器進行編程作業(yè)
6.2.1 建立VC++項目
6.2.2 編輯源代碼文件
6.2.3 編譯和查錯
6.2.4 Link和運行程序
6.2.5 項目的關閉和再打開
6.2.6 向項目中添加文件和從項目中刪除文件
6.3 C++語言詞法概要
6.3.1 Token
6.3.2 punctuator（標點符號）
6.3.3 keyword（關鍵詞）
6.3.4 identifier（標識符）
6.3.5 Literals（常數）
6.3.6 operator（運算符）
6.3.7 comments（注釋）
6.4 C++語言句法（syntax）概要
6.4.1 Definitions（定義語句）
6.4.2 數據類型的轉換和導出數據類型
6.4.3 導出數據類型
6.4.4 Function和Function Call （函數和函數調用機制）
6.4.5 Expressions（運算式）
6.4.6 程序控制語句
6.4.7 應用數理邏輯設計程序控制語句
6.4.8 pointer（指針）變量
6.4.9 字符串的運算
6.4.10 數據的輸入、輸出
習題：
第七章 用Class（類）編寫面向對象的程序
7.1 C++語言中的class概念
7.1.1 概述
7.1.2 Class Definition
7.1.3 Constructor和Destructor
7.1.4 成員函數的定義與調用
7.1.5 Reference數據類型和左值成員函數
7.1.6 成員函數的重載與運算符成員函數
7.1.7 Case－Study：用class解線性方程組
7.2 面向對象程序設計方法與class
7.2.1 人的抽象思維方法
7.2.2 數據的聚集
7.2.3 Class的繼承
7.2.4 按Class劃分程序模塊
習題：
第八章 用Class Template（類模板）實現線性數據結構
8.1 Class Template
8.1.1 數據結構和離散數學
8.1.2 固定長度List（序列）的模板
8.1.3 模板的實例化（instantiation）
8.1.4 長度可自動改變的List模板
8.1.5 List模板三
8.1.6 Linked List
8.2 矢量、矩陣和線性方程組的C++模板
8.2.1 矢量和矩陣的數學概念
8.2.2 矢量和矩陣的模板
8.2.3 CaseStudy: 用矩陣模板解線性方程組的解
8.3 Sort（排序）和Search(檢索)
8.3.1 Bubble Sort 與Function Template（函數模板）
8.3.2 Binary Search
8.3.3 Insertion Sort（插入排序）
8.4 Queue（隊列）和Stack（堆棧）
8.4.1 Stack模板
8.4.2 Queue模板
習題：
第九章 編程作業(yè)全過程
9.1軟件系統(tǒng)開發(fā)過程
9.1.1 系統(tǒng)分析、系統(tǒng)設計、系統(tǒng)實施
9.1.2 UML方法
9.2 用Class Diagram建立數據模型
9.2.1 Object和class （對象和類）
9.2.2 Attributes（屬性）
9.2.3 Operation（運算）
9.2.4 class的圖形表示
9.2.5 Association(關聯)
9.2.6 Associative Class（關聯類）
9.2.7 Association的約束
9.2.8 對象的繼承
9.2.9 對象的聚集（Aggregation）
9.2.10 CaseStudy：學籍管理系統(tǒng)的數據模型
9.3 由數據模型設計C++程序
9.3.1 class的C++定義
9.3.2 Inheritance的C++定義
9.3.3 Aggregation的C++定義
9.3.4 Association的C++定義
9.3.5 通過計算獲取冗余信息
9.4 數據模型的一致性和完整性
9.4.1 數據模型的概念一致性
9.4.2 數據一致性和完整性的動態(tài)維護
9.5 用戶界面的設計
9.5.1用戶界面的作用
9.5.2 Use Case Digram（USD）
9.5.3 設計用戶菜單
9.5.4 驗證用戶輸入
9.5.5 人性化的輸出
9.6 程序的檢測
9.6.1 程序錯誤的種類和原因
9.6.2 程序運行檢測步驟
9.6.3 用VC++Debug功能調試程序
9.6.4 測試數據的制備
9.7編程作業(yè)的文檔工作
習題：
第十章 樹和圖的C++模板
10.1 根樹模板
10.1.1 根樹的數據模型和C++模板
10.1.2 根樹的廣度優(yōu)先遍歷函數
10.1.3 根樹的深度優(yōu)先遍歷函數
10.1.4 求根樹中所有路徑
10.2 二叉樹
10.2.1 二叉樹的數據模型和C++模板
10.2.2 二叉樹的遍歷算法
10.2.3 二叉檢索樹簡介
10.3 Recursion（遞歸）
10.3.1 遞歸的數學概念
10.3.2 遞歸算法的化解(選讀)
10.4 圖的C++模板和程序
10.4.1 圖的數據模型和C++模板
10.5 無向的最小費用生成樹和Kruskal算法
習題：

第十一章 課程作業(yè)
11.1 課程作業(yè)一：學籍管理系統(tǒng)
11.1.1 根據系統(tǒng)數據模型設計C++類定義
11.1.2 定義管理實例的序列
11.1.3 完成USD
11.1.4 設計菜單函數
11.1.5 設計交互式數據輸入函數
11.1.6 劃分程序模塊
11.1.7測試程序
11.1.8 編寫完整的文檔
11.2 課程作業(yè)二：五子棋游戲
11.2.1 程序工作原理分析
11.2.2 數據建模
11.2.3 函數GameOver()的實現
11.2.4 顯示棋盤、棋子的函數
11.2.5 主函數控制邏輯
11.2.6 產生棋著的算法
參考文獻：
附錄一：部分章節(jié)習題答案
附錄二：如何閱讀用形式文法描述的C++語法規(guī)則