Andere Kunden interessierten sich auch für
![Algorithmic Methods in Non-Commutative Algebra]( "Algorithmic Methods in Non-Commutative Algebra")
Algorithmic Methods in Non-Commutative Algebra37,99 €![Algorithmic Methods in Non-Commutative Algebra]( "Algorithmic Methods in Non-Commutative Algebra")
Algorithmic Methods in Non-Commutative Algebra59,99 €![Theory and Applications of Image Analysis II: Selected Papers from the 9th Scandinavian Conference on Image Analysis]( "Theory and Applications of Image Analysis II: Selected Papers from the 9th Scandinavian Conference on Image Analysis")
Theory and Applications of Image Analysis II: Selected Papers from the 9th Scandinavian Conference on Image Analysis154,99 €![Software Science and Engineering: Selected Papers from the Kyoto Symposia]( "Software Science and Engineering: Selected Papers from the Kyoto Symposia")
Software Science and Engineering: Selected Papers from the Kyoto Symposia123,99 €![Theory and Applications of Image Analysis: Selected Papers from the 7th Scandinavian Conference on Image Analysis]( "Theory and Applications of Image Analysis: Selected Papers from the 7th Scandinavian Conference on Image Analysis")
Theory and Applications of Image Analysis: Selected Papers from the 7th Scandinavian Conference on Image Analysis179,99 €![Theoretical Aspects of Neurocomputing: Selected Papers from the Symposium on Neural Networks and Neurocomputing (Neuronet '90)]( "Theoretical Aspects of Neurocomputing: Selected Papers from the Symposium on Neural Networks and Neurocomputing (Neuronet '90)")
Theoretical Aspects of Neurocomputing: Selected Papers from the Symposium on Neural Networks and Neurocomputing (Neuronet '90)128,99 €![Information, Randomness and Incompleteness: Papers on Algorithmic Information Theory (2nd Edition)]( "Information, Randomness and Incompleteness: Papers on Algorithmic Information Theory (2nd Edition)")
Information, Randomness and Incompleteness: Papers on Algorithmic Information Theory (2nd Edition)132,99 €
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.