Algorithmic Properties Of Structures: Selected Papers Of E Engeler - Hardcover

Hardcover

ISBN 10: 9810208723 ISBN 13: 9789810208721

Verlag: World Scientific Publishing Co Pte Ltd, 1994

Inhaltsangabe

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.

Über diesen Titel

Reseña del editor

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.

Details zur Ausgabe

• Verlag: World Scientific Publishing Co Pte Ltd
• Erscheinungsdatum: 1994
• Sprache: Englisch
• ISBN 10: 9810208723
• ISBN 13: 9789810208721
• Einband: Tapa dura
• Anzahl der Seiten: 268
• Herausgeber: Engeler Erwin
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar