本書基于SQLServer2019,系統(tǒng)全面地闡述了數(shù)據(jù)庫系統(tǒng)的基礎(chǔ)理論、基本技術(shù)和基本方法,以培養(yǎng)數(shù)據(jù)庫應(yīng)用能力為主要目標(biāo),重點(diǎn)關(guān)注數(shù)據(jù)庫系統(tǒng)的基礎(chǔ)性和應(yīng)用性。全書以圖書借閱管理系統(tǒng)為主線,將數(shù)據(jù)庫相關(guān)基礎(chǔ)理論和應(yīng)用實(shí)踐有機(jī)結(jié)合。全書包括緒論、關(guān)系數(shù)據(jù)庫系統(tǒng)、關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言SQL、數(shù)據(jù)庫安全性與完整性、關(guān)系數(shù)據(jù)庫

本書在選材與編排上,貼近當(dāng)前普通高等院校“數(shù)據(jù)結(jié)構(gòu)”課程的現(xiàn)狀和發(fā)展趨勢,內(nèi)容難度適度,突出實(shí)用性和應(yīng)用性。在內(nèi)容選取與結(jié)構(gòu)上,本書并未對各種數(shù)據(jù)結(jié)構(gòu)面面俱到,而是通過分類和講解典型結(jié)構(gòu),使讀者形成對數(shù)據(jù)結(jié)構(gòu)的宏觀認(rèn)識。根據(jù)內(nèi)容側(cè)重,本書共分為8章,分別為緒論、線性表、棧和隊(duì)列、串和數(shù)組、樹形結(jié)構(gòu)、圖、內(nèi)排序和查找。

本書共分4章:第1章介紹不帶類型的λ-演算、簡單類型的λ-演算和F系統(tǒng),主要討論語法和β-歸約語義;第2章介紹Coq,重點(diǎn)是從函數(shù)式程序設(shè)計(jì)的角度展開討論,內(nèi)容涉及自然數(shù)函數(shù)、列表、多態(tài)數(shù)據(jù)結(jié)構(gòu)、依賴類型、高階函數(shù)、柯里-霍華德關(guān)聯(lián)以及余歸納類型;第3章介紹OCaml這門通用程序設(shè)計(jì)語言,除了基本的程序設(shè)計(jì)概念,還討論

本書以提高計(jì)算機(jī)應(yīng)用能力為主線,以案例導(dǎo)向、融合醫(yī)學(xué)、面向應(yīng)用、注重實(shí)用為特色,強(qiáng)調(diào)計(jì)算機(jī)基本原理、基礎(chǔ)知識、操作技能三者的有機(jī)結(jié)合。全書共6個(gè)部分,包括計(jì)算機(jī)基礎(chǔ)知識、計(jì)算機(jī)系統(tǒng)、文字處理軟件Word、電子表格處理軟件Excel、演示文稿制作軟件PowerPoint、計(jì)算機(jī)網(wǎng)絡(luò)基礎(chǔ)知識與應(yīng)用。本教材力求做到語言簡潔,

本書根據(jù)教育部大學(xué)計(jì)算機(jī)課程教學(xué)指導(dǎo)委員會(huì)新制定的《關(guān)于進(jìn)一步加強(qiáng)高等學(xué)校計(jì)算機(jī)基礎(chǔ)教學(xué)的意見暨計(jì)算機(jī)基礎(chǔ)課程教學(xué)基本要求》編寫而成,本書主要內(nèi)容包括信息化與信息技術(shù)、信息安全、計(jì)算機(jī)基礎(chǔ)知識、計(jì)算機(jī)網(wǎng)絡(luò)應(yīng)用技術(shù)、多媒體應(yīng)用技術(shù)、操作系統(tǒng)、文字處理軟件、電子表格軟件、演示文稿軟件及新一代信息技術(shù)(物聯(lián)網(wǎng)、云計(jì)算、大數(shù)據(jù)

本書共兩個(gè)部分。第一部分是上機(jī)指導(dǎo),包括從零開始--了解計(jì)算機(jī)、打造精美文檔--文檔制作、高效管理數(shù)據(jù)--電子表格制作、提升說服力--演示文稿制作、快速獲取信息--信息檢索、感受新興技術(shù)--新一代信息技術(shù)概述、提升個(gè)人素質(zhì)--信息素養(yǎng)與社會(huì)責(zé)任7個(gè)方面的內(nèi)容。讀者可以按照《信息技術(shù)基礎(chǔ)(Windows10+WPSOff

本書詳細(xì)地介紹了軟件測試的相關(guān)知識。全書共9章,第1章主要講解軟件測試的基礎(chǔ)知識,第2-3章主要講解黑盒測試方法與白盒測試方法,第4-7章主要講解接口測試、性能測試、Web自動(dòng)化測試和App測試的相關(guān)知識,第8-9章通過一個(gè)綜合項(xiàng)目--安享智慧理財(cái),完整呈現(xiàn)軟件測試的全過程,幫助讀者鞏固前面所學(xué)的相關(guān)知識。

本書以《全國計(jì)算機(jī)等級考試二級Python語言程序設(shè)計(jì)考試大綱(2022版)》為基礎(chǔ)，以計(jì)算機(jī)語言類初學(xué)者為教學(xué)對象，以Python3.x為背景，循序漸進(jìn)地介紹了Python語言的基本知識、基礎(chǔ)語法、數(shù)據(jù)結(jié)構(gòu)、控制結(jié)構(gòu)和基本應(yīng)用等內(nèi)容。本書共分為12章，主要內(nèi)容有Python概述、數(shù)據(jù)結(jié)構(gòu)、運(yùn)算符與表達(dá)式、流程控制結(jié)構(gòu)

《Web前端開發(fā)試題分析與解答》（下冊）針對《Web前端開發(fā)職業(yè)技能等級標(biāo)準(zhǔn)》（中級和高級）內(nèi)容進(jìn)行編寫，是促進(jìn)Web前端開發(fā)職業(yè)技能等級證書試點(diǎn)院校教學(xué)的工具性教材。本書匯集了2019年12月、2020年12月及2021年12月的Web前端開發(fā)中級和高級真題試卷，并分別對理論卷和實(shí)操卷進(jìn)行真題解析，包括試卷結(jié)構(gòu)、分值

數(shù)據(jù)科學(xué)如今已經(jīng)深入到我們生活中的各個(gè)領(lǐng)域，行業(yè)從業(yè)者都應(yīng)該懂得一些數(shù)據(jù)科學(xué)的知識。那么如何能夠快速掌握這門流行的技術(shù)呢？通過系統(tǒng)地學(xué)習(xí)本書和動(dòng)手實(shí)踐，可以滿足這個(gè)需求。本書共六個(gè)部分，用通俗的語言和生動(dòng)的例子為讀者展現(xiàn)數(shù)據(jù)科學(xué)的魅力。第一部分介紹了數(shù)據(jù)科學(xué)的基本知識，讓讀者可以輕松了解它的流程與原理。第二部分，通過幾