本書由基礎集論與經典(一階)邏輯兩部分內容組成,為高標準的計算機科學專業(本科)教材。
集論部分的範圍與常規教材大體相似,區彆在於相關內容的展開方式與深度。這裏采用的“非標準”模式可稱為“經典集論的公理化修正版”:強調公理化思想及構造性技巧;對“關係演算”及“歸納與遞歸”兩個闆塊做瞭較深入的處理;計算機科學中有用的若乾組閤和圖論中的原理與方法被有機地嵌入到集論的框架之中;以較直觀的方式給
發表於2024-12-23
集論與邏輯 2024 pdf epub mobi 電子書 下載
圖書標籤: 計算機科學 數學 邏輯 課本 計算機 瀋恩紹
瀋恩紹(大魔王)寫的書。事實上是打印的,因為買不到。語言語義角度分析的很好。公理化邏輯很漂亮。
評分我覺得最大的亮點是Tabluar,但是可以直接看那本《應用邏輯》的。然後書其實可以寫得更厚一點,或許更容易理解
評分看一次惡心一次
評分我覺得最大的亮點是Tabluar,但是可以直接看那本《應用邏輯》的。然後書其實可以寫得更厚一點,或許更容易理解
評分更新過的電子版比較好
集論與邏輯 2024 pdf epub mobi 電子書 下載