|
题名:
|
逻辑迷宫 / (美) 雷蒙德·M. 斯穆里安著 , 林田, 黄闪闪译 |
|
ISBN:
|
978-7-5133-4769-3 价格： CNY72.00 |
|
语种:
|
chi |
|
载体形态:
|
416页 图 23cm |
|
出版发行:
|
出版地： 北京 出版社： 新星出版社 出版日期： 2023 |
|
内容提要:
|
本书是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一种独特的方式来普及数理逻辑。从第一章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时，本书还提供了丰富的练习及答案，这些练习并不拘泥于符号的正确运用，而是重在让读者理解证明的构造过程。 |
|
主题词:
|
数理逻辑 |
|
主题词:
|
形式逻辑 |
|
中图分类法:
|
O141-49 版次： 5 |
|
中图分类法:
|
B812 版次： 5 |
|
主要责任者:
|
斯穆里安 著 |
|
次要责任者:
|
林田 译 |
|
次要责任者:
|
黄闪闪 译 |
|
责任者附注:
|
雷蒙德˙M.斯穆里安，世界著名数学家、逻辑学家、哲学家，同时还是钢琴演奏家和魔术师。他于1959年在普林斯顿大学获得哲学博士学位，先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。 |