本書由基礎集論與經典(一階)邏輯兩部分內容組成,為高標準的計算機科學專業(本科)教材。
集論部分的範圍與常規教材大體相似,區彆在於相關內容的展開方式與深度。這裏采用的“非標準”模式可稱為“經典集論的公理化修正版”:強調公理化思想及構造性技巧;對“關係演算”及“歸納與遞歸”兩個闆塊做瞭較深入的處理;計算機科學中有用的若乾組閤和圖論中的原理與方法被有機地嵌入到集論的框架之中;以較直觀的方式給
發表於2024-11-22
集論與邏輯 2024 pdf epub mobi 電子書 下載
圖書標籤: 計算機科學 數學 邏輯 課本 計算機 瀋恩紹
瀋恩紹(大魔王)寫的書。事實上是打印的,因為買不到。語言語義角度分析的很好。公理化邏輯很漂亮。
評分瀋恩紹(大魔王)寫的書。事實上是打印的,因為買不到。語言語義角度分析的很好。公理化邏輯很漂亮。
評分我覺得最大的亮點是Tabluar,但是可以直接看那本《應用邏輯》的。然後書其實可以寫得更厚一點,或許更容易理解
評分看一次惡心一次
評分瀋爺爺你雖然退休瞭但是你無與倫比的智慧依然磨礪著這屆ACMers'脆弱的智商與單純的世界觀 感謝瀋爺爺你把最好的愛都給瞭集閤給瞭邏輯給瞭計算機科學導論 我們對您最好的迴饋 也許就是好好學習 爭取早日看懂 QAQ
集論與邏輯 2024 pdf epub mobi 電子書 下載