《清華大學計算機係列教材:數理邏輯與集閤論(第2版)》共12章，前8章介緡數理邏輯，包括命題和謂詞邏輯的基本概念、等值和推理演算、公理係統、模型論和證明論。後4章介紹集閤論，包括集閤、關係、函數、實數集與基數。《清華大學計算機係列教材:數理邏輯與集閤論(第2版)》可作為大學離散數學的教科書。也可供從事計算機科學、人工智能等方麵的科技人員參考。
具體描述
讀後感
> 什么是逻辑？逻辑是推理(演算：演变/演进的推算/计算)。什么的推理？事实的推理，现象的推理，因果的推理。推理的什么？推理的过程，推理的规律，推理的结果。没有推理，就没有逻辑。如果说“演算”的“演”是一种演绎(想象)，一种被动的感性(直觉)，而“演算”的“算”是一...
評分> 什么是逻辑？逻辑是推理(演算：演变/演进的推算/计算)。什么的推理？事实的推理，现象的推理，因果的推理。推理的什么？推理的过程，推理的规律，推理的结果。没有推理，就没有逻辑。如果说“演算”的“演”是一种演绎(想象)，一种被动的感性(直觉)，而“演算”的“算”是一...
評分> 什么是逻辑？逻辑是推理(演算：演变/演进的推算/计算)。什么的推理？事实的推理，现象的推理，因果的推理。推理的什么？推理的过程，推理的规律，推理的结果。没有推理，就没有逻辑。如果说“演算”的“演”是一种演绎(想象)，一种被动的感性(直觉)，而“演算”的“算”是一...
評分> 什么是逻辑？逻辑是推理(演算：演变/演进的推算/计算)。什么的推理？事实的推理，现象的推理，因果的推理。推理的什么？推理的过程，推理的规律，推理的结果。没有推理，就没有逻辑。如果说“演算”的“演”是一种演绎(想象)，一种被动的感性(直觉)，而“演算”的“算”是一...
評分> 什么是逻辑？逻辑是推理(演算：演变/演进的推算/计算)。什么的推理？事实的推理，现象的推理，因果的推理。推理的什么？推理的过程，推理的规律，推理的结果。没有推理，就没有逻辑。如果说“演算”的“演”是一种演绎(想象)，一种被动的感性(直觉)，而“演算”的“算”是一...
用戶評價
讀的不是一個版本，跟精要與題解差不多的封麵。不知道證明的思路一般該怎麼走法？沒有定理引入呢，要記住定理嗎，而且每套係統都不一樣定理也不一樣啊。
评分..勉強能理順思路清楚這本書的脈絡.翻翻就過瞭.ps.我看得是第2版.
评分好吧，以前邏輯學課用，其實是離散數學。
评分乾巴巴的像大便。。你讀過以後，你可以知道一些名詞的意義，但是你不會理解。。。 因為，你不知道那幾個人：亞裏士多德（主詞量化，形式邏輯），布爾（謂詞量化），弗雷格（引入函數，謂詞邏輯），康托爾（無窮，序（良序，偏序，全序）和基數），喬姆斯基（形式語言和自動機，引入泛函），圖靈（可計算---推理====估計）
评分離散數學 （1)
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有