Computer Programming and Formal Systems word 网盘高速下载地址大全免费

Computer Programming and Formal Systems精美图片

word电子书下载地址

其他格式下载地址

下载地址
[kindle] Computer Programming and Formal Systems

Computer Programming and Formal Systems书籍详细信息

ISBN：9780720422054
作者：P. Braffort / D. Hirschberg
出版社：North-Holland Publishing Company
出版时间：1963
页数：168
价格：USD 13.48
纸张：暂无纸张
装帧：Paperback
开本：暂无开本
语言：暂无语言
适合人群：Students of computer science, software engineers, professionals interested in theoretical aspects of computing, mathematics enthusiasts, and individuals preparing for advanced courses in computer science.
TAG：Programming / Computer Science / Algorithms / Mathematical Foundations / Theory of Computation / Formal Logic
豆瓣评分：暂无豆瓣评分
更新时间：2025-05-17 01:40:23

内容简介：

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 SCHÜTZENBERGER: The Algebraic Theory of Context-Free Languages .

作者简介：

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

其它内容：

暂无其它内容！

下载点评

权威(832+)
自相矛盾(742+)
无乱码(967+)
自学(247+)
情节老套(816+)
惊喜(1381+)
实用(347+)
相见恨晚(162+)
无损(187+)
直链(942+)
水印(456+)
可听读(695+)
EPUB(886+)
客观公正(506+)
MOBI(450+)
最新(268+)
云同步(634+)
TXT(831+)

下载评论

用户1723896671： ( 2024-08-17 20:11:11 )
精校版本教材资源，EPUB/AZW3格式适配各种阅读设备，推荐下载。
用户1730974682： ( 2024-11-07 18:18:02 )
EPUB格式适配手机阅读，体验不错。
用户1735515351： ( 2024-12-30 07:35:51 )
精校版本期刊资源，PDF/TXT格式适配各种阅读设备，资源优质。
用户1714331750： ( 2024-04-29 03:15:50 )
完整版本期刊资源，AZW3/TXT格式适配各种阅读设备，资源优质。
用户1722294054： ( 2024-07-30 07:00:54 )
期待有声书版本，适合通勤听。

Computer Programming and Formal Systems word 网盘 高速 下载地址大全 免费