本書是一版的基礎上進行了更新，增加了一些典型的應用實例，并對例題和習題進行了補充。本書分為數理邏輯、集合論、代數結構、組合數學、圖論、初等數論六個部分。全書既有嚴謹、系統(tǒng)的理論闡述，也有豐富的、面向計算機科學技術發(fā)展的應用實例，同時選配了大量的典型例題與練習。各章內容按照模塊化結構組織，可以適應不同的教學要求。有與本書配套的電子教案與學習指導與習題解析。

本書可以作為普通高等學校計算機科學與技術專業(yè)、軟件工程專業(yè)、計算機應用專業(yè)、信息與計算科學專業(yè)等本科生離散數學課程的教材，也可以供其他專業(yè)學生和科技人員閱讀參考。

屈婉玲，1969年畢業(yè)于北京大學物理系物理專業(yè)，現為北京大學信息科學技術學院教授，博士生導師，中國人工智能學會離散數學專委會委員。主要研究方向是算法設計與分析，發(fā)表論文20余篇，出版教材、教學參考書、譯著20余本，其中包含多本國家級規(guī)劃教材和北京市精品教材。所講授的離散數學課程被評為國家精品課程，兩次被評為北京大學十佳教師，并獲得北京市優(yōu)秀教師稱號。曾主持過多項國家教材和課程建設項目，并獲得北京市教育教學成果（高等教育）一等獎。