经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《主体的生成机制》读书内容简介:我的生成机制。全书将重点放在对十七年诸多电影文本的细读上，在身体生产与国家认同这个维度中，去试图打捞、审视并重读这些被遗漏在重读视野之外的，只能够在电影史的叙述中被偶尔提及和简要概述的影片，从而力图在一定程度上丰富既有的对十七年电影的研究。全书对理论...详情

经典好书《意外的时间机器》读书内容简介:·富勒，是个不起眼的MIT助理研究员，撰写博士论文之余，成天泡在物理实验室。某天，他意外地发现一个时间机器。他一边想象着自己可能获得诺贝尔奖，一边把装置安装在汽车上．跳跃到了未来。有趣的事情在于，每次跳跃的时间都是上次跳跃的12次方。而...详情

经典好书《伟大的计算原理/计算机科学丛书》读书内容简介:类计算原理（计算、通信、协作、记忆、评估和设计），旨在构建起一个框架帮助读者认识计算思维，领会其核心思想──计算原理的相互影响以及问题有效解决的思维方式，并将计算思维运用到计算机科学以外的其他领域。本书适合作为高等学校非计算机专业计算思维课程以及计算...详情

经典好书《计算机是怎样跑起来的》读书内容简介:，回归到计算机的基础知识上。通过探究计算机的本质，提升工程师对计算机的兴趣，在面对复杂的最新技术时，能够迅速掌握其要点并灵活运用。本书以图配文，以计算机的三大原则为开端、相继介绍了计算机的结构、手工汇编、程序流程、算法、数据结构、面向对...详情

经典好书《屋顶上的一架飞机》读书内容简介:的作家之一。他出生于德国南部与瑞士和奥地利交界的瓦塞堡，11岁时父亲去世，很小的时候便在母亲的餐馆里帮工。1944年应征入伍，1946-1951年在雷根斯堡和蒂宾根大学攻读文学、历史和哲学，获博士学位。他曾是作家团体“四七社”的成员，1957年成为职...详情

经典好书《大熊市启示录：百年金融史中的超级恐慌与机会（原书第4版）》读书内容简介:究数据和成果，剖析华尔街四次历史大底:·熊市的历程·熊市底部的特征·熊市的市场结构通过观察市场在熊市底部是如何运作的，纳皮尔为投资者提供了一部金融领域的指南，帮助投资者为未来的挑战尽可能做好准备...详情

经典好书《郎咸平说：谁都逃不掉的金融危机》读书内容简介:地工作”？你是不是也曾经像这代人一样心怀一个简单而淳朴的梦想：只要努力打拼，就能“追求一种意想不到的温柔”？为此，你“就算受了冷漠，也不放弃自己想要的生活”。可血淋淋的现实摆在你面前：企业倒闭，百业萧条，更可怕的是过去那种简单的生活一去...详情

经典好书《文字即垃圾：危机之后的文学》读书内容简介:“拜德雅”联手青年学术团体“泼先生”，创生栩栩如生之思与诗•在lituraterre而非littérature的题铭下，在“把文字化作垃圾”的时刻，尝试开启一场美妙的文学旅程•并非写作宝鉴、阅读指南，只是一次充满洞见的文学...详情

经典好书《青春的契机》读书内容简介:來，並以機智、幽默、謙卑與熱忱，讓父母看到如何把握無數的機會，跟家中的青春期兒女深入溝通，一起學習、一起成長。作者简介保羅‧大衛‧區普，是費城神學院道學碩士，韋恩敏斯特神學院教牧博士。他是牧師、諮詢顧問，擔任美國賓州基督徒...详情