思维导图备注

计算进化史：改变数学的命运
首页 收藏书籍 阅读记录
  • 书签 我的书签
  • 添加书签 添加书签 移除书签 移除书签

附录一　人物简介

浏览 1 扫码
  • 小字体
  • 中字体
  • 大字体
2022-02-28 17:18:06
请 登录 再阅读
上一篇:
下一篇:
  • 书签
  • 添加书签 移除书签
  • 封面
  • 致热拉尔·于埃
  • 前言　数学踏上新的征程
  • 第一篇　古老的起源
    • 第1章　从史前数学到希腊数学
  • 第二篇　古典时代
    • 第3章　谓词逻辑
    • 第5章　丘奇论题
    • 第6章为计算树立数学地位的尝试——λ演算
    • 第7章　构造性
    • 第8章　构造性证明与算法
  • 第三篇　公理化危机
    • 第9章　直觉主义类型论
    • 第11章　证明检验
    • 第12章　学界新进展
    • 第13章　工 具
    • 第14章　公理的终结？
    • 结　语　旅程的尾声
  • 附录一　人物简介
  • 附录二　参考文献
  • 索　引
暂无相关搜索结果！
    展开/收起文章目录

    二维码

    手机扫一扫，轻松掌上学

    《计算进化史：改变数学的命运》电子书下载

    请下载您需要的格式的电子书，随时随地，享受学习的乐趣！
    EPUB 电子书

    书签列表

      阅读记录

      阅读进度: 0.00% ( 0/0 ) 重置阅读进度