較為系統地介紹了計算機科學與技術等相關專業所必需的離散數學知識，全書分為4個部分(數理邏輯、集合論、代數結構和圖論)，共7章。 第1章介紹命題及命題邏輯；第2章介紹一階謂詞邏輯及其推理理論；第3章介紹... more