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,716
Discovery Miles 47 160
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,716 Discovery Miles 47 160 | Repayment Terms: R442 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,373 Discovery Miles 23 730
A Textbook of Data Structures and…
Vijayalakshmi P Hardcover R3,961 Discovery Miles 39 610
A Textbook of Data Structures and…
Vijayalakshmi P Hardcover R3,961 Discovery Miles 39 610
The Application of Ant Colony…
Ali Soofastaei Hardcover R2,906 Discovery Miles 29 060
Algorithms in Bioinformatics - Theory…
PA Gagniuc Hardcover R3,608 Discovery Miles 36 080
Gamma Solution - An Application of…
James R Warren Hardcover R1,408 R1,186 Discovery Miles 11 860
MATLAB Applications in Engineering
Constantin Volosencu Hardcover R3,480 Discovery Miles 34 800
Coding for Kids in Python - Python…
Bob Mather Hardcover R961 Discovery Miles 9 610
Python Programming for Computations…
Computer Language Hardcover R1,280 R1,073 Discovery Miles 10 730
C Programming - C Programming Language…
Adam Dodson Hardcover R630 R566 Discovery Miles 5 660
Algorithms Illuminated - Omnibus Edition
Tim Roughgarden Hardcover R1,647 Discovery Miles 16 470
Genetic Algorithms with Python
Clinton Sheppard Hardcover R929 R874 Discovery Miles 8 740

See more

Partners