Find bogen
Viser: Applied Proof Theory
Applied Proof Theory
Bestil nu og få den leveret
om ca. 10 hverdage
Detaljer om varen
Hardback: Ukendt antal siderUdgiver: Springer London, Limited (Juni 2008)
Forfattere: Ulrich Kohlenbach
ISBN-10: 3540775323
ISBN-13: 9783540775324
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises.
Kunder der købte denne bog købte også en af disse:
om ca. 2 hverdage
om ca. 10 hverdage
om ca. 10 hverdage
Polyteknisk Boghandel
har gennem 45 år været studieboghandlen på DTU og en af Danmarks førende specialister i faglitteratur.
Vi lagerfører et bredt udvalg af bøger, ikke bare inden for videnskab og teknik, men også f.eks. ledelse, IT og meget andet.
Anker Engelunds Vej 1
DK-2800 Lyngby
Tel: (+45) 77 42 43 44
Email: poly@polyteknisk.dk