本書主要介紹如何利用數(shù)學(xué)符號操作、基于規(guī)則的系統(tǒng)和通用程序構(gòu)建靈活的軟件，并利用依賴系統(tǒng)跟蹤、解釋和控制回溯。第1章通過對編程哲學(xué)的介紹提出靈活性的概念。第2章探討如何用一些普遍適用的方法構(gòu)建易于擴(kuò)展的系統(tǒng)。第3章介紹謂詞分派的通用程序。第4章介紹符號模式匹配，首先啟用術(shù)語重寫系統(tǒng)，然后通過合一展示類型推理的實(shí)現(xiàn)。第5

本書首先從數(shù)、信息談到計(jì)算基礎(chǔ)、計(jì)算工具、計(jì)算思維，這部分內(nèi)容其他軟件工程導(dǎo)論書一般不涉及，卻是軟件開發(fā)的基礎(chǔ)知識(shí)、基本理論，是軟件工程本質(zhì)性知識(shí)，從根源上理解軟件工程很重要；其次是從程序、軟件到軟件工程，循序漸進(jìn)講解軟件工程的發(fā)生、發(fā)展、作用，是全書的核心；第三是從軟件知識(shí)體系和軟件行業(yè)對軟件人才的需求，定位到軟件人

本書以“崗課賽證”育人模式為指引，將競賽資源融入課程教學(xué)，將教學(xué)內(nèi)容與行業(yè)職位能力銜接。本書遵循“做中學(xué)、學(xué)中做”理念，采用“項(xiàng)目引領(lǐng)、任務(wù)驅(qū)動(dòng)”方式編排內(nèi)容，依據(jù)行業(yè)主流可視化技術(shù)，劃分為3篇，包括Matplotlib數(shù)據(jù)可視化、ECharts數(shù)據(jù)可視化和動(dòng)態(tài)數(shù)據(jù)可視化技術(shù)，難度逐漸增加。每個(gè)模塊設(shè)計(jì)1或2個(gè)項(xiàng)目，每

《Python網(wǎng)絡(luò)爬蟲從入門到進(jìn)階實(shí)戰(zhàn)》從零基礎(chǔ)入門學(xué)習(xí)者的角度出發(fā)，通過通俗易懂的語言、豐富多彩的實(shí)例，循序漸進(jìn)地讓讀者在實(shí)踐中學(xué)習(xí)Python網(wǎng)絡(luò)爬蟲知識(shí)，并提升自己的實(shí)際開發(fā)能力。本書主要介紹了爬蟲基礎(chǔ)知識(shí)、常用網(wǎng)絡(luò)請求模塊的使用（urllib3模塊、Requests模塊、高級網(wǎng)絡(luò)請求模塊）、數(shù)據(jù)解析與存儲(chǔ)（re

"本書是“十三五”職業(yè)教育國家規(guī)劃教材。本書以培養(yǎng)“數(shù)據(jù)庫安裝、設(shè)計(jì)、應(yīng)用、管理、開發(fā)”能力為主線，工學(xué)結(jié)合、項(xiàng)目引導(dǎo),“教學(xué)做”一體化編寫，講述數(shù)據(jù)庫基礎(chǔ)知識(shí)和MySQL數(shù)據(jù)庫管理系統(tǒng)的應(yīng)用技術(shù)。全書以真實(shí)項(xiàng)目“家電商城系統(tǒng)數(shù)據(jù)庫”為核心案例貫穿始終，共分為部署數(shù)據(jù)庫開發(fā)環(huán)境、設(shè)計(jì)數(shù)據(jù)庫模型、創(chuàng)建數(shù)據(jù)庫系統(tǒng)、訪問數(shù)據(jù)

"本書依據(jù)教育部高等學(xué)校大學(xué)計(jì)算機(jī)課程教學(xué)指導(dǎo)委員會(huì)最新編制的《新時(shí)代大學(xué)計(jì)算機(jī)基礎(chǔ)課程教學(xué)基本要求》進(jìn)行編寫，按照循序漸進(jìn)、由淺入深的規(guī)律來安排實(shí)驗(yàn)內(nèi)容，通過具體的編程訓(xùn)練逐步培養(yǎng)學(xué)生獨(dú)立思考解決問題的能力、獨(dú)立上機(jī)動(dòng)手實(shí)踐的能力。本書共分3章，主要包括基于VC++2010學(xué)習(xí)版的C程序調(diào)試、實(shí)驗(yàn)內(nèi)容和同步練習(xí)題，其

"本書以程序設(shè)計(jì)初學(xué)者為閱讀對象，以通過程序解決實(shí)際問題為主線，以編程思維、編程技能、語法知識(shí)和編程規(guī)范為內(nèi)容框架，通過豐富的實(shí)例由淺入深地介紹C語言程序設(shè)計(jì)的基本思想與方法。本書導(dǎo)言部分介紹程序、程序設(shè)計(jì)及其教學(xué)建議，后續(xù)各章包括程序設(shè)計(jì)概述、輸入輸出、順序結(jié)構(gòu)程序設(shè)計(jì)、選擇結(jié)構(gòu)程序設(shè)計(jì)、循環(huán)結(jié)構(gòu)程序設(shè)計(jì)、數(shù)組、函數(shù)

本書主要講述數(shù)據(jù)庫管理系統(tǒng)基本原理與核心技術(shù)，重點(diǎn)介紹了數(shù)據(jù)庫的構(gòu)建方法。主要內(nèi)容包括概述、關(guān)系數(shù)據(jù)庫基礎(chǔ)、數(shù)據(jù)庫存儲(chǔ)引擎、數(shù)據(jù)庫事務(wù)處理機(jī)制、數(shù)據(jù)庫原子性和持久性實(shí)現(xiàn)機(jī)制、數(shù)據(jù)庫并發(fā)控制機(jī)制、數(shù)據(jù)庫索引技術(shù)、查詢處理優(yōu)化、數(shù)據(jù)庫安全、高級數(shù)據(jù)庫特性等，最后介紹開源數(shù)據(jù)庫案例GaussDB。本書可作為高等學(xué)校計(jì)算機(jī)及相

《Linux操作系統(tǒng)》以目前企業(yè)中廣泛應(yīng)用的CentOS7操作系統(tǒng)為平臺(tái)，從軟件開發(fā)和服務(wù)器運(yùn)維角度全面地介紹了Linux操作系統(tǒng)的使用、管理和維護(hù)技術(shù)。全書共10章，其中第1~6章側(cè)重于Linux操作系統(tǒng)的基礎(chǔ)使用和管理維護(hù)，主要內(nèi)容包括Linux的簡介和安裝、基礎(chǔ)命令、vi編輯器的使用、軟件管理和磁盤管理的技巧；第

生命科學(xué)中的R語言數(shù)據(jù)分析