Boolean Functions and Computation Models - 9783540594369
Un libro in lingua di Peter Clote Evangelos Kranakis edito da Springer Verlag, 2002
- € 87.50
- Il prezzo è variabile in funzione del cambio della valuta d’origine
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.
Informazioni bibliografiche
- Titolo del Libro in lingua: Boolean Functions and Computation Models
- Lingua: English
- Autori : Peter Clote Evangelos Kranakis
- Editore: Springer Verlag
- Collana: Springer Verlag (Hardcover)
- Data di Pubblicazione: 01 Novembre '02
- Genere: COMPUTERS
- Argomenti : Computational complexity Algebra, Boolean
- Pagine: 601
- Dimensioni mm: 247 x 165 x 25
- EAN-13: 9783540594369