Kniha Computational Logic Ulrich Berger

Computational Logic

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

Jazyk: Angličtina
Väzba: Pevná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-13 dní
149.91
Recent developments in computer science clearly show the need for a better theoretical foundation fo...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
1999
Stránok
448
EAN
9783540645894
ISBN
3540645896
Enbook ID
01566688
Vydavateľ
Hmotnosť
795
Rozmery
156 x 234 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 zaujímať

28.38

Rivers of Ice

Bill Alley
15.02

Teachers Teaching Teachers

Geneal G. Cantrell
18.56
37.13

Design Thinking

Kristin Fontichiaro
13.06

SAXON MATH 1 TENNESSEE

Saxon Publishers
48.33

Memorial of St. Mark's Church in the Bowery

St. Mark´S Church In The Bowery
19.15
26.91
95.09
29.37
23.08
100.30

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

23.37
6.48

Artystki i surrealizm

Chadwick Whitney
19.54
7.86

Nietzsche für Boshafte

Friedrich Nietzsche
8.73

Mann ist Mann

Bertolt Brecht
7.65