经典好书《计算复杂性》读书内容简介:fessor in the department of computer science at Princeton University. He has done foundational work on probabilistically chec...详情

经典好书《可计算性与数理逻辑》读书内容简介:订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如歌德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为...详情

经典好书《计算机系统结构》读书内容简介:统而全面地介绍了计算机系统的设计基础、指令集系统结构、流水线和指令级并行技术、层次化存储系统与存储设备、互连网络以及多处理器系统等重要内容。对计算机系统结构的论述主要以较流行的64 位MIPS结构为基础，通过量化分析的方法进行。《计算机系统结构:量化...详情

经典好书《计算机与人脑》读书内容简介:的过程进行了比较研究，具有高度的前瞻性，为机器人研究指明了方向。《计算机与人脑》形象生动，图文并茂，对广大青少年科技创新思维具有极大启发作用，该书被誉为20世纪的天才之作。作者简介作者约翰·冯·诺意曼（1903—1957）...详情

经典好书《溯源中国计算机》读书内容简介:发展紧密关联，当年的创业者们用今天看来性能不高的数字设备奇迹般地攻克了众多高难度课题，为科技、经济与国防开辟了数字大道。本书引用了大量原始照片和文献，展示了我国计算机领域三十年的创业长卷，作者把“人”放在首要位置，从决策思维和创新环境两个方面重点展开...详情

经典好书《计算分子进化》读书内容简介:业于甘肃农业大学，1992年获北京农业大学博士学位。曾在甘肃农业大学和北京农业大学畜牧系工作以及英美等国从事博士后研究。1997年起在伦敦大学学院(University College London)生物系任教(1997-2000年任讲师，2000-...详情

经典好书《计算系统的形式语义》读书内容简介:两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第...详情

电视剧【韩剧上流社会】剧情介绍:即使自己不是财阀女儿、也愿意爱自己的男人，以及一位认为爱情是领导阶层为了支配他人而使用的情绪性手段、爱情只是束缚的男人。一位财阀的小女儿与一位由贫困双亲培养出来的男人，面对爱情、金钱、和生活的故事。　　　　　...详情

经典好书《宋代科举社会》读书内容简介:，成熟于宋代。宋廷以考试选拔人才，不限门第，且因出版市场发达，教育机会扩大，知识传播日益普遍，许多没有家世背景的子弟为了出人头地，有志于读书应考，以求仕进。读书人不论出身，均有机会经由科举考试晋升为官宦，演变而为所谓的科举社会。庞大的士...详情

经典好书《惩罚的社会》读书内容简介:之一，授课时间为1972～1973年。福柯在学术上多产的时期，正是教授《惩罚的社会》课程这段时期，主要是关于监禁机构和其他机构及普遍社会之间的关系的具体主题。福柯对于刑事问题的探究，在1973年1月转向了更大的目标，他不但致力于刑罚的产 生方面，而且...详情