離散數學
鄒麗娜 丁茜 羅旭主編
1865人在讀
9.3萬字總字數
¥19.8定價
鄒麗娜 丁茜 羅旭主編
離散數學是現代數學的重要分支，通過離散數學的學習，學生能夠得到嚴格的邏輯推理與抽象思維能力的訓練，能夠掌握數理邏輯、集合論、圖論等知識。本書主要分爲三部分：數理邏輯、集合論和圖論。其中數理邏輯部分包括命題邏輯、謂詞邏輯兩章；集合論部分包括集合論和二元關係兩章。本書適合作爲普通高等學校計算機科學與技術、網絡工程及信息管理等專業教材，也可作爲高職高專、成人高校相關專業教材。
教邏輯的書，甚至邏輯公式都有錯
本書都講述一階邏輯了，很多定理也不用一階邏輯進行嚴謹證明，真是偷懶