- Main
- 数理逻辑入门
数理逻辑入门
(美) 雷蒙德·M.斯穆里安(Raymond M. Smullyan)著;刘新文,张瑜,荣华夏译你有多喜歡這本書?
文件的質量如何?
下載本書進行質量評估
下載文件的質量如何?
作为一位终生思考如何以最好的方式表达数理逻辑问题的学者,作者在本书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识;特别是以简单易懂的形式阐释了哥德尔不完全性定理,说明了由其本人发展的表列证明方法,并穿插大量习题,于每章末给出所有习题的答案,于结尾处附上术语对照表,使得本书非常适合作为数理逻辑入门教材。
除了学者的身份,作者还是一位趣味谜题专家,致力于面向普通读者写作,将深奥的思想以故事和谜题的形式讲述,这使得本书在介绍任何知识时都不设定专业基础,采取层层递进的方式,同时还有趣味十足的例子,适合作为数理逻辑普及读物。
本书译者还特别邀请作者的学生、美国逻辑学家与计算机科学家梅尔文·菲廷(Melvin Fitting)为中文版撰写了序言,其以简单的语言指出了数理逻辑的关键以及本书的核心所在,便于读者整体把握数理逻辑的基本问题。
年:
2019
出版商:
中国轻工业出版社
語言:
chinese
頁數:
370
ISBN 10:
7518421836
ISBN 13:
9787518421831
文件:
PDF, 73.38 MB
你的標籤:
IPFS:
CID , CID Blake2b
chinese, 2019
該文件將發送到您的電子郵件地址。 您最多可能需要 1-5 分鐘收到它。
該文件將通過電報信使發送給您。 您最多可能需要 1-5 分鐘收到它。
注意:確保您已將您的帳戶鏈接到 Z-Library Telegram 機器人。
該文件將發送到您的 Kindle 帳戶。 您最多可能需要 1-5 分鐘就能收到它。
請注意:您需要驗證要發送到 Kindle 的每本書。 檢查您的郵箱是否有來自 Amazon Kindle 的驗證郵件。
轉換進行中
轉換為 失敗