數理邏輯與集閤論 在線電子書 圖書標籤: 數學 數理邏輯 集閤論 教材 清華計算機 計算機科學 計算機 邏輯-哲學
發表於2024-11-25
數理邏輯與集閤論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
簡潔精煉,也晦澀。講得還算清晰。
評分在清華教材裏算是比較好讀的瞭,全書幾乎沒有廢話,結閤配套答案冊刷起來也還不錯。
評分讀的不是一個版本,跟精要與題解差不多的封麵。不知道證明的思路一般該怎麼走法?沒有定理引入呢,要記住定理嗎,而且每套係統都不一樣定理也不一樣啊。
評分大二 離散數學(1) 教材。
評分..勉強能理順思路清楚這本書的脈絡.翻翻就過瞭.ps.我看得是第2版.
《清華大學計算機係列教材:數理邏輯與集閤論(第2版)》共12章,前8章介緡數理邏輯,包括命題和謂詞邏輯的基本概念、等值和推理演算、公理係統、模型論和證明論。後4章介紹集閤論,包括集閤、關係、函數、實數集與基數。《清華大學計算機係列教材:數理邏輯與集閤論(第2版)》可作為大學離散數學的教科書。也可供從事計算機科學、人工智能等方麵的科技人員參考。
> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
評分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
評分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
評分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
評分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
數理邏輯與集閤論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024