本書是為大學三、四年級學生而寫,並且曾在南開大學計算機係、數學係作為教材講授多年。重點介紹瞭計算機科學與技術的數學基礎――可計算理論、數理邏輯與集閤論,以及三者之間的關係,主要內容包括:理想計算機與有窮性原則、有窮性邏輯和有窮性數學、一般邏輯與一般數學、集閤論等。書末還附有一定的習題。
本書讀者對象:高校計算機係、數學係、哲學係師生,計算機工作者。
發表於2024-11-26
計算機、邏輯和集閤論 2024 pdf epub mobi 電子書 下載
圖書標籤: 集閤論 邏輯 計算機
計算機、邏輯和集閤論 2024 pdf epub mobi 電子書 下載