+612 9045 4394
 
CHECKOUT
Computational Logic : NATO A S I SERIES SERIES III, COMPUTER AND SYSTEMS SCIENCES - Ulrich Berger

Computational Logic

NATO A S I SERIES SERIES III, COMPUTER AND SYSTEMS SCIENCES

By: Ulrich Berger (Editor), Helmut Schwichtenberg (Editor)

Hardcover

Published: 14th April 1999
Ships: 7 to 10 business days
7 to 10 business days
RRP $609.99
$422.25
31%
OFF
or 4 easy payments of $105.56 with Learn more

Other Available Formats (Hide)

  • Paperback View Product Published: 29th October 2012
    $293.53

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

Game Semanticsp. 1
Notes on the Simply Typed Lambda Calculusp. 57
Problems in Type Theoryp. 99
Formal Correctness Proofs of Functional Programs: Dijkstra's Algorithm, a Case Studyp. 113
Propositional Proof Complexity - An Introductionp. 127
Formalizing Decidability Theorems About Automatap. 179
On the Meaning of Logical Rules I: Syntax Versus Semanticsp. 215
Complexity of Primitive Recursionp. 273
Computers, Reasoning and Mathematical Practicep. 301
Research Directions in Rewriting Logicp. 347
Sequent Calculus and the Specification of Computationp. 399
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540645894
ISBN-10: 3540645896
Series: NATO A S I SERIES SERIES III, COMPUTER AND SYSTEMS SCIENCES
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 448
Published: 14th April 1999
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 24.13 x 17.15  x 2.54
Weight (kg): 0.7