Computational Logic

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

Autor: Ulrich Berger, Helmut Schwichtenberg

Jazyk:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 11-15 dnů

3 937 Kč

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

Informace o knize

Autor

Ulrich Berger, Helmut Schwichtenberg

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2012

Stránek

448

EAN

9783642636707

ISBN

3642636705

Enbook ID

02004875

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

700

Rozměry

155 x 235 x 25

Kompletní popis

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).

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Computational Logic

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také