普通高等教育軟件工程“十三五”規劃教材

本書結合C++程序，簡要介紹了匯編語言，並以棧和隊列為主線，逐步深入面向對象的概念。本書從面向過程轉向面向對象的編程開始，接著引入類、內聯、線程、異常、虛函數、運算符重載、移動語義等概念實現棧和隊列，然後基於繼承和聚合等概念通過雙棧模擬隊列，最後引入類模板、類型轉換、類型推導等概念實現棧和隊列，深入細緻地介紹了ISO/IEC 14882:2017標準的全部語法。為了培養學生面向對象的建模能力，書中按照面向對象的分析與設計步驟，完整展示了骰子遊戲的建模過程，並用C++進行了面向對象的程序設計。全書通過挖掘C++概念的應用背景，提供了可供運行的有趣實例和習題。

Python是一種解釋型、面向對象、動態數據類型的高級程序設計語言，是最受歡迎的程序設計語言之一。Python語言簡潔，語法簡單，很適合作為學習編程的入門語言。本書包括基礎篇和高級篇，全面介紹Python編程的基礎知識和實用技術。讀者在閱讀本書時可以充分瞭解和體驗Python語言的強大功能。本書中所有程序均在Python 3.6.4環境下調試通過。

本書立足於新工科和工程教育，從工程應用和實踐者的視角，全面系統地介紹了目前在工業界中使用最為廣泛的JDK 8的全部核心知識。全書共17章，主要內容包括Java概述、Java基本類型與運算符、程序流程控制、數組、類與對象、抽象類、接口與嵌套類、GUI編程、Swing高級組件、異常與處理、I ∕O流與文件、多線程與併發、容器框架與泛型、字符串與正則表達式、反射與注解。本書適合可作為普通高等院校、高職院校計算機及相關專業的教學用書，也可作為Java愛好者、程序開發人員的參考用書。

本書共13個實訓，涉及HTML、CSS和JavaScript的基礎及核心知識點，以及經典網頁佈局版式和創建企業級網站的流程。其中HTML方面主要涉及、、、、、無序列表、表格、表單、標題字及HTML5文檔等標簽的使用。CSS方面主要涉及盒子模型、盒子圓角、背景顏色、前景顏色、文本及盒子的水平居中、盒子內容的垂直居中、列表前導符的取消、元素類型的修改、字體、表格邊框的合併、盒子內容的溢出、塊級元素的顯示和隱藏、鼠標指針形狀等樣式的設置及浮動、定位排版和CSS應用到HTML頁面的3種方式等內容。JavaScript方面涉及函數定義和調用，循環及分支語句，數組的創建和使用，Date對象的創建和使用，元素索引屬性的定義，定時器的創建和清除，使用innerHTML屬性修改元素內容，事件處理，this關鍵字的使用，使用正則表達式校驗表單數據有效性，使用DOM技術獲取元素及元素的父子節點，動態創建、附加、刪除元素，動態設置元素的各種樣式，以及將JavaScript代碼嵌入HTML文檔的幾種方式等內容。本書可作為普通高等院校及培訓學校計算機及相關專業前端開發課程的實訓教材。

本書選用SQL Server 2012作為數據庫的實踐操作平臺。本書主要內容有關系數據庫基礎、SQL語言、視圖和索引、關系數據庫理論、數據庫設計、事務與併發控制、數據庫編程、安全管理、備份和恢復數據庫等，附錄介紹了SQL Server 2012的安裝配置以及該平臺支持的常用系統函數。本書配有不同形式的大量習題，方便讀者對知識的複習。同時為教師配備了電子教案和習題解答，方便教師開展教學。

離散數學是計算機相關專業的主幹課程之一。本書將理論緊密聯繫實際，摒棄了一些煩瑣的定理證明，從工程實際出發，引入工程案例和解決方案，注重提升學生的應用模擬解題技巧，力求做到脈絡清晰，重點突出，精講多練，實用有效，從而培養學生的抽象思維和縝密概括能力。本書內容包括離散數學4大分支的基礎理論――數理邏輯、集合論、代數系統和圖論。全書共9章，依次為命題邏輯、謂詞邏輯、集合、關係、函數、代數結構、格與布爾代數、圖論及其應用、樹。全書包含較多的與計算機科學和工程有關的例題和習題。本書適合作為高等院校計算機科學與技術、軟件工程等相關專業的教材。