点击选择搜索分类
沃新书屋 - Computer Programming and Formal Systems
本书资料更新时间：2025-05-20 20:58:16

Computer Programming and Formal Systems

Computer Programming and Formal Systems精美图片

Computer Programming and Formal Systems电子书籍推荐下载地址

Computer Programming and Formal Systems书籍详细信息

内容简介：

A product of two seminars held in the IBM World Trade European Education Center of Blaricum (Holland) in 1961, the first of which was dedicated to a general survey of non-numerical applications of computers whereas the second was more specifically concerned with some aspects of the theory of formal systems.

书籍目录：

Preface. . . . . . . . . . HAO WANG: Mechanical Mathematics and Inferential Analysis . . . E. W. BETH: Observations Concerning Computing, Deduction, and Heuristics JOHN MCCATHY: A Basis for a Mathematical Theory of Computation . P. C. GILMORE: An Abstract Computer with a Lisp-Like Machine Language without a Label Operator STIG KANGER: A Simplified Proof Method for Elementary Logic A. ROBINSON A Basis for the Mechanization of the Theory of Equations . ARTHUR W. BURKS Programming and the Theory of Automata . . . N. CHOMSKY and SCHÜTZENBERGER: The Algebraic Theory of Context-Free Languages .

作者简介：

暂无相关内容，正在全力查找中

其它内容：

暂无其它内容！

下载点评

  • 完整(128+)
  • 研究(103+)
  • EPUB(682+)
  • 自动(725+)
  • 多格式(833+)
  • 自学(228+)
  • 清晰(782+)
  • 低清(680+)
  • 缺页(285+)
  • 超值(761+)
  • 流畅(694+)
  • 可检索(983+)
  • 格式多(898+)
  • 超预期(411+)
  • 多终端(284+)
  • 强推(496+)
  • 满意(707+)
  • MOBI(450+)
  • 浅薄(803+)
  • 批注(555+)

下载评论

  • 用户1722821274： ( 2024-08-05 09:27:54 )

    完整的报告资源，多格式设计提升阅读体验，体验良好。

  • 用户1739021477： ( 2025-02-08 21:31:17 )

    音频功能搭配PDF/MOBI格式，高清数字阅读体验，值得收藏。

  • 用户1740003796： ( 2025-02-20 06:23:16 )

    完整的期刊资源，互动设计提升阅读体验，资源优质。

  • 用户1738293959： ( 2025-01-31 11:25:59 )

    精校版本小说资源，EPUB/TXT格式适配各种阅读设备，推荐下载。

  • 用户1732237275： ( 2024-11-22 09:01:15 )

    互动功能搭配EPUB/TXT格式，高清数字阅读体验，值得收藏。

相关书评

暂时还没有人为这本书评论！

喜欢""的人也看了

Computer Programming and Formal Systems分类索引数据信息

ISBN：9780720422054
出版日期：1963
适合人群：Computer scientists, Software developers, Mathematics students, Students of Computer Engineering, Hobbyists interested in programming and theory, Academic researchers in computer science
以下书单推荐

© 2009-2025 沃新书屋 蜀ICP备2023017472号

免责声明：本站数据来自互联网公开的数据索引，如果侵犯了您的版权，请点击这里联系删除
对于本站页面标记为“广告、ad” 或非本站域名的链接内容不受本站管控，请自行辨别内容真实性/合法性，本站对此类信息或者链接内容的真实性/合法性不负责任。