收集各种英文电子书(non-fiction非虚构类为主)、国外电子教材(特别是法律)、港台书、英文有声书、儿童绘本、杂志、漫画、国外视频课程。
每年开学季,破解大量的美国法学院教材,法律系社群组建中
私聊群主,加入新书资讯群
资讯群
邀请您加入英文资讯群
《A.M. 图灵文集》Collected Works of A.M. Turing
Mechanical Intelligence (Volume 1)
Pure Mathematics (Volume 2)
Morphogenesis (Volume 3)
Mathematical Logic (Volume 4)
图灵文集共四卷:《机械智能》、《纯数学》、《形态发生》和《数理逻辑》。艾伦·麦西森·图灵 (1912-1954) 是一位才华横溢的人物,在多个科学领域做出了重大贡献。如今,在有关人工智能本质的哲学讨论中,他的名字经常被提及。事实上,他是计算机架构和软件工程领域的先驱研究者;他在纯数学和数理逻辑方面的工作范围更广,他的最后一篇关于植物形态发生的研究也被认为是最具独创性和永恒重要性的。他是二十世纪科学界的领军人物之一,如果不是英国官方保密法阻止讨论他的战时工作,这一事实早就为公众所知。这些论文可能令人惊讶的是,尽管它们是几十年前写的,但它们解决了当今研究人员关注的主要问题。
关于数学理论的经典之作,此书作为《A.M. 图灵文集》系列中的第二卷,不仅包含了纯粹数学的深度讨论,还特别强调了计算机科学之父——艾伦·麦西森·图灵(Alan Mathison Turing)在其职业生涯中对数学领域的贡献。本书通过解析图灵的思想和工作,为读者提供了一个深入了解这位伟大科学家的机会。
本书首先回顾了图灵早期的数学成就,特别是他在数理逻辑方面的贡献。书中详细阐述了图灵对于可计算性理论的发展,尤其是他提出的“图灵测试”,这是评估机器是否具有智能的一种方法。通过这些介绍,读者可以了解到图灵是如何将逻辑思维与计算理论完美结合,从而开创了人工智能这一新兴领域的。
除了理论部分,本书还收录了图灵的一些重要论文和信件,这些文献记录了他在不同阶段的研究思路和成果。例如,书中特别提到了图灵在生物学形态发生学领域的探索,展示了他对自然界模式形成机制的兴趣。
《数理逻辑》是 20 世纪科学界领军人物之一的著作合集。
这本 A.M. 图灵著作合集旨在收录他所有的成熟科学著作,包括大量未发表的材料。他在纯数学和数理逻辑方面的工作范围更广;他晚年关于植物形态发生的工作也极具独创性,具有永久的重要性。
本书分为三部分。第一部分侧重于可计算性和序数逻辑,涵盖了图灵在 1937 年至 1938 年之间的工作。第二部分涵盖类型理论;它对图灵在类型理论方面的工作进行了一般性介绍,并涵盖了他在 1941 年至 1948 年之间发表和未发表的作品。最后,第三部分侧重于谜团、秘密和未解决的问题。本书的这一部分讨论了图灵的《谜论》,并摘录了《谜论文》。它还深入研究了图灵关于编程和最小成本序列分析的论文,并摘录了未发表的手稿。这本书将引起数学家、逻辑学家和计算机科学家的兴趣。
电子书阅读器
ios强烈推荐
微信读书app,自动翻译成中英文对照
kybook app或者自带的Book App,
windows墙裂推荐
NeatReader或Calibre app,
Android墙裂推荐
静读天下或者掌阅app
PS. epub为互联网上最流行的电子书格式
有声书音频
M4B为高清的音频格式,用Kybook播放,自动分章节,电脑用VLC播放器,安卓用
audiobook player
因公众号推送规则变更
点击标题下方蓝字 关注+星标 “不听不听妈妈念经”
不要错过更多优质内容
私聊群主,加入新书资讯群
部分书籍配有声书