Opening book details…
Can I read Boolean Functions and Computation Models on EtoBox?
Boolean Functions and Computation Models by Peter Clote, Evangelos Kranakis is a nonfiction available to read on EtoBox.
What is Boolean Functions and Computation Models about?
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.
Who reads Boolean Functions and Computation Models?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Peter Clote, Evangelos Kranakis
- Publisher
- Springer Berlin
- Published
- 2002
- Language
- EN
- ISBN
- 9783642082177
- Category
- nonfiction
- Subjects
- Computer Science, Mathematics, Programming
Other editions & translations
More by Peter Clote, Evangelos Kranakis
Browse all works by Peter Clote, Evangelos Kranakis
Similar books
- Complexity of Boolean Functions — Wegener I. (1991)
- Computing Boolean Statistical Models — Paulo Murilo Castro de Oliveira; Paulo Murilo Castro Oliveira (1991)
- Models of Computation : Exploring the Power of Computing — John E. Savage (1998)
- Models of Computation and Formal Languages — Ralph Gregory Taylor (1997)
- Handbook of Mathematical Models for Languages and Computation (Computing and Networks) — Alexander Meduna; Petr Horáček; Martin Tomko (2020)
- Constructive Computation in Stochastic Models with Applications : The RG-Factorizations — Quan-Lin Li (auth.) (2010)
