作者

(美) 雷蒙德·M. 斯穆里安著  林田 黄闪闪译

出版社

新星出版社

出版日期

2023

内容简介

本书是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一种独特的方式来普及数理逻辑。从第一章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。

索书号

O141/76

馆藏地

临潼校区—骊山校园西区二层自然科学图书借阅区

推介信息发布时间：2023-11-27