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,443
Discovery Miles 44 430
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,443 Discovery Miles 44 430 | Repayment Terms: R416 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,238 Discovery Miles 22 380
A Textbook of Data Structures and…
Vijayalakshmi P Hardcover R3,733 Discovery Miles 37 330
The Application of Ant Colony…
Ali Soofastaei Hardcover R2,765 Discovery Miles 27 650
Gamma Solution - An Application of…
James R Warren Hardcover R1,338 R1,131 Discovery Miles 11 310
MATLAB Applications in Engineering
Constantin Volosencu Hardcover R3,310 Discovery Miles 33 100
Coding for Kids in Python - Python…
Bob Mather Hardcover R917 Discovery Miles 9 170
Algorithms Illuminated - Omnibus Edition
Tim Roughgarden Hardcover R1,555 Discovery Miles 15 550
Python Programming for Computations…
Computer Language Hardcover R1,216 R1,024 Discovery Miles 10 240
C Programming - C Programming Language…
Adam Dodson Hardcover R598 R542 Discovery Miles 5 420
Genetic Algorithms with Python
Clinton Sheppard Hardcover R875 R827 Discovery Miles 8 270
Innovative Research and Applications in…
Qusay F. Hassan Hardcover R5,597 Discovery Miles 55 970
A Practical Approach to Data Structures…
Sanjay Pahuja Hardcover R1,418 Discovery Miles 14 180

See more

Partners