Descriptive Complexity

By: Neil Immerman

Write A Review

Hardcover | 1 January 1999

At a Glance

Hardcover
288 Pages

Dimensions(cm)
23.39 x 15.6 x 1.75

Hardcover

$199.75

or 4 interest-free payments of $49.94 with

Ships in 7 to 10 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 Computer Architecture & Logic Design

Parallel Computing

Design and Analysis of Algorithms

Computer Architecture

A Modern Approach

Basic Computer Architecture

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Simply AI

Facts Made Fast

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Developing Graphics Frameworks with Java and OpenGL

Platform Engineering

A Guide for Technical, Product, and People Leaders

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

System Design on AWS

Building and Scaling Enterprise Solutions

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

The Designer's Guide to VHDL, third edition

Volume 3

Digital Design and Computer Architecture

ARM Edition

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Computer Organization and Design RISC-V Edition

2nd Edition - The Hardware Software Interface

Quantum Computing

Research, Applications, and Advances

Quantum Machine Learning

Concepts, Algorithms, and Applications

Quick Data Structures

Quick Programming

This product is categorised by