Descriptive Complexity pp 5-22 | Cite as

# Background in Logic

## Abstract

Mathematics enables us to model many things abstractly. Group theory, for example, abstracts features of such diverse activities as English changeringing and quantum mechanics. Mathematical logic carries the abstraction one level higher: it is a mathematical model of mathematics. This book shows that the computational complexity of all problems in computer science can be understood via the complexity of their logical descriptions. We begin with a high-level introduction to logic. Although much of the material is well-known, we urge readers to at least skim this background chapter as the concentration on finite and ordered structures, i.e., relational databases, is not standard in most treatments of logic.

## Keywords

Free Variable Function Symbol Boolean Variable Relation Symbol Numeric Relation## Preview

Unable to display preview. Download preview PDF.

## Notes

- 1.