軟件技術(shù)基礎(chǔ)

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

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