《Computation, Proof, Machine》电子书下载

Computation, Proof, Machinetxt，chm，pdf，epub，mobi下载
作者: Gilles Dowek
出版社: Cambridge University Press
副标题: Mathematics Enters a New Age
译者: Marion Roman
出版年: 2015-5-31
页数: 160
定价: GBP 24.99
装帧: Paperback
ISBN: 9780521133777

作者简介  · · · · · ·

吉尔·多维克（Gilles Dowek），法国数学家、逻辑学家和计算机科学家，法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家，美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品，曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。

下载地址

发布者：身后未平息的风

文件说明：zip / 解压密码:yiquhai.com

迅雷下载：您需要先后，才能查看

网盘下载：您需要先后，才能查看

关于内容：内容自于互联网，如果发现有违规内容请联系管理员删除！

作者： 身后未平息的风

身后未平息的风

该用户很懒，还没有介绍自己。

98 条评论

发表评论

  1. 晴天_xy 晴天_xy说道：
    8-30
    1#

    哲学问题

    回复
  2. 喂你有七块钱吗 喂你有七块钱吗说道：
    11-20
    2#

    让人叹为观止。

    回复
  3. 你是会闪光的星 你是会闪光的星说道：
    9-26
    3#

    回复
  4. 彭彭彭厉害 彭彭彭厉害说道：
    1-16
    4#

    上周培训老师推荐的

    回复
  5. 显示更多