Mohlo by se vám také líbit

Více informací o knize Proofs and Computations

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 270 bodů

Anotace knihy

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Proofs and Computations
• Autor: Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 480
• EAN: 9780521517690
• ISBN: 0521517699
• ID: 04449225
• Nakladatelství: Cambridge University Press
• Hmotnost: 884 g
• Rozměry: 158 × 233 × 29 mm
• Datum vydání: 15. December 2011

Oblíbené z jiného soudku

---

---

---