Computational Logic

Name: Computational Logic
Brand: Springer, Berlin
SKU: 9783540645894
Price: 830.22 RON
Availability: InStock

Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 August 10, 1997

Autor: Ulrich Berger, Helmut Schwichtenberg

Limbă:

Legare: Copertă tare

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

830.22 lei

Recent developments in computer science clearly show the need for a better theoretical foundation fo...

Informații despre carte

Autor

Ulrich Berger, Helmut Schwichtenberg

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

1999

Pagini

448

EAN

9783540645894

ISBN

3540645896

Enbook ID

01566688

Editura

Springer, Berlin

Greutate

795

Dimensiuni

156 x 234 x 25

Descriere completă

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.§Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Computational Logic

Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 August 10, 1997

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și