返回

逻辑的引擎——现代计算机的基本概念(2018版)165页

搜索
推荐 最新 热门

逻辑的引擎——现代计算机的基本概念(2018版)165页

资料简介

目录 第1章 莱布尼茨之梦 7 莱布尼茨的奇思妙想 8 巴黎 9 汉诺威 10 普遍文字 11 第2章 布把逻辑变成代数 12 乔治 布的艰辛岁月 13 乔治 布的逻辑代数 14 布与莱布尼茨之梦 15 第3章 弗雷格:从突破到绝望 16 …

目录
第1章 莱布尼茨之梦 7
莱布尼茨的奇思妙想 8
巴黎 9
汉诺威 10
普遍文字 11
第2章 布把逻辑变成代数 12
乔治 布的艰辛岁月 13
乔治 布的逻辑代数 14
布与莱布尼茨之梦 15
第3章 弗雷格:从突破到绝望 16
弗雷格的概念文字 17
弗雷格发明形式句法 18
伯特兰 罗素的信为何如此具有毁灭性 19
弗雷格和语言哲学 20
弗雷格与莱布尼茨之梦 21
第4章 康托:在无限中摸索 22
工程师还是数学家 23
无穷集的大小是不同的 24
康托对无限数的探求 25
对角线方法 26
沮丧和悲剧 27
一场决定性的战斗 28
第5章 希伯特的营救 29
希伯特早期的胜利 30
面向一个新世纪 31
克罗内克的幽灵 32
元数学 33
灾难 34
第6章 哥德使计划落空 35
克罗内克的幽灵的回归 36
不可判定命题 37
库特 哥德,计算机程序设计师 38
柯尼斯堡会议 39
爱与恨 40
希伯特的宣言 41
一个奇特的人和一个悲哀的结局 42
第7章 图灵构想通用计算机 43
帝国的孩子 44
希伯特的判定问题 45
图灵对计算过程的分析 46
运转的图灵机 47
图灵应用康托的对角线方法 48
不可解问题 49
前提 50
结论 51
图灵的通用机 52
阿兰 图灵在普林斯顿 53
阿兰 图灵的战争 54
第8章 研制第一批通用计算机 55
谁发明了计算机 56
约翰 冯 诺依曼与摩学院 57
阿兰 图灵的ACE(自动计算机) 58
埃克特、冯 诺依曼和图灵 59
知恩的国家对其英雄的回报 60
第9章 超越莱布尼茨之梦 61
计算机、大脑和心灵 62
尾声 63
注释 64
参考书目 65
译后记 66