عنوان
پدید آورنده
موضوع
رده
QA9.5 B947 1995
QA9
.
5
B947
1995
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1461242681
(Number (ISBN
1461287162
(Number (ISBN
9781461242680
(Number (ISBN
9781461287162
NATIONAL BIBLIOGRAPHY NUMBER
Number
b558342
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
The Combinatory Programme
General Material Designation
[Book]
First Statement of Responsibility
by Erwin Engeler.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston, MA
Name of Publisher, Distributor, etc.
Birkhäuser Boston
Date of Publication, Distribution, etc.
1995
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(156 pages)
SERIES
Series Title
Progress in theoretical computer science.
CONTENTS NOTE
Text of Note
I. Historical and Philosophical Background --;1. From Protologics to Combinatory Algebras --;2. A Brief Recapitulation of Combinatory Algebra --;3. An Algebraization of Universal Algebra --;4. Objects Reflected in Their Properties --;II. An Algebraization of Universal Algebra --;Axiomatic Extensions --;Aspects of Universal Algebra in Combinatory Logic --;Remarks on an Algebraic Theory of Recursive Degrees --;III. An Algebraization of Algorithmics --;An Algebraization of Hierarchical and Recursive Distributed Processes --;Algebra of Approximate Computation --;IV. Relations to Logical Computer-Algebraic Calculi --;Solving Discontinuous Differential Equations --;Types and Consistency --;References.
SUMMARY OR ABSTRACT
Text of Note
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians.
TOPICAL NAME USED AS SUBJECT
Combinatorial analysis.
Computer science -- Mathematics.
Computer science.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
5
Book number
B947
1995
PERSONAL NAME - PRIMARY RESPONSIBILITY
by Erwin Engeler.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Erwin Engeler
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
