- 5 resultaten
laagste prijs: € 103,25, hoogste prijs: € 133,46, gemiddelde prijs: € 120,04
1
Methods of Cut-Elimination - Alexander Leitsch
bestellen
bij booklooker.de
€ 121,97
verzending: € 0,001
bestellenGesponsorde link
Alexander Leitsch:

Methods of Cut-Elimination - nieuw boek

2001, ISBN: 9789400703193

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the e… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) AHA-BUCH GmbH
2
Methods of Cut-Elimination (Trends in Logic, 34, Band 34) - Baaz, Matthias, Leitsch, Alexander
bestellen
bij amazon.de
€ 103,25
verzending: € 3,001
bestellenGesponsorde link

Baaz, Matthias, Leitsch, Alexander:

Methods of Cut-Elimination (Trends in Logic, 34, Band 34) - gebonden uitgave, pocketboek

2011, ISBN: 9789400703193

Springer, Gebundene Ausgabe, Auflage: 2011, 296 Seiten, Publiziert: 2011-01-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.89 kg, Verkaufsrang: 20178, Informatik, IT-Ausb… Meer...

Verzendingskosten:Gewöhnlich versandfertig in 2 bis 3 Wochen. De verzendkosten kunnen afwijken van de werkelijke kosten. (EUR 3.00) Brook Bookstore
3
Methods of Cut-Elimination - Leitsch, Alexander; Baaz, Matthias
bestellen
bij Achtung-Buecher.de
€ 133,46
verzending: € 0,001
bestellenGesponsorde link
Leitsch, Alexander; Baaz, Matthias:
Methods of Cut-Elimination - gebonden uitgave, pocketboek

2011

ISBN: 9400703198

Gebundene Ausgabe Mathematik / Logik, Mathematik / Informatik, Computer, Theoretische Informatik, Programmier- und Skriptsprachen, allgemein, mit Schutzumschlag 11, [PU:Springer-Verlag G… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
bestellen
bij AbeBooks.co.uk
€ 128,53
verzending: € 46,061
bestellenGesponsorde link
Baaz, Matthias; Leitsch, Alexander:
Methods of Cut-Elimination (Trends in Logic, 34) - gebonden uitgave, pocketboek

2011, ISBN: 9400703198

[EAN: 9789400703193], Tweedehands, goed, [SC: 46.06], [PU: Springer], Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within, Books

NOT NEW BOOK. Verzendingskosten: EUR 46.06 Books Unplugged, Amherst, NY, U.S.A. [74050220] [Beoordeling: 5 (van 5)]
5
bestellen
bij alibris.co.uk
€ 113,00
bestellenGesponsorde link
Baaz, Matthias, and Leitsch, Alexander:
Methods of Cut-Elimination - gebonden uitgave, pocketboek

2011, ISBN: 9789400703193

Hard cover, New., 290 p. Trends in Logic , 34. VI, 290 p. Intended for professional and scholarly audience., Dordrecht, [PU: Springer]

Verzendingskosten:exclusief verzendingskosten Sparks, NV, Alibris

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Methods of Cut-Elimination (Trends in Logic, 34, Band 34)

This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view of proof rewriting. Within this general framework, generalizations of Gentzen's and Sch\"utte-Tait's cut-elimination methods are defined and shown terminating with ACNFs of the original proof. Moreover, a complexity theoretic comparison of Gentzen's and Tait's methods is given. The core of the book centers around the cut-elimination method CERES (cut elimination by resolution) developed by the authors. CERES is based on the resolution calculus and radically differs from the reductive cut-elimination methods. The book shows that CERES asymptotically outperforms all reductive methods based on Gentzen's cut-reduction rules. It obtains this result by heavy use of subsumption theorems in clause logic. Moreover, several applications of CERES are given (to interpolation, complexity analysis of cut-elimination, generalization of proofs, and to the analysis of real mathematical proofs). Lastly, the book demonstrates that CERES can be extended to nonclassical logics, in particular to finitely-valued logics and to G\"odel logic.

Gedetalleerde informatie over het boek. - Methods of Cut-Elimination (Trends in Logic, 34, Band 34)


EAN (ISBN-13): 9789400703193
ISBN (ISBN-10): 9400703198
Gebonden uitgave
Verschijningsjaar: 2011
Uitgever: Springer
287 Bladzijden
Gewicht: 0,578 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2008-09-25T21:54:20+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-07-07T10:17:27+02:00 (Amsterdam)
ISBN/EAN: 9789400703193

ISBN - alternatieve schrijfwijzen:
94-007-0319-8, 978-94-007-0319-3
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: leitsch, matthias willing, alexander, baaz
Titel van het boek: cut, methods logic, oetker backbuch


Gegevens van de uitgever

Auteur: Matthias Baaz; Alexander Leitsch
Titel: Trends in Logic; Methods of Cut-Elimination
Uitgeverij: Springer; Springer Netherland
290 Bladzijden
Verschijningsjaar: 2011-01-17
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
VI, 290 p.

BB; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; CERES; Goedel logic; cut-elimination; proof analysis; resolution; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Mathematische Grundlagen; Theoretische Informatik; BC

This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It presents several applications of CERES—to interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic.
First book on methods of cut-elimination Combines techniques and results from proof theory and automated deduction Thereby the book provides a completely new view on proof theoretic methods and their applications This specific feature makes the book interesting for researchers and graduate students in proof theory and computational logic

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789400703216 Methods of Cut-Elimination (Matthias Baaz, Alexander Leitsch)


< naar Archief...