Descriptive Complexity

By: Neil Immerman

Write A Review

Hardcover | 1 January 1999

At a Glance

Hardcover
288 Pages

Dimensions(cm)
24.77 x 15.88 x 1.91

Hardcover

$199.00

or 4 interest-free payments of $49.75 with

Ships in 5 to 7 business days

A basic issue in computer science is the complexity of problems. Computational complexity measures how much time or memory is needed as a function of the input problem size. Descriptive complexity is concerned with problems which may be described in first-order logic. By virtue of the close relationship between logic and relational databses, it turns out that this subject has important applications to databases such as analysing the queries computable in polynomial time, analysing the parallel time needed to compute a query, and the analysis of nondeterministic classes. This book is written as a graduate text and so aims to provide a reasonably self-contained introduction to this subject. The author has provided numerous examples and exercises to further illustrate the ideas presented.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Set Theory Computing & I.T.Computer Science Mathematical Theory of Computation Computer Architecture & Logic Design Computer Networking & Communications

Other Editions and Formats

Paperback

Published: 30th September 2012

View Product

Introduction
Background in Logic
Background in Complexity
First-Order Reductions
Inductive Definitions
Parallelism
Ehrenfeucht-Fraisse Games
Second-Order Logic and Fagin's Theorem
Second-Order Lower Bounds
Complementation and Transitive Closure
Polynomial Space
Uniformity and Precomputation
The Role of Ordering
Lower Bounds
Applications
Conclusions and Future Directions
Table of Contents provided by Publisher. All Rights Reserved.

Descriptive Complexity

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Set Theory

The Random Number Code

Unlocking the Secrets of Numbers That You Can't Predict but Can Rely On

The Random Number Code

Unlocking the Secrets of Numbers That You Can't Predict but Can Rely On

Tic Tac Test

Beat the Book at Noughts and Crosses

Tic Tac Test

Beat the Book at Noughts and Crosses

Uncertain Data Analysis

Fuzzy Vector Algorithms

Uncertain Data Analysis

Fuzzy Vector Algorithms

Fuzzy Sets and Triangular Norms

Aggregation in Decision-Aided Intelligent Systems

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

The Book of Functions

Explore Set Theory, Abstract Algebra, and Category Theory with Functional Programming

Complex Analysis For Mathematics And Engineering

International Series in Mathematics

Complex Analysis

The Math Thought Mindset

Logic, Reasoning, and Proofs

The Math Thought Mindset

Logic, Reasoning, and Proofs

Axiomatic Design

Advances and Applications

Lectures on Tensor Categories and Modular Functors

University Lecture Series

Computational and Algorithmic Problems in Finite Fields

Mathematics and its Applications

Theory of Sets of Points

Chelsea Publishing Ser.

Future Directions of Fuzzy Theory and Systems

Introduction to Hodge Theory

Smf/Ams Texts and Monographs, Vol 8 and Panoramas Et Syntheses Numero 3, 19

Lebesgue's Theory of Integration : Its Origins and Development

Ams Chelsea Publishing Series

Iwahori-Hecke Algebras and Schur Algebras of the Symmetric Group

University Lecture Series

Algebraic Number Fields

Graduate Studies in Mathematics

Lie Groups and Lie Algebras : E. B. Dynkin's Seminar

American Mathematical Society Translations Series 2

Proceedings of the 7th and 8th Asian Logic Conferences : 7th Conference: Hsi-tou, Taiwan, 8th Conference: Chongqing, China

7th Conference: Hsi-tou, Taiwan, 8th Conference: Chongqing, China

This product is categorised by