Engines of Logic 2024 pdf epub mobi 电子书

☆☆☆☆☆
简体网页||繁体网页

Engines of Logic 2024 pdf epub mobi 电子书著者简介

马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。

Engines of Logic 电子书图书目录

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-05-18

Engines of Logic 2024 pdf epub mobi 电子书

喜欢 Engines of Logic 电子书的读者还喜欢

Engines of Logic 电子书读后感

评分☆☆☆☆☆

（一）有一阵，我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目：《艺术创想》。这个节目里有很多出乎你意料的东西：废旧的报纸经过主持人的手能变成精美的画框，普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。有一回，主持人跑到某个学校的厨房...

评分☆☆☆☆☆

每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可...

评分☆☆☆☆☆

1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才，最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒，而且都是通识教育，可以更早的不受限的进行自由的探索有关。 2. 像某人说的，现在我们看似直接的定义和理论，...

评分☆☆☆☆☆

* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的：她在当前注意的方格里写下一个符号，然后把注意力转向它左边或右边的相邻方格。 ...

类似图书点击查看全场最低价

出版者:W. W. Norton & Company

作者:Martin Davis

出品人:

页数:272

译者:

出版时间:2001-09

价格:USD 19.95

装帧:Paperback

isbn号码:9780393322293

丛书系列:

图书标签: 逻辑计算机科学数学科普计算机 logic mathematics 经典

Engines of Logic 2024 pdf epub mobi 电子书图书描述

Computers are ubiquitous yet to many they remain objects of irreducible mystery. This text looks at the question of how today's computers can perform such a variety of tasks if computing is just glorified arithmetic. The author illustrates how the answer lies in the fact that computers are essentially engines of logic and that their hardware and software embody concepts developed over centuries by logicians. "Engines of Logic" gives the reader a clear explanation of how and why computers work.

Engines of Logic 2024 pdf epub mobi 电子书

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

Engines of Logic 2024 pdf epub mobi 用户评价

评分☆☆☆☆☆

英文原书不好读，充斥了大量的长难句和历史背景。但书的内容没得说，可以作为逻辑与计算的学习主线

评分☆☆☆☆☆

宋老师推荐的科普书，写的非常漂亮，不过还是有不少地方没看懂

评分☆☆☆☆☆

莱布尼茨－布尔－弗雷格－康托尔－罗素－希尔伯特－哥德尔－图灵－冯诺依曼。不过it's still not clear how Godel incompleteness theorem is related to Turing's universal machine.

评分☆☆☆☆☆

终于乘下雪的夜晚读完了计算机史，简直就是一部曲折蔓延伟大的数学史啊！从莱布尼茨开创微积分，乔治布尔用0/1将逻辑化为代数（哲学）到弗雷格发明逻辑学的基本形式符号，康托尔的离散数学（实数和自然数的连续性以及对角线证明）。希尔伯特那段元数学把我吓得不轻，差点忽略了重要的希尔伯特23问和判定性问题。哥德堡近乎是全书里立大功的人，除开哥德堡不完备定律（第三次数学危机啊），他所建立在逻辑公式下的符号语言太惊艳了，就是最最最基础的Coding编程，程序语言啊。图灵果然也是真爱，图灵机判断奇偶和无法解决的判断问题那两段证明太帅了，到这时才算真正的Compuation概念应用。至于诺依曼以计算机之父出场制造EDVAC时，上追罗素、泛及康德和维特根斯坦的（数学、哲学、逻辑、语言学）计算机史将更加辉煌 M.

评分☆☆☆☆☆

who knows all the great mathmaticians all struggled with god's existence ...

Engines of Logic 2024 pdf epub mobi 电子书