本書以計算機科學中的可計算性理論和計算復雜性理論為背景,以生活的比喻,介紹這一領域的基礎知識和主要研究成果。
發表於2024-12-22
數學.計算.邏輯 2024 pdf epub mobi 電子書 下載
圖書標籤: 計算機科學 數學 邏輯 數理邏輯 科普 計算機 陸汝鈐 語義
總的來說,還是科普性更強一點!
評分總的來說,還是科普性更強一點!
評分這書不錯,講的挺明白。
評分上帝當然是個充滿惡意的數學傢,為瞭數學傢用不失業,居然搞齣哥德爾不完全性定理。
評分總的來說,還是科普性更強一點!
數學.計算.邏輯 2024 pdf epub mobi 電子書 下載