Boolean Functions and Computation Models
Author | : Peter Clote |
Publisher | : Springer Science & Business Media |
Total Pages | : 612 |
Release | : 2013-03-09 |
ISBN-10 | : 9783662049433 |
ISBN-13 | : 3662049430 |
Rating | : 4/5 (33 Downloads) |
Download or read book Boolean Functions and Computation Models written by Peter Clote and published by Springer Science & Business Media. This book was released on 2013-03-09 with total page 612 pages. Available in PDF, EPUB and Kindle. Book excerpt: The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its complexity is emphasised through a variety of techniques ranging from finite combinatorics, probability theory and finite group theory to finite model theory and proof theory. Non-uniform computation models are studied in the form of Boolean circuits; uniform ones in a variety of forms. Steps in the investigation of non-deterministic polynomial time are surveyed as is the complexity of various proof systems. Providing a survey of research in the field, the book will benefit advanced undergraduates and graduate students as well as researchers.