逻辑
逻辑十九讲 豆瓣
The Art of Logical Thinking
作者: [美] 威廉姆·沃克·阿特金森 译者: 李奇 新世界出版社 2013 - 4
《逻辑十九讲》是美国著名思想家、作家、“新思想运动”之父威廉姆·沃克·阿特金森针对大众读者所撰写的一本逻辑学通俗入门读物。全书从逻辑学最浅显的概念入手,用通俗和生活化的语言,系统、简洁地阐述了逻辑学最基本的原则与思维方式。其中诸如推理、归纳、因果关系、真假命题、是非条件等专业术语,作者都进行了通俗易懂的解释,旨在让读者明白逻辑对于日常生活及普通思维、行为方面的价值和意义,并掌握简单的逻辑思维能力和推理能力,以扩展、提高读者的认识面和认知能力。
本书是一本有关逻辑学的入门读物,通过对专业术语的通俗化解释,简单明确地阐述了逻辑学的一些基本常识,读者可以通过本书了解到逻辑学的基本知识与应用准则,能够起到逻辑学普及作用,有助于读者在工作、学习乃至生活中更好地理解和运用逻辑。
逻辑的引擎 豆瓣 Goodreads
Engines of logic
8.3 (19 个评分) 作者: [美] 马丁·戴维斯 译者: 张卜天 湖南科学技术出版社 2005 - 5
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。