本書由基礎集論與經典(一階)邏輯兩部分內容組成，為高標準的計算機科學專業(本科)教材。
集論部分的範圍與常規教材大體相似，區彆在於相關內容的展開方式與深度。這裏采用的“非標準”模式可稱為“經典集論的公理化修正版”：強調公理化思想及構造性技巧；對“關係演算”及“歸納與遞歸”兩個闆塊做瞭較深入的處理；計算機科學中有用的若乾組閤和圖論中的原理與方法被有機地嵌入到集論的框架之中；以較直觀的方式給
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
更新過的電子版比較好
评分瀋恩紹（大魔王）寫的書。事實上是打印的，因為買不到。語言語義角度分析的很好。公理化邏輯很漂亮。
评分瀋恩紹（大魔王）寫的書。事實上是打印的，因為買不到。語言語義角度分析的很好。公理化邏輯很漂亮。
评分我覺得最大的亮點是Tabluar，但是可以直接看那本《應用邏輯》的。然後書其實可以寫得更厚一點，或許更容易理解
评分我覺得最大的亮點是Tabluar，但是可以直接看那本《應用邏輯》的。然後書其實可以寫得更厚一點，或許更容易理解
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有