中文名: 軟件技術基礎：離散數學、數據結構、C++編程實訓
作者: 來可偉
圖書分類: 科技
資源格式: PDF
版本: 文字版
出版社: 高等教育出版社
書號: 7040147653
發行時間: 2004年05月
地區: 大陸
語言: 簡體中文
簡介:

內容簡介：
本書是教育部新世紀高職高專教育人才培養模式和教學內容體系改革與建設項目成果，是組織有關教育部高職高專教育專業教學改革試點院校編寫的。
本教材系統地介紹了離散數學、數據結構、C++語言編程三個領域的知識。在理論方面，將離散數學作為編程技術必要的數學常識進行了深入淺出的介紹，以培養學員將實際問題抽象為數學表達式的抽象思維能力。在實驗技能方面，采用基於案例(case—based)的方式，通過完整的編程全過程練習，使學員能按現代軟件工業一線編程人員的要求掌握編程的基本技能，養成良好的規范化作業的習慣。
教材對各種常見數據結構采用了基於C++語言類模板的實現方法，不但方法新穎、充分體現基礎理論對編程的指導作用，而且有很高的實用價值。
本書適合於高等職業學校、高等專科學校、成人高校、示范性軟件職業技術學院、本科院校舉辦的二級職業技術學院，也適合本科院校、繼續教育學院、民辦高校及技能型緊缺人才使用，還可供計算機專業人員和愛好者參考使用。
內容截圖：

目錄:
第1章 緒論
1．1 本課程的知識結構
1．2 離散數學
1．3 數據結構與算法設計
1．4 C++語言
1．5 學習要求和方法
1．6 書後配盤
1．7 軟件技術教育
習題
第2章 命題邏輯
2．1 命題邏輯的基本概念
2．1．1 命題
2．1．2 復合命題
2．2 命題公式與真值表
2．2．1 命題公式
2．2．2 真值表
2．2．3 永真式、永假式及可滿足公式
2．3 命題演算
2．3．1 命題公式的化簡
2．3．2 命題推理規則與方法
2．4 命題模型
2．4．1 命題建模
2．4．2 命題模型推理
習題
第3章 謂詞邏輯
3．1 謂詞命題和謂詞公式演算
3．1．1 謂詞和個體詞
3．1．2 量詞
3．1．3 謂詞公式演算
3．2 謂詞模型
3．2．1 謂詞建模
3．2．2 謂詞推理
習題
第4章 集合論
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章 圖論
5．1 圖與樹
5．1．1 圖
5．1．2 圖的性質
5．1．3 完全圖和子圖
5．1．4 圖的同構
5．1．5 平面圖
5．1．6 有權圖和網絡
5．1．7 樹和根樹
5．1．8 二叉樹
5．2 圖的運算
5．2．1 圖的連通性
5．2．2 歐拉回路
5．2．3 哈密頓回路
5．2．4 生成樹和最小費用生成樹
5．2．5 狄克斯特算法
5．2．6 圖的遍歷
5．2．7 樹的遍歷
5．2．8 二叉樹的遍歷
5．3 圖論建模
5．3．1 用圖表示網絡關系
5．3．2 用樹表示分類的層次關系
5．3．3 搜索樹
習題
第6章 C++編程作業入門
6．1 程序編寫作業概述
6．1．1 編程語言
6．1．2 編譯器與編譯作業流程
6．2 用VC++編譯器進行編程作業
6．2．1 建立VC++項目
6．2．2 編輯源代碼文件
6．2．3 編譯和查錯
6．2．4 連編和運行程序
6．2．5 項目的關閉和再打開
6．2．6 向項目中添加文件和從項目中刪除文件
6．3 C++語言詞法概要
6．3．1 基本詞匯
6．3．2 標點符號
6．3．3 關鍵詞
6．3．4 標識符
6．3．5 常數
6．3．6 運算符
6．3．7 注釋
6．4 C++語言句法概要
6．4．1 定義語句
6．4．2 數據類型的轉換
6．4．3 導出數據類型
6．4．4 函數和函數調用機制
6．4．5 運算式
6．4．6 程序控制語句
6．4．7 應用數理邏輯設計程序控制語句
6．4．8 指針變量
6?4．9 字符串的運算
6．4．10 數據的輸入輸出函數
習題
第7章 用類編寫面向對象的程序
7．1 C++語言中類的概念
7．1．1 概述
7．1．2 類定義
7．1．3 構造函數和析構函數
7．1．4 成員函數的定義與調用
7．1．5 引用數據類型和左值成員函數
7．1．6 成員函數的重載與運算符成員函數
7．1．7 案例——用類的運算符函數解線性方程組
7．2 面向對象程序設計方法與C++的類
7．2．1 人的抽象思維方法
7．2．2 C++的類的聚集機制
7．2．3 C++的類的繼承機制
7．2．4 按C++的類劃分程序模塊
習題
第8章 用類模板實現線性數據結構
8．1 類模板
8．1．1 數據結構和離散數學
8．1．2 固定長度的List模板
8．1．3 模板的實例化
8．1．4 長度可自動改變的List模板
8．1．5 List模板三
8．1．6 Linked List
8．2 矢量、矩陣和線性方程組的C++模板
8．2．1 矢量和矩陣的數學概念
8．2．2 矢量和矩陣的模板
8．3 排序和檢索
8．3．1 氣泡法排序和函數模板
8．3．2 對分檢索法
8．3．3 插入排序
8．4 隊列和堆棧
8．4．1 Stack模板
8．4．2 Queue模板
習題
第9章 編程作業全過程
9．1 軟件系統開發過程
9．1．1 系統分析、系統設計和系統實施
9．1．2 UML方法
9．2 用類圖建立數據模型
9．2．1 類和實例
9．2．2 屬性
9．2．3 運算
9．2．4 類的圖形表示
9．2．5 關聯
9．2．6 關聯類
9．2．7 關聯的約束
9．2．8 繼承
9．2．9 聚集
9．2．10 案例——學籍管理系統的數據模型
9．3 由數據模型設計C++程序
9．3．1 類的映射規則
9．3．2 繼承的映射規則
9．3．3 聚集的映射規則
9．3．4 關聯的映射規則
9．3．5 關聯類的映射規則
9．3．6 通過計算獲取冗余信息
9．4 數據模型的一致性和完整性
9．4．1 數據模型的概念一致性
9．4．2 數據一致性和完整性的動態維護
9．5 用戶界面的設計
9．5．1 用戶界面的作用
9．5．2 UCD
9．5．3 設計用戶菜單
9．5．4 驗證用戶輸入
9．5．5 輸出數據的可讀性
9．6 程序的檢測
9．6．1 程序錯誤的種類和原因
9．6．2 程序運行檢測步驟
9．6．3 用VC++編譯器的調試功能跟蹤程序運行過程
9．6．4 測試數據
9．7 編程作業的文檔工作
習題
第10章 樹和圖的C++模板
10．1 根樹模板
10．1．1 根樹的數據模型和C++模板
10．1．2 根樹的廣度優先遍歷函數
10．1．3 根樹的深度優先遍歷函數
10．1．4 求根樹中所有路徑
10．2 二又樹
10．2．1 二叉樹的數據模型和C++模板
10．2．2 二叉樹的遍歷算法
10．2．3 二叉檢索樹簡介
10．3 遞歸
10．3．1 遞歸的數學概念
10．3．2 遞歸算法的化解
10．4 圖的C++模板和程序
10．4．1 圖的數據模型和C++模板
10．4．2 無向圖的最小費用生成樹和克魯斯克爾函數
習題
第11章 課程作業
11．1 課程作業一——學籍管理系統
11．1．1 根據系統數據模型設計C++類定義
11．1．2 定義管理實例的序列
11．1．3 完成UCD
11．1．4 設計菜單函數
11．1．5 設計交互式數據輸入函數
11．1．6 劃分程序模塊
11．1．7 測試程序
11．1．8 編寫完整的文檔
11，1．9 其他要求
11．2 課程作業二——五子棋游戲
11．2．1 程序工作原理分析
11．2．2 數據建模
11．2．3 函數win()的實現
11．2．4 顯示棋盤和棋子的函數
11．2．5 主函數控制邏輯
11．2．6 產生棋著的算法
11．2．7 其他要求
附錄一 名詞索引
附錄二 離散數學部分習題參考答案和提示
附錄三 如何閱讀用形式文法描述的C++語法規則
參考文獻