Computational Logic (NATO ASI Subseries F:) de Ulrich Berger

Computational Logic: NATO ASI Subseries F:, cartea 165

Ulrich Berger

Helmut Schwichtenberg

en Limba Engleză Paperback – 29 oct 2012

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

Citește tot Restrânge

	Preț	Express
Paperback (1)	978^.31 lei 6-8 săpt.
Springer Berlin, Heidelberg – 29 oct 2012	978^.31 lei 6-8 săpt.
Hardback (1)	984^.59 lei 6-8 săpt.
Springer Berlin, Heidelberg – 14 apr 1999	984^.59 lei 6-8 săpt.

Preț

Express

Paperback (1)

978^.31 lei 6-8 săpt.

Springer Berlin, Heidelberg – 29 oct 2012

978^.31 lei 6-8 săpt.

Hardback (1)

984^.59 lei 6-8 săpt.

Springer Berlin, Heidelberg – 14 apr 1999

984^.59 lei 6-8 săpt.

Din seria NATO ASI Subseries F:

20%

Preț: 639^.30 lei
20%

Preț: 657^.29 lei
20%

Preț: 975^.69 lei
18%

Preț: 1218^.25 lei
20%

Preț: 1895^.82 lei
20%

Preț: 643^.34 lei
18%

Preț: 1213^.17 lei
20%

Preț: 697^.83 lei
20%

Preț: 644^.99 lei
18%

Preț: 1823^.57 lei
20%

Preț: 368^.69 lei
20%

Preț: 975^.19 lei
20%

Preț: 659^.72 lei
20%

Preț: 1893^.38 lei
20%

Preț: 977^.95 lei
Preț: 382^.98 lei
20%

Preț: 646^.92 lei
20%

Preț: 644^.18 lei
18%

Preț: 1204^.61 lei
18%

Preț: 936^.02 lei
20%

Preț: 326^.50 lei
20%

Preț: 1262^.78 lei
20%

Preț: 633^.94 lei
Preț: 389^.24 lei
18%

Preț: 1200^.44 lei
15%

Preț: 632^.51 lei
20%

Preț: 634^.59 lei
20%

Preț: 1261^.31 lei
20%

Preț: 645^.31 lei
20%

Preț: 1261^.64 lei
20%

Preț: 1891^.60 lei
20%

Preț: 356^.18 lei

Specificații

ISBN-13: 9783642636707
ISBN-10: 3642636705
Pagini: 460
Ilustrații: IX, 448 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.64 kg
Ediția:Softcover reprint of the original 1st ed. 1999
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria NATO ASI Subseries F:

Locul publicării:Berlin, Heidelberg, Germany

Cuprins

Game Semantics.- Notes on the Simply Typed Lambda Calculus.- Problems in Type Theory.- Formal Correctness Proofs of Functional Programs: Dijkstra’s Algorithm, a Case Study.- Propositional Proof Complexity – An Introduction.- Formalizing Decidability Theorems About Automata.- On the Meaning of Logical Rules I: Syntax Versus Semantics.- Complexity of Primitive Recursion.- Computers, Reasoning and Mathematical Practice.- Research Directions in Rewriting Logic.- Sequent Calculus and the Specification of Computation.