Computer Programming and Formal Systems pdf epub mobi txt 电子书下载 2025

简体网页||繁体网页

☆☆☆☆☆

出版者:North-Holland Publishing Company

作者:P. Braffort

出品人:

页数:168

译者:

出版时间:1963

价格:USD 13.48

装帧:Paperback

isbn号码:9780720422054

丛书系列:

图书标签:

计算机
system
mathematical
logic
formal
computation
计算机编程
形式系统
编程语言
形式化方法
计算理论
算法
数据结构
离散数学
程序设计
理论计算机科学

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

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 .
· · · · · · (收起)