这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题（语法，语义，完备性和紧致性），但是书中大部分讨论的是其他主题，诸如消定理证明，逻辑式程序设计非经典逻辑（模态逻辑和直觉主义逻辑），而这些主题在现代计算机科学中变得越来越理要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。

“本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……” ——美国计算机协会自动机与可计算性理论专业组 (SIGACT) 这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑（模态逻辑和直觉主义逻辑），所用的方法与数理逻辑的经典著作有很大不同，更加适合研究计算机理论的读者，可以帮助他们更好地理解计算机理论中的许多概念，是一本真正面向计算机科学的逻辑著作。另外，每章最后给出了进一步阅读建议，书末又分主题给出了相当多的参考文献，便于读者深入学习。 本书不要求读者具备逻辑基础知识，适合计算机科学系和数学系高年级本科生以及低年级研究生使用。

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题（语法，语义，完备性和紧致性），但是书中大部分讨论的是其他主题，诸如消定理证明，逻辑式程序设计非经典逻辑（模态逻辑和直觉主义逻辑），而这些主题在现代计算机科学中变得越来越理要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。

《论证与分析:逻辑的应用》是为训练青年人的逻辑思维能力而写的书。对于青年人，尤其是文科高校的本科生，具有逻辑头脑比具备逻辑知识更重要。那么，怎样才能把逻辑知识的学习与逻辑思维能力的培养有效地结合起来呢？这就是《论证与分析:逻辑的应用》倾全力要解决的问题。 这是一本以分析和处理日常思维中的逻辑问题为主要目标的逻辑教科书。它在内容与体系的安排、材料选择与研究方法的运用等方面的无先例。最简易的检验方法莫过于随便翻翻这本书。 这是一本人人都能读懂的书。它通俗而不庸俗、易懂而不乏学术性、选材丰富而不哗众取宠、追求实用而不敢忽视知识传播的严肃性……它是一本有助于提高读者的逻辑思维能力从而使人具有良好的思维素质的书。

本书针对“数字景观”这一风景园林前沿课题，从“逻辑、结构、方法与运用”等方面首次系统地建构了数字景观概念；从价值与内涵出发，深度解读了“数字景观”的原理；从逻辑、架构与平台入手，阐释了“数字景观”的结构；针对“数据采集、数据分析、方案模拟、数字建造、绩效测控”等景园规划设计环节，总结了“数字景观”的研究与运用方法；从风景园林环境评价、景园规划设计、海绵城市设计、景园色彩设计、景园空间研究、景园行为研究等领域，详细解读“数字景观”的运用与成果。

《现代逻辑在法律中的应用》回答了法律人总追问的：现代逻辑对法律到底有什么重要意义？简单的说，对该问题可以这样回答：“现代逻辑提供了具有内在一致性的表达和分析思维的全新原则和方法，而这种思维是正确、有效地完成法律工作所必不可少的。”这个答案也许并不能彻底消除对现代逻辑在法律中应用的困惑。如果希望有更进一步的了解，就必须深入到一些相关分析之中，它们从多个方面证明了现代逻辑对法律思维的重要作用。《现代逻辑在法律中的应用》就是讲如何深入这些分析之中的，以及在这一过程中，法律逻辑所面对的各种质疑。借助于法律逻辑，法律思维的合理性得到增强，至今所取得的成就以及正在取得的成就很好地回应了其中的一些批评。

彦贵，男，汉族，中共党员，江苏阜宁人。1959年10月出生于常州市，后来随父母下放到响水县六套公社引河大队。1979年考入南京师范学院中文系，1983年毕业获文学学士学位。2006年获江苏省委党校在职研究生学历。曾先后担任响水县中学高中语文教师，中共响水县委办公室秘书、科长、副主任，响水县老舍乡党委书记，响水县委常委、宣传部部长，响水县人大常委会副主任、党组副书记（主持工作），响水县政协主席、党组书记。现为中国逻辑学会理事，江苏省逻辑学会常务理事，盐城市逻辑学会会长，盐城师范学院兼职教授，盐城市社科联课题评审专家，响水湖海艺文社社长。著有《浅尝集——关于逻辑与语言的应用研究》《也无风雨也无晴——我的南师日记选》等。主编《灌河文学选萃》丛书、《响水文学四十年》丛书及《故道风雅颂》《故道文化论》《响水往事》《响水英才》等文学文史类图书近800万字。

彦贵，男，汉族，中共党员，江苏阜宁人。1959年10月出生于常州市，后来随父母下放到响水县六套公社引河大队。1979年考入南京师范学院中文系，1983年毕业获文学学士学位。2006年获江苏省委党校在职研究生学历。曾先后担任响水县中学高中语文教师，中共响水县委办公室秘书、科长、副主任，响水县老舍乡党委书记，响水县委常委、宣传部部长，响水县人大常委会副主任、党组副书记（主持工作），响水县政协主席、党组书记。现为中国逻辑学会理事，江苏省逻辑学会常务理事，盐城市逻辑学会会长，盐城师范学院兼职教授，盐城市社科联课题评审专家，响水湖海艺文社社长。著有《浅尝集——关于逻辑与语言的应用研究》《也无风雨也无晴——我的南师日记选》等。主编《灌河文学选萃》丛书、《响水文学四十年》丛书及《故道风雅颂》《故道文化论》《响水往事》《响水英才》等文学文史类图书近800万字。

《逻辑》是金岳霖哲学三书之一，是《论道》《知识论》的论证基础。逻辑是一门研究推理或论证有效性的工具性思维科学，也是指导构筑本体论和认识论的方法论。本书主要介绍逻辑中的演绎法。书中前两部分是对传统逻辑的介绍与批评；第三部分介绍了现代西方数理逻辑系统；第四部分就逻辑系统的完全性、一致性和独立性等问题予以深入探讨。作者以深厚的学术功底、缜密的逻辑思维，将貌似枯燥的逻辑理论娓娓道来，读来令人豁然开朗。名家推荐：《逻辑》是国内唯—具新水准之逻辑教本。——贺麟（哲学家）金先生治学精深，而著作不多。除了一本大学丛书里的《逻辑》，我所知道的，还有一本《论道》。——汪曾祺（作家）他(授业恩师金岳霖)不仅是一位教逻辑和英国经验论的教授，并且是一位道德感极强烈的知识分子。——殷海光（逻辑学家）

曲折离奇的情节，让人无意识地深入其中不能自拔。匪夷所思的逻辑，使人绞尽脑汁而不得其解。如深夜里镜子偶尔折射出的幽冷光线，动人心魄！ 当符合正常世界的逻辑被完全打破，所发生的一系列层出不穷的事件都是那么的不可思议，无法用常理来解决时，你会如何反应？ 是茫然不知所措惊惧地坐等结论的出现？还是找出答案，制止事件的不断发生？ 作者给我们设了一个迷局，一个令人觉得匪夷所思却又欲罢不能的迷局。随着故事情节的层层展开，出人意料的真相逐渐浮出水面。我们不禁要由衷地惊诧于作者的用心良普和匠心独具。 那些怨恨积蓄的能量，到底会有多大？人们将为自己的冷漠和“罪过”付出怎样的代价？作者着眼于人性的弱点、缺损以及由此而来的忏悔、自赎、向善，人生感悟深刻且细腻，令人叹息，耐人寻味。 不论人们是否能从作者所设的迷局中为生命的价值和人性的善恶找到答案，但有一点想必是会引发我们的感...(展开全部)