離散數(shù)學(xué)是現(xiàn)代數(shù)學(xué)的一個(gè)重要分支,是計(jì)算機(jī)科學(xué)中基礎(chǔ)理論的核心課程。離散數(shù)學(xué)以研究離散量的結(jié)構(gòu)及其相互之間的關(guān)系為主要目標(biāo),其研究對象一般的是有限個(gè)或可數(shù)個(gè)元素,因俜箢嶇,它充分描述了計(jì)算機(jī)科學(xué)離散性的特點(diǎn)。計(jì)算機(jī)科學(xué)中的程序設(shè)計(jì)語言數(shù)據(jù)結(jié)構(gòu)、操作系統(tǒng)、數(shù)據(jù)庫技術(shù)、編譯原理、算法分析、可計(jì)算性與計(jì)算復(fù)雜性理論、邏輯設(shè)計(jì),系統(tǒng)結(jié)構(gòu)、容錯(cuò)診斷,人工智能與機(jī)器人,機(jī)器定理證明等理論課程都是以離散數(shù)學(xué)為基礎(chǔ)的。本書由作者根據(jù)近30年教學(xué)實(shí)踐經(jīng)驗(yàn)和較成熟的教案整理編寫而成。離散數(shù)學(xué)包括4大部分,各部分的內(nèi)容都十分豐富,自成體系。本書將這4大體系中*基本、*重要的內(nèi)容選人,并努力做到簡明扼要、深人淺出,既保持各體系的獨(dú)立性,又展現(xiàn)出它們之間的密切聯(lián)系。本書的主要特色如下。(1)在每章開頭給出了教學(xué)要求、本章重點(diǎn)和本章難點(diǎn),強(qiáng)調(diào)章節(jié)之間知識的連貫性注重例題分析,規(guī)范解題過程,并針對部分章節(jié)的知識點(diǎn)錄制了微課,讀者通過掃描對應(yīng)二維碼即可自主學(xué)習(xí)。這種方式讓學(xué)生學(xué)起來目標(biāo)明確,容易上手,并且可同時(shí)實(shí)現(xiàn)線上,線下同步學(xué)習(xí)。(2)融入創(chuàng)新性教學(xué)理念、教學(xué)方法,教學(xué)組織與認(rèn)知科學(xué)的色彩鮮明的新模式,書中每章的本章解析給出了本章常見題型解析,以及本章知識點(diǎn)的邏輯結(jié)構(gòu)圖,對每章知識點(diǎn)之間的邏輯關(guān)系進(jìn)行了總結(jié)。(3)在每章的本章解析中,給出了本章知識點(diǎn)在計(jì)算機(jī)科學(xué),大數(shù)據(jù)、人工智能和物聯(lián)網(wǎng)中的一些典型應(yīng)用,以使學(xué)生認(rèn)識到離散數(shù)學(xué)的重要性,激發(fā)學(xué)生學(xué)習(xí)的積極性。歷史人物的簡介可以讓學(xué)生進(jìn)一步了解科學(xué)家的故事,以及他們在各自領(lǐng)域取得的卓越成就,更為可貴的是可以讓學(xué)生學(xué)習(xí)這些人物身上體現(xiàn)出來的堅(jiān)韌不拔的探索精神,勇于創(chuàng)新的開拓意識、為國家和民族發(fā)展而努力奮斗的赤誠之心和嚴(yán)謹(jǐn)治學(xué)的態(tài)度等優(yōu)秀品質(zhì),通過在課程中融人傳記,能讓學(xué)生直觀地感受這些高尚精神的具象呈現(xiàn),從而潛移默化地影響其價(jià)值觀的塑造,引導(dǎo)學(xué)生樹立正確的世界觀、人生觀和價(jià)值觀。(4)書中將同類且對比鮮明的概念集中定義,并通過典型的實(shí)例進(jìn)行對比說明,使學(xué)牛深刻理解它們的區(qū)別與聯(lián)系;對離散數(shù)學(xué)中的主要專業(yè)術(shù)語給出了英文標(biāo)注,便于學(xué)生參閱一些國外的相關(guān)教材和專著�？傊�,本書在內(nèi)容的組織上,力求培養(yǎng)學(xué)生抽象思維,慎密概括和嚴(yán)密的邏輯推理能力教會學(xué)生怎樣拓展數(shù)學(xué)思維,同時(shí)注重展現(xiàn)離散數(shù)學(xué)在計(jì)算機(jī)科學(xué)及信息科學(xué)中的應(yīng)用,以增強(qiáng)學(xué)生使用離散數(shù)學(xué)知識分析問題和解決問題的能力,為今后處理離散信息,從事計(jì)算機(jī)軟件的開發(fā)與設(shè)計(jì),或計(jì)算機(jī)科學(xué)及信息科學(xué)中的其他實(shí)際應(yīng)用打好數(shù)學(xué)基礎(chǔ)。本書的主要內(nèi)容包括命題邏輯、謂詞邏輯、集合、關(guān)系、函數(shù)、代數(shù)系統(tǒng),格與布爾代數(shù)、圖論等知識,可作為計(jì)算機(jī)科學(xué)與技術(shù)、軟件工程、物聯(lián)網(wǎng)工程、人工智能,大數(shù)據(jù)、云計(jì)算、區(qū)塊鏈、智能科學(xué)與技術(shù)等專業(yè)的基礎(chǔ)理論教材,也可供有關(guān)科研、技術(shù)人員學(xué)習(xí)參考。根據(jù)編者經(jīng)驗(yàn),本書的基本教學(xué)時(shí)數(shù)可為64~72學(xué)時(shí),也可根據(jù)學(xué)生的具體情況配合本課程開展相應(yīng)的實(shí)驗(yàn)教學(xué)。本書配有《離散數(shù)學(xué)習(xí)題集》、SPOC視頻、PPT課件、線上學(xué)習(xí)平臺等多種教學(xué)資源,實(shí)現(xiàn)了課前預(yù)習(xí)、課堂講授、課后復(fù)習(xí)做題等線上,線下的有機(jī)融合,通過重點(diǎn)、難點(diǎn)、經(jīng)典例題、課后習(xí)題的講解,力求實(shí)現(xiàn)因材施教,個(gè)性化學(xué)習(xí),提升學(xué)生的學(xué)習(xí)體驗(yàn),夯實(shí)離散數(shù)學(xué)的理論基礎(chǔ),通過在線學(xué)習(xí)平臺提供的課后作業(yè)、課堂簽到、搶答、選人、知識圖譜等功能和個(gè)性化學(xué)習(xí)推薦功能,有望突破離散數(shù)學(xué)課程作業(yè)多、及時(shí)反饋批改結(jié)果難、個(gè)性化學(xué)習(xí)路徑選擇難的困境。在本書編寫過程中,作者參閱了許多國內(nèi)外已經(jīng)出版的同類教材及專著,在此對這些作者表示由衷的感謝!感謝華中科技大學(xué)出版社老師在書稿整理、全書校對等工作中所付出的辛勤勞動(dòng)。由于編者水平和經(jīng)驗(yàn)有限,書中疏漏及不妥之處在所難免,懇請讀者不吝指正。