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

经典好书《穿越计算机的迷雾》读书内容简介:带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中，读者可以学习到大量有趣的电学、数学和逻辑学知识，了解到它们是如何为电子计算机的产生创造条件，并促使它不断向着更快、更小、更强的方向发展。通过阅读《穿越计算机的迷雾》，读者可以很容...详情

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

电视剧【帕累托的误算：社会福利机关调查员杀人事件】剧情介绍:牧野聪美（桥本爱），突然有一天，她将受命接手社会工作者的工作，直面接受公共救助的人群。看着聪美忐忑不安，经验丰富的山川鼓励聪美，说这是一份很有意义的工作。于是聪美怀着满心的迷茫，与同事小野寺淳一（增田贵久）一起与接受公共救助的人群打交道。但几日后，一...详情

经典好书《Code：隐匿在计算机软硬件背后的语言（英文版）》读书内容简介:文版）》是一本讲述计算机工作原理的书。不过，你千万不要因为“工作原理”之类的字眼就武断地认为它是晦涩而难懂的。作者用丰富的想象和清晰的笔墨将看似烦杂的理论阐述得通俗易懂，你丝毫不会感到枯燥和生硬。更重要的是，你会因此更加深刻地理解计算机的工作原理。这...详情

经典好书《穿越计算机的迷雾（第2版）》读书内容简介: 作者简介详情

经典好书《极简算法史：从数学到机器的故事》读书内容简介:此成就，彼此影响。从古希腊哲学到“无所不能”的计算机，数字、计算、推理这些貌似简单的概念在三千年里融汇、碰撞。如何将逻辑赋予数学意义？如何从简单运算走向复杂智慧？这背后充满了人类智慧的闪光：从柏拉图、莱布尼茨、罗素、香农到图灵都试图从数学公式中证明推...详情

经典好书《计算机视觉中的多视图几何（原书第2版）》读书内容简介:专著《Multiple View Geometry in Conputer Vision（Second Edition）》的中译本。给定多幅未标定视图，此书给出由图像点对应估计多焦点张量（特别是基本矩阵和三焦点张量）和由这些张量恢复摄像机矩阵并实现射...详情

经典好书《机器学习算法的数学解析与Python实现》读书内容简介:念和数学原理，以通俗形象的语言进行讲解，让读者无须了解太多前置数学知识，就能看懂数学公式所表达的意思，从而快速掌握机器学习的思想和原理。本书首先介绍机器学习基本概念及工具，然后从概念、原理、Python实现、应用场景几个方面，详细剖析机器学习中主要的...详情

经典好书《21世纪语言学研究前瞻--计算机语言学的基础及应用研究》读书内容简介: 作者简介详情