Computational Logic

Name: Computational Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642636707
Price: 827.16 RON
Availability: InStock

Autor: Ulrich Berger, Helmut Schwichtenberg

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

827.16 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 - Carte broșată

Publicat

2012

Pagini

448

EAN

9783642636707

ISBN

3642636705

Enbook ID

02004875

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

700

Dimensiuni

155 x 235 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

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