本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。. 本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。.

《身体的智能:智能科学新视角》采用易于理解的非技术化语言，通过介绍大量例子以及建立在机器人学、生物学、神经科学和心理学最新发展成果之上的基本概念，来阐述关于智能的可行理论。书中还介绍了这一理论在普适计算、经济与管理学以及人类记忆的心理学领域中的应用。两位作者描述的具身性智能对我们理解自然智能和人工智能都具有重要意义。 我们的大脑控制着身体，人尽皆知，那么我们的身体又是如何影响思维的呢?Rolf Pfeifer和Josh Bongard两位作者将通过《身体的智能:智能科学新视角》向您揭示我们的思想并非独立于身体，而是受到身体的紧密约束和激励。他们认为我们所能具有的种种思想都是基于具身性——我们身体的形态和材质特性。 《身体的智能:智能科学新视角》可供人工智能领域的科研工作者及研究生参考，也可供相关专业的科研人员参考。

信息技术、生物工程、纳米材料是当代科技三大前沿，到21世纪，这三大技术将合力打造出的新的智能机器，将重塑人类的大脑和躯体。作者大胆预测：到21世纪，人类和机器将难分彼此，人类将不再是万物之灵。电脑将比人脑有高一万倍的智能。机器不仅具有智能，而且具有灵魂，将具有人类的意识、情绪和欲望；而人类身体中植入了用生物工程和纳米材料制成的电脑芯片、人造器官，将比现代人类更长寿，有更强的学习能力，更灵敏的视觉和听觉，而虚拟现实有可能使人机发生“恋爱”……这不是科幻小说，更不是天方夜谭，这是库兹韦尔为我们描述的“灵魂机器的时代”。 库兹韦尔在书后的大事年表中展示了宇宙演化、生命进化和科技发展的历程，使读者对世界科技的发展过程和未来走向一目了然。 感谢余秋雨先生为本书中文版写的精彩序文，它为我们如何阅读这本万花筒般的书指明了路径。

In the readition of the bestselling Chaos and A Brief History of Time, here is a science book with mainstream appeal. Proponents of artificial intelligence maintain that eventually a computer will be able to do everything a human mind can do, but Oxford University Professor of Mathematics Roger Penrose explains his view that there are facets of human thinking that can never be emulated by a machine. Drawings throughout. Some love it, some hate it, but The Emperor's New Mind, physicist Roger Penrose's 1989 treatise attacking the foundations of strong artificial intelligence, is crucial for anyone interested in the history of thinking about AI and consciousness. Part survey of modern physics, part exploration of the philosophy of mind, the book is not for casual readers--though it's not overly technical, it rarely pauses to let the reader catch a breath. The overview of relativity and quantum theory, written by a master, is priceless and uncontroversial. The exploration of consciousness and AI, though, is generally considered as resting on shakier ground. Penrose claims that there is an intimate, perhaps unknowable relation between quantum effects and our thinking, and ultimately derives his anti-AI stance from his proposition that some, if not all, of our thinking is non-algorithmic. Of course, these days we believe that there are other avenues to AI than traditional algorithmic programming; while he has been accused of setting up straw robots to knock down, this accusation is unfair. Little was then known about the power of neural networks and behavior-based robotics to simulate (and, some would say, produce) intelligent problem-solving behavior. Whether these tools will lead to strong AI is ultimately a question of belief, not proof, and The Emperor's New Mind offers powerful arguments useful to believer and nonbeliever alike. --Rob Lightner

【内容简介】 本书集中精力对操作系统的核心内容进行分析，包括操作系统发展的历史背景、进程与线程、内存管理、文件系统、输入与输出、多核环境下的进程调度和操作系统设计。本书用大量生活实例，生动解释了操作系统中的主要难点和模糊点：锁的实现、同步机制的发展轴线、纯粹分段到段页式的演变、多核环境下的进程同步与调度和操作系统设计等内容，而放弃了对操作系统核心以外内容，如安全、多媒体系统、虚拟机技术、光盘技术等的论述。本书重点突出、逻辑清晰、内容连贯，便于学生顺利掌握操作系统的核心内容。. 本书层次丰富、涵盖操作系统的所有核心内容，适合作为国内高校计算机及相关专业本科生操作系统课程的教材，也是了解计算机操作系统原理不可多得的参考书。 这是一个瞬息万变的时代。.. 分布式计算的脚步渐行渐远，网格计算的热潮逐步退却，云计算和云存储正慢慢揭开面纱……在所有的变化中，不变的是这些计算的支柱：操作系统!能否深刻理解它也许会决定云时代的“浮沉”。 本书从生活哲学的视角对操作系统的原理进行阐述，通过逻辑推理演绎操作系统核心技术的奥秘，讨论范围包括操作系统的所有基础内容：背景与历史。进程与线程、通信与同步、调度与死锁，分页与分段。磁盘与文件。输入与输出等。此外，作者以新颖的组织方式讲解了锁的实现、同步机制的发展逻辑。从分段到段页式的演变、多核环境下的同步与调度、操作系统设计的原则。 本书对操作系统原理的讨论充满趣味性：每一章都力求细致地阐明一个主题，将通俗的哲学原理和逻辑推理贯穿于每一个主题，构成全书的有机整体，并适当地引入计算机组成和编译器知识，揭示操作系统在程序运行中发挥的作用，把读者对操作系统的理解带到一个崭新的境界。...

本书主要介绍了Unix系统领域中的设计和开发哲学、思想文化体系、原则与经验，由公认的Unix编程大师、开源运动领袖人物之一Eric S. Raymond倾力多年写作而成。包括Unix设计者在内的多位领域专家也为本书贡献了宝贵的内容。本书内容涉及社群文化、软件开发设计与实现，覆盖面广、内容深邃，完全展现了作者极其深厚的经验积累和领域智慧。