離散數(shù)學(xué) 面向計(jì)算機(jī)科學(xué)專業(yè)

本書從計(jì)算機(jī)科學(xué)的角度出發(fā)，面向計(jì)算機(jī)相關(guān)專業(yè)學(xué)生的需求，以教學(xué)活動(dòng)為驅(qū)動(dòng)，輔以大量的習(xí)題，系統(tǒng)地介紹計(jì)算機(jī)科學(xué)領(lǐng)域中離散數(shù)學(xué)的理論和方法。本書主要涵蓋計(jì)數(shù)、密碼編碼學(xué)與數(shù)論、邏輯與證明、歸納、遞歸、概率以及圖論等內(nèi)容。書中對(duì)定理、引理和推論的推導(dǎo)嚴(yán)密，同時(shí)配備大量的例題、圖表、應(yīng)用實(shí)例。 本書不僅適合作為高校計(jì)算機(jī)相關(guān)專業(yè)離散數(shù)學(xué)課程的教材，也適合作為計(jì)算機(jī)行業(yè)的技術(shù)人員的參考書。