0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Data structures

Buy Now

Logical Foundations of Mathematics and Computational Complexity - A Gentle Introduction (Hardcover, 2013 ed.) Loot Price: R4,607
Discovery Miles 46 070
Logical Foundations of Mathematics and Computational Complexity - A Gentle Introduction (Hardcover, 2013 ed.): Pavel Pudlak

Logical Foundations of Mathematics and Computational Complexity - A Gentle Introduction (Hardcover, 2013 ed.)

Pavel Pudlak

Series: Springer Monographs in Mathematics

 (sign in to rate)
Loot Price R4,607 Discovery Miles 46 070 | Repayment Terms: R432 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity. The author presents his ideas on how these areas are connected, what are the most fundamental problems and how they should be approached. In particular, he argues that complexity is as important for foundations as are the more traditional concepts of computability and provability. Emphasis is on explaining the essence of concepts and the ideas of proofs, rather than presenting precise formal statements and full proofs. Each section starts with concepts and results easily explained, and gradually proceeds to more difficult ones. The notes after each section present some formal definitions, theorems and proofs. Logical Foundations of Mathematics and Computational Complexity is aimed at graduate students of all fields of mathematics who are interested in logic, complexity and foundations. It will also be of interest for both physicists and philosophers who are curious to learn the basics of logic and complexity theory.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Springer Monographs in Mathematics
Release date: May 2013
First published: 2013
Authors: Pavel Pudlak
Dimensions: 235 x 155 x 32mm (L x W x T)
Format: Hardcover
Pages: 695
Edition: 2013 ed.
ISBN-13: 978-3-319-00118-0
Categories: Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematical modelling
Promotions
LSN: 3-319-00118-3
Barcode: 9783319001180

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Data Abstraction and Problem Solving…
Janet Prichard, Frank Carrano Paperback R2,319 Discovery Miles 23 190
The Application of Ant Colony…
Ali Soofastaei Hardcover R2,836 Discovery Miles 28 360
Gamma Solution - An Application of…
James R Warren Hardcover R1,373 R1,158 Discovery Miles 11 580
MATLAB Applications in Engineering
Constantin Volosencu Hardcover R3,395 Discovery Miles 33 950
Coding for Kids in Python - Python…
Bob Mather Hardcover R939 Discovery Miles 9 390
Algorithms Illuminated - Omnibus Edition
Tim Roughgarden Hardcover R1,610 Discovery Miles 16 100
Python Programming for Computations…
Computer Language Hardcover R1,248 R1,048 Discovery Miles 10 480
C Programming - C Programming Language…
Adam Dodson Hardcover R614 R554 Discovery Miles 5 540
Genetic Algorithms with Python
Clinton Sheppard Hardcover R907 R855 Discovery Miles 8 550
Innovative Research and Applications in…
Qusay F. Hassan Hardcover R5,804 Discovery Miles 58 040
A Practical Approach to Data Structures…
Sanjay Pahuja Hardcover R1,468 Discovery Miles 14 680
Handbook of Research on Fireworks…
Ying Tan Hardcover R8,936 Discovery Miles 89 360

See more

Partners