' ALGORITHMIC PROPERTIES OF STRUCTURES - ERWIN ENGELER

Livraria da Física

TeleFONES
Loja virtual
Loja IFUSP : (11) 3815 8688
Editora
ESCRITÓRIO (11) 3459 4323 OU 3459 4324 ou 3459 4326
Seu carrinho
  • Busca avançada

Física

ALGORITHMIC PROPERTIES OF STRUCTURES
ERWIN ENGELER
Sujeito à disponibilidade do fornecedor
Editora World Scientific
Área MATEMÁTICA
Idioma Inglês
Número de páginas 257
Edição 1994
ISBN 9810208723
EAN 9810208723
Hardcover
Publisher: World Scientific Pub Co; (March 1994)

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.
Nosso preço: R$ 114,43
ATENÇÃO: Os pedidos deste catálogo estão sujeitos a alteração sem prévia comunicação. Os pedidos ficam condicionados a disponibilidade do nosso estoque e de nossos fornecedores (editoras e distribuidores). Esclarecemos aos consumidores que, por não sermos vendedores no atacado, pedidos que possuam mais de um item do mesmo produto, poderão sofrer alteração no prazo de entrega se a quantidade de produtos solicitados for maior do que a quantidade disponível em nosso estoque, para não ter dúvidas sobre quantidades, consulte antes por e-mail (vendas@livrariadafisica.com.br)