Algorithmic Properties of Structures

Released on by Erwin Engeler
preview-18

  • Algorithmic Properties of Structures Book Detail

  • Author : Erwin Engeler
  • Release Date : 1993
  • Publisher : World Scientific
  • Genre : Computers
  • Pages : 272
  • ISBN 13 : 9789810208721
  • File Size : 25,25 MB
DOWNLOAD BOOK

Algorithmic Properties of Structures by Erwin Engeler PDF Summary

Book Description: The work of Erwin Engeler in the logic and algebra of computer science has been influential but has become difficult to access because it has appeared in different types of publications. This collection of selected papers is therefore timely and useful. It represents 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 programs executed in a given class of mathematical structures, and is related to questions of correctness and provability of programs. This point of view allowed the generalization of classical Galois theory to the point of discussing the relation between structure and complexity of solution programs 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 with by expanding these structures into combinatory algebras.

Disclaimer: www.yourbookbest.com does not own Algorithmic Properties of Structures books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Algorithmic Properties of Structures

Algorithmic Properties of Structures

File Size : 47,47 MB
Total View : 9639 Views
DOWNLOAD

The work of Erwin Engeler in the logic and algebra of computer science has been influential but has become difficult to access because it has appeared in differ

Foundations of Mathematics

Foundations of Mathematics

File Size : 91,91 MB
Total View : 3198 Views
DOWNLOAD

This book appeared about ten years ago in Gennan. It started as notes for a course which I gave intermittently at the ETH over a number of years. Following repe

The Combinatory Programme

The Combinatory Programme

File Size : 20,20 MB
Total View : 9304 Views
DOWNLOAD

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

Axiomatic Thinking I

Axiomatic Thinking I

File Size : 83,83 MB
Total View : 7224 Views
DOWNLOAD

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for ou