圖書標籤: 數學 數理邏輯 集閤論 教材 清華計算機 計算機科學 計算機 邏輯-哲學
发表于2024-12-22
數理邏輯與集閤論 pdf epub mobi txt 電子書 下載 2024
《清華大學計算機係列教材:數理邏輯與集閤論(第2版)》共12章,前8章介緡數理邏輯,包括命題和謂詞邏輯的基本概念、等值和推理演算、公理係統、模型論和證明論。後4章介紹集閤論,包括集閤、關係、函數、實數集與基數。《清華大學計算機係列教材:數理邏輯與集閤論(第2版)》可作為大學離散數學的教科書。也可供從事計算機科學、人工智能等方麵的科技人員參考。
離散數學 (1)
評分大二 離散數學(1) 教材。
評分讀的不是一個版本,跟精要與題解差不多的封麵。不知道證明的思路一般該怎麼走法?沒有定理引入呢,要記住定理嗎,而且每套係統都不一樣定理也不一樣啊。
評分乾巴巴的像大便。。你讀過以後,你可以知道一些名詞的意義,但是你不會理解。。。 因為,你不知道那幾個人:亞裏士多德(主詞量化,形式邏輯),布爾(謂詞量化),弗雷格(引入函數,謂詞邏輯),康托爾(無窮,序(良序,偏序,全序)和基數),喬姆斯基(形式語言和自動機,引入泛函),圖靈(可計算---推理====估計)
評分離散數學 (1)
> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
評分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
評分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
評分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
評分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
數理邏輯與集閤論 pdf epub mobi txt 電子書 下載 2024