经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《计算机科学概论》读书内容简介:家编写，全面而细致地介绍了计算机科学的各个方面。书中，计算系统的每个分层都以剖析，从住处层开始，历经硬件层、程序设计层、操作系统层、应用程序层的通信层，最后讨论了计算的限制。此外，正文中穿插了大量的人物传记、历史注释、道德问题和最新的技术发展信息，有...详情

经典好书《像计算机科学家一样思考Python (第2版)》读书内容简介:理解Python语言编程。贯穿全书的主体是如何思考、设计、开发的方法，而具体的编程语言，只是提供了一个具体场景方便介绍的媒介。全书共21章，详细介绍Python语言编程的方方面面。本书从基本的编程概念开始讲起，包括语言的语法和语义，而且...详情

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

经典好书《横截面与面板数据的计量经济分析（第二版）（经济科学译丛）（上、下册）》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理：横截面数据和面板数据。本书同时涵盖了线性和非线性模型，包括含有动态性和/或个体异质性的模型。除了一般估计框架（特别是矩方法与极大似然法）外，还详细介绍了一些特定的线性与非线性方法，包括probit和lo...详情

经典好书《计算机科学导论》读书内容简介:计算机科学的各个方面。本书着重讲解基本概念而不是数学模型和技术细节，通过大量的图表和演示范例讲解计算机科学的基础知识；每章后面的关键术语、小结和练习有助于读者掌握和复习知识要点。 本书既适合当作大专院校的计算机基础课教材，也可作...详情

经典好书《科维尔工作室-欧洲设计现在时(优惠价)》读书内容简介:编者三载内遍访欧洲众多设计团体，与最具思想活力和时代特征的设计师深入接触，编写中处处凝沥出对中国设计现状与问题的主动性探究。“欧洲设计现在时”一反设计类图书“重图片堆集、轻理念传播”的态度，以前罕见的、平实而通透的书籍设计方式和阅读方式演绎了欧洲设计...详情

电视剧【计中计状元财】剧情介绍: 　　单元2：五湖四海 ...详情

经典好书《关于两门新科学的对话》读书内容简介:8年，是伽利略积数十年之力写成的。该书以对话的形式总结了伽利略在材料强度和动力学方面的研究成果，以及对力学原理的思考。它是伽利略最重要的科学论著之一，也是物理学、力学、数学和哲学方面重要的经典文献。书中提出的新概念和新思想，对后来的科学发展产生了深刻...详情

经典好书《日常生活中的设计2：设计师的世界》读书内容简介:凡的日常？每一处精致的生活？每一个充满意义的细节？每一种想要更美好的生活态度？而所谓“设计师”正是平凡日常中的每一个人？！30个对设计师误读与正解的对比，20个世界顶级设计师的人生...详情