Algorithmic Properties Of Structures

Selected Papers Of E Engeler

By: Erwin Engeler (Editor)

Write A Review

Hardcover | 1 January 1994

At a Glance

Hardcover
268 Pages

Dimensions(cm)
26.04 x 18.42 x 1.91

Hardcover

RRP $178.99

$161.75

10%OFF

or 4 interest-free payments of $40.44 with

or

Ships in 15 to 25 business days

The work of Erwin Engeler in the logic and algebra of computer science has been influential in the development of the discipline but has become difficult to assess due to its having appeared in different types of publications. This collection of selected papers seeks to represent an original and coherent approach to the basic interrelationships between mathematics and computer science. The volume begins with the area of enrichment of classical model theory by languages which express properties representing the outcome of hypothetical computer programmes executed in a given class of mathematical structures, and is related to questions of correctness and provability of programmes. This point of view allowed the generalization of classical Galois theory to the point of discussing the relation between structure and complexity of solution programmes for problems posed in various mathematical theories. The algebraic approach is deepened and enlarged in the later papers by showing that the algorithmic aspects of any mathematical structure can be uniformly dealt wiht by expanding these structures into combinatory algebras.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Mathematical Theory of Computation

AI Engineering

Building Applications with Foundation Models

Paperback

RRP $152.00

$73.75

51%
OFF

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Paperback

RRP $131.20

$81.75

38%
OFF

Swim Training Patterns : 1st Edition - Plan your Training Sessions with the Power of Mathematics - Christoph Bartneck

$117.75

Effective Machine Learning Teams

Best Practices for ML Practitioners

Paperback

RRP $152.00

$73.75

51%
OFF

Mathematics for Artificial Intelligence

Textbooks in Mathematics

Paperback

RRP $90.99

$82.75

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Hardcover

RRP $242.00

$233.75

Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz

$73.75

51%
OFF

AI Value Creators

Beyond the Generative AI User Mindset

Paperback

RRP $152.00

$73.75

51%
OFF

Hands-On Generative AI with Transformers and Diffusion Models

Paperback

RRP $152.00

$73.75

51%
OFF

Preface
Logics of Algorithmic Properties	p. 1
Algorithmic properties of structures	p. 3
Constructible maps	p. 21
Remarks on the theory of geometrical constructions	p. 31
Proof theory and the accuracy of computations	p. 45
Algorithmic approximations	p. 53
Structure and meaning of elementary programs	p. 73
An algorithmic model of strict finitism	p. 87
The logic of "can do"	p. 97
Galois Theory and the Structure of Problems	p. 107
On the solvability of algorithmic problems	p. 109
Towards a Galois theory of algorithmic problems	p. 131
Structural relations between programs and problems	p. 137
Lower bounds by Galois theory	p. 151
Generalized Galois theory and its application to complexity	p. 157
An Algebraization of Algorithmics	p. 183
Algebras and combinators	p. 185
Representations of varieties in combinatory algebras	p. 189
Equations in combinatory algebras	p. 199
Cumulative logic programs and modeling	p. 205
Formal models of computation in which data are processes: theory and applications	p. 217
Sketch of a new discipline of modeling	p. 231
Combinatory differential fields	p. 243
Table of Contents provided by Blackwell. All Rights Reserved.

Algorithmic Properties Of Structures

Selected Papers Of E Engeler

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

AI Engineering

Building Applications with Foundation Models

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Discrete Mathematics for Computing

Grassroots

Effective Machine Learning Teams

Best Practices for ML Practitioners

Mathematics for Artificial Intelligence

Textbooks in Mathematics

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Introduction to Modern Cryptography

Revised Third Edition

Crypto Engine Design

Cyber Shorts

Exploring Complex Networks with Quantum Walks

Crypto Engine Design

Cyber Shorts

Machine Learning Interviews

Kickstart Your Machine Learning Career

AI Value Creators

Beyond the Generative AI User Mindset

Hands-On Generative AI with Transformers and Diffusion Models

A Mathematical Introduction to Data Science with Python

Exploring Computational Geometry

Theory and Python Implementations

Risk Measures

An Introduction to the Mathematical Theory

Guide to Using Generative AI in Programming

Undergraduate Topics in Computer Science

Risk Measures

An Introduction to the Mathematical Theory

Quantum Computing

Foundations and Practice

BIM Geometry with Julia Plasmâ"Functional Language for CAD Programming

Volume 1: Mathematics and Software Engineering

Computer Vision

Cognitive Models for Visual Commonsense

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

This product is categorised by